Trace number 4523570

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 2025-06-06? (TO) 3600.31 3579.07

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.13/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.17	c See www.sat4j.org for details.
0.13/0.18	c version PB25.v20250606
0.13/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.21	c java.vm.version	22.0.1+8-16
0.13/0.21	c java.vm.vendor	Oracle Corporation
0.13/0.21	c sun.arch.data.model	64
0.13/0.21	c java.version		22.0.1
0.13/0.21	c os.name		Linux
0.13/0.21	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.13/0.21	c os.arch		amd64
0.28/0.23	c Free memory 		2104792832
0.28/0.23	c Max memory 		16282288128
0.28/0.23	c Total memory 		2113929216
0.28/0.24	c Number of processors 	2
0.46/0.34	c Pseudo Boolean Optimization by upper bound
0.46/0.34	c --- Begin Solver configuration ---
0.46/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.46/0.34	c Learn all clauses as in MiniSAT
0.46/0.34	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.46/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.46/0.34	c Expensive reason simplification
0.46/0.34	c Glucose 2.1 dynamic restart strategy
0.46/0.34	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.46/0.34	c timeout=2147483s
0.46/0.34	c DB Simplification allowed=false
0.46/0.34	c Listener: none
0.46/0.34	c --- End Solver configuration ---
0.46/0.34	c solving HOME/instance-4523570-1751602498.opb
0.46/0.34	c reading problem ... 
0.46/0.35	c  objective function found
2.23/1.35	c ... done. Wall clock time 1.004s.
2.23/1.35	c declared #vars     1289
2.23/1.35	c #constraints  1095
2.23/1.35	c constraints type 
2.23/1.35	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
2.23/1.35	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1080
2.23/1.35	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1
2.23/1.35	c org.sat4j.pb.constraints.pb.UnitClausePB => 13
2.23/1.36	c 1095 constraints processed.
2.23/1.37	c objective function length is 773 literals
4.11/2.49	c cleaning 2499 clauses out of 5000 with flag 12445/5000
5.29/3.43	c cleaning 4246 clauses out of 8502 with flag 29455/11001
6.66/4.76	c cleaning 5622 clauses out of 11255 with flag 49148/18000
7.98/6.02	c cleaning 6811 clauses out of 13633 with flag 75100/26000
9.10/7.17	c cleaning 7905 clauses out of 15824 with flag 104030/35002
10.28/8.35	c cleaning 8950 clauses out of 17919 with flag 137463/45002
11.81/9.78	c cleaning 9974 clauses out of 19968 with flag 176934/56001
13.41/11.39	c cleaning 10992 clauses out of 21995 with flag 218685/68002
15.22/13.17	c cleaning 11992 clauses out of 24001 with flag 264181/81000
17.23/15.12	c cleaning 12998 clauses out of 26009 with flag 311464/95000
19.43/17.33	c cleaning 13994 clauses out of 28011 with flag 365906/110000
21.54/19.49	c cleaning 15002 clauses out of 30019 with flag 420333/126002
22.96/20.75	c cleaning 15993 clauses out of 32015 with flag 457213/143000
24.88/22.45	c cleaning 16993 clauses out of 34022 with flag 496947/161000
26.37/23.98	c cleaning 17995 clauses out of 36030 with flag 538566/180001
28.07/25.61	c cleaning 19001 clauses out of 38035 with flag 581323/200001
29.98/27.51	c cleaning 19998 clauses out of 40033 with flag 626616/221000
31.68/29.24	c cleaning 21001 clauses out of 42036 with flag 672556/243001
33.49/31.06	c cleaning 21996 clauses out of 44034 with flag 720893/266000
35.30/32.86	c cleaning 23005 clauses out of 46040 with flag 772511/290002
36.90/34.47	c cleaning 24003 clauses out of 48036 with flag 825732/315003
38.70/36.21	c cleaning 24998 clauses out of 50032 with flag 881321/341002
40.99/38.55	c cleaning 25998 clauses out of 52034 with flag 939588/368002
42.98/40.54	c cleaning 27000 clauses out of 54034 with flag 999383/396000
44.99/42.55	c cleaning 27997 clauses out of 56034 with flag 1061002/425000
48.41/45.94	c cleaning 29000 clauses out of 58039 with flag 1126075/455002
51.11/48.62	c cleaning 29999 clauses out of 60039 with flag 1192481/486002
54.72/52.23	c cleaning 31002 clauses out of 62043 with flag 1261129/518005
57.63/55.14	c cleaning 31998 clauses out of 64036 with flag 1333313/551000
60.84/58.36	c cleaning 33000 clauses out of 66038 with flag 1406977/585000
65.32/62.85	c cleaning 33995 clauses out of 68038 with flag 1483508/620000
68.82/66.37	c cleaning 35004 clauses out of 70043 with flag 1560617/656000
72.31/69.86	c cleaning 36001 clauses out of 72039 with flag 1641020/693000
76.00/73.59	c cleaning 36997 clauses out of 74038 with flag 1724289/731000
80.10/77.66	c cleaning 38005 clauses out of 76041 with flag 1811631/770000
84.60/82.11	c cleaning 39001 clauses out of 78038 with flag 1901913/810002
89.78/87.37	c cleaning 39998 clauses out of 80037 with flag 1990205/851002
94.17/91.77	c cleaning 41000 clauses out of 82038 with flag 2080651/893001
99.47/97.08	c cleaning 42002 clauses out of 84039 with flag 2173387/936002
105.26/102.82	c cleaning 42996 clauses out of 86036 with flag 2269877/980001
109.85/107.43	c cleaning 44005 clauses out of 88043 with flag 2366469/1025004
114.46/112.03	c cleaning 44995 clauses out of 90034 with flag 2464644/1071000
119.07/116.68	c cleaning 45999 clauses out of 92040 with flag 2564973/1118001
123.98/121.57	c cleaning 47003 clauses out of 94044 with flag 2667011/1166004
129.16/126.79	c cleaning 48001 clauses out of 96038 with flag 2772335/1215001
135.85/133.41	c cleaning 48999 clauses out of 98036 with flag 2881072/1265000
143.28/140.82	c cleaning 49995 clauses out of 100037 with flag 2990617/1316000
148.32/145.84	c cleaning 51004 clauses out of 102042 with flag 3104156/1368000
152.56/150.10	c cleaning 52000 clauses out of 104038 with flag 3219132/1421000
156.85/154.31	c cleaning 53000 clauses out of 106040 with flag 3336489/1475002
161.91/159.37	c cleaning 53992 clauses out of 108038 with flag 3458684/1530000
167.38/164.77	c cleaning 55002 clauses out of 110046 with flag 3581682/1586000
173.70/171.06	c cleaning 56004 clauses out of 112045 with flag 3704177/1643001
179.55/176.86	c cleaning 56998 clauses out of 114040 with flag 3828578/1701000
184.25/181.54	c cleaning 57998 clauses out of 116042 with flag 3954119/1760000
190.97/188.27	c cleaning 58998 clauses out of 118044 with flag 4081807/1820000
196.90/194.12	c cleaning 59998 clauses out of 120046 with flag 4212618/1881000
203.04/200.23	c cleaning 61004 clauses out of 122048 with flag 4347125/1943000
209.00/206.16	c cleaning 61996 clauses out of 124045 with flag 4484252/2006001
214.95/212.03	c cleaning 63003 clauses out of 126049 with flag 4621870/2070001
221.51/218.57	c cleaning 64001 clauses out of 128045 with flag 4760792/2135000
230.34/227.32	c cleaning 65000 clauses out of 130045 with flag 4900818/2201001
236.89/233.81	c cleaning 65997 clauses out of 132046 with flag 5045162/2268002
243.75/240.62	c cleaning 67005 clauses out of 134047 with flag 5191476/2336000
252.49/249.31	c cleaning 68001 clauses out of 136043 with flag 5341510/2405001
260.33/257.04	c cleaning 68995 clauses out of 138041 with flag 5493916/2475000
266.97/263.60	c cleaning 69999 clauses out of 140046 with flag 5646589/2546000
274.14/270.77	c cleaning 71004 clauses out of 142051 with flag 5803835/2618004
281.16/277.79	c cleaning 71999 clauses out of 144043 with flag 5963618/2691000
290.55/287.09	c cleaning 72999 clauses out of 146044 with flag 6122958/2765000
298.61/295.08	c cleaning 74001 clauses out of 148045 with flag 6285130/2840000
305.46/301.82	c cleaning 74993 clauses out of 150045 with flag 6449871/2916001
312.68/309.04	c cleaning 75999 clauses out of 152053 with flag 6615775/2993002
322.17/318.41	c cleaning 77008 clauses out of 154053 with flag 6786491/3071001
332.04/328.29	c cleaning 78005 clauses out of 156045 with flag 6957846/3150001
340.84/337.03	c cleaning 78998 clauses out of 158039 with flag 7134164/3230000
353.78/349.95	c cleaning 80000 clauses out of 160042 with flag 7308756/3311001
368.12/364.23	c cleaning 81005 clauses out of 162041 with flag 7482941/3393000
382.08/378.16	c cleaning 81993 clauses out of 164036 with flag 7663141/3476000
395.83/391.83	c cleaning 82996 clauses out of 166043 with flag 7844696/3560000
404.78/400.70	c cleaning 84005 clauses out of 168048 with flag 8030025/3645001
413.72/409.64	c cleaning 84999 clauses out of 170043 with flag 8214734/3731001
421.32/417.26	c cleaning 85999 clauses out of 172043 with flag 8402325/3818000
428.73/424.63	c cleaning 87005 clauses out of 174046 with flag 8590249/3906002
437.43/433.21	c cleaning 88001 clauses out of 176040 with flag 8782574/3995001
447.19/442.99	c cleaning 88997 clauses out of 178039 with flag 8977216/4085001
457.60/453.31	c cleaning 89997 clauses out of 180041 with flag 9171178/4176000
467.54/463.21	c cleaning 90998 clauses out of 182044 with flag 9370108/4268000
476.79/472.42	c cleaning 92005 clauses out of 184047 with flag 9570797/4361001
486.23/481.83	c cleaning 93002 clauses out of 186042 with flag 9771339/4455001
495.99/491.56	c cleaning 94001 clauses out of 188039 with flag 9976350/4550000
508.50/503.91	c cleaning 94993 clauses out of 190038 with flag 10182987/4646000
519.83/515.11	c cleaning 96001 clauses out of 192046 with flag 10390540/4743001
529.88/525.20	c cleaning 96993 clauses out of 194044 with flag 10597874/4841000
541.30/536.58	c cleaning 98001 clauses out of 196051 with flag 10810578/4940000
551.93/547.04	c cleaning 99005 clauses out of 198050 with flag 11026247/5040000
562.23/557.24	c cleaning 99997 clauses out of 200046 with flag 11243852/5141001
574.44/569.31	c cleaning 101004 clauses out of 202050 with flag 11465450/5243002
584.98/579.80	c cleaning 101994 clauses out of 204044 with flag 11685371/5346000
596.11/590.96	c cleaning 103007 clauses out of 206051 with flag 11908070/5450001
607.25/601.94	c cleaning 104003 clauses out of 208044 with flag 12133500/5555001
622.08/616.61	c cleaning 104995 clauses out of 210040 with flag 12365103/5661000
636.59/631.08	c cleaning 106002 clauses out of 212045 with flag 12600543/5768000
649.98/644.36	c cleaning 106999 clauses out of 214043 with flag 12835805/5876000
669.61/663.87	c cleaning 108005 clauses out of 216047 with flag 13066182/5985003
689.93/684.02	c cleaning 108997 clauses out of 218039 with flag 13302561/6095000
705.12/699.13	c cleaning 110001 clauses out of 220042 with flag 13542244/6206000
717.82/711.70	c cleaning 110999 clauses out of 222041 with flag 13787922/6318000
732.46/726.39	c cleaning 111998 clauses out of 224044 with flag 14039129/6431002
744.67/738.55	c cleaning 113001 clauses out of 226049 with flag 14284899/6545005
755.76/749.61	c cleaning 113998 clauses out of 228043 with flag 14536544/6660000
768.89/762.73	c cleaning 115001 clauses out of 230045 with flag 14786542/6776000
779.61/773.47	c cleaning 115995 clauses out of 232044 with flag 15039777/6893000
790.84/784.64	c cleaning 117003 clauses out of 234050 with flag 15293154/7011001
803.57/797.26	c cleaning 118000 clauses out of 236048 with flag 15549895/7130002
816.35/809.96	c cleaning 119000 clauses out of 238046 with flag 15811799/7250000
831.64/825.19	c cleaning 119999 clauses out of 240046 with flag 16074695/7371000
845.34/838.71	c cleaning 121002 clauses out of 242048 with flag 16338535/7493001
857.80/851.14	c cleaning 122001 clauses out of 244047 with flag 16605254/7616002
872.96/866.22	c cleaning 123001 clauses out of 246044 with flag 16876524/7740000
886.12/879.31	c cleaning 124001 clauses out of 248043 with flag 17148835/7865000
900.10/893.22	c cleaning 124996 clauses out of 250042 with flag 17421473/7991000
914.29/907.27	c cleaning 125999 clauses out of 252048 with flag 17695860/8118002
929.16/922.11	c cleaning 127001 clauses out of 254048 with flag 17970018/8246001
945.05/937.60	c cleaning 128003 clauses out of 256046 with flag 18249698/8375000
960.06/952.64	c cleaning 129002 clauses out of 258046 with flag 18530545/8505003
974.67/967.20	c cleaning 130004 clauses out of 260043 with flag 18814598/8636002
989.49/981.93	c cleaning 130990 clauses out of 262037 with flag 19102332/8768000
1004.26/996.70	c cleaning 132004 clauses out of 264049 with flag 19390458/8901002
1021.55/1013.92	c cleaning 132998 clauses out of 266044 with flag 19682203/9035001
1035.77/1028.16	c cleaning 134007 clauses out of 268053 with flag 19979044/9170008
1052.41/1044.76	c cleaning 134993 clauses out of 270038 with flag 20274880/9306000
1067.45/1059.79	c cleaning 136001 clauses out of 272045 with flag 20573544/9443000
1083.00/1075.24	c cleaning 137003 clauses out of 274045 with flag 20872941/9581001
1098.04/1090.24	c cleaning 137994 clauses out of 276042 with flag 21179342/9720001
1114.55/1106.66	c cleaning 139001 clauses out of 278049 with flag 21484394/9860002
1134.32/1126.31	c cleaning 140000 clauses out of 280046 with flag 21788109/10001000
1150.76/1142.77	c cleaning 141002 clauses out of 282046 with flag 22094034/10143000
1169.67/1161.55	c cleaning 141992 clauses out of 284044 with flag 22403866/10286000
1185.30/1177.07	c cleaning 143007 clauses out of 286054 with flag 22714501/10430002
1203.83/1195.44	c cleaning 144000 clauses out of 288046 with flag 23031593/10575001
1221.29/1212.81	c cleaning 145000 clauses out of 290045 with flag 23345305/10721000
1239.12/1230.65	c cleaning 145997 clauses out of 292046 with flag 23659947/10868001
1258.02/1249.47	c cleaning 147002 clauses out of 294049 with flag 23982160/11016001
1282.72/1274.09	c cleaning 147995 clauses out of 296046 with flag 24306107/11165000
1301.53/1292.86	c cleaning 149003 clauses out of 298052 with flag 24631101/11315001
1319.96/1311.23	c cleaning 149999 clauses out of 300049 with flag 24951138/11466001
1336.70/1327.99	c cleaning 151005 clauses out of 302049 with flag 25274391/11618000
1353.65/1344.81	c cleaning 152001 clauses out of 304045 with flag 25599837/11771001
1370.70/1361.88	c cleaning 153001 clauses out of 306044 with flag 25930792/11925001
1390.74/1381.82	c cleaning 154000 clauses out of 308043 with flag 26264003/12080001
1409.27/1400.21	c cleaning 154996 clauses out of 310044 with flag 26599635/12236002
1430.53/1421.44	c cleaning 155999 clauses out of 312046 with flag 26933979/12393000
1449.21/1440.02	c cleaning 156999 clauses out of 314047 with flag 27278988/12551000
1467.71/1458.48	c cleaning 158000 clauses out of 316048 with flag 27625008/12710000
1484.23/1475.01	c cleaning 158998 clauses out of 318049 with flag 27974614/12870001
1501.71/1492.39	c cleaning 160005 clauses out of 320052 with flag 28322558/13031002
1523.49/1514.05	c cleaning 161000 clauses out of 322046 with flag 28681199/13193001
1544.32/1534.70	c cleaning 162000 clauses out of 324049 with flag 29038791/13356004
1561.99/1552.24	c cleaning 162995 clauses out of 326045 with flag 29393504/13520000
1580.53/1570.63	c cleaning 163997 clauses out of 328050 with flag 29751355/13685000
1599.48/1589.53	c cleaning 164996 clauses out of 330053 with flag 30116941/13851000
1624.18/1614.05	c cleaning 166002 clauses out of 332057 with flag 30483163/14018000
1644.33/1634.05	c cleaning 167001 clauses out of 334055 with flag 30856765/14186000
1667.45/1657.10	c cleaning 168004 clauses out of 336054 with flag 31226750/14355000
1691.22/1680.71	c cleaning 169000 clauses out of 338050 with flag 31598664/14525000
1715.24/1704.65	c cleaning 169992 clauses out of 340050 with flag 31972183/14696000
1738.27/1726.76	c cleaning 171002 clauses out of 342059 with flag 32349959/14868001
1761.12/1749.42	c cleaning 172006 clauses out of 344056 with flag 32729640/15041000
1785.37/1773.49	c cleaning 173011 clauses out of 346050 with flag 33103181/15215000
1814.40/1802.48	c cleaning 174001 clauses out of 348039 with flag 33484065/15390000
1839.20/1827.17	c cleaning 174996 clauses out of 350039 with flag 33870838/15566001
1862.03/1849.89	c cleaning 176005 clauses out of 352043 with flag 34257113/15743001
1884.25/1871.91	c cleaning 176995 clauses out of 354037 with flag 34644570/15921000
1906.65/1894.23	c cleaning 177992 clauses out of 356042 with flag 35039287/16100000
1931.81/1919.35	c cleaning 179000 clauses out of 358050 with flag 35432719/16280000
1954.95/1942.49	c cleaning 180000 clauses out of 360050 with flag 35826748/16461000
1977.17/1964.59	c cleaning 180998 clauses out of 362051 with flag 36225121/16643001
1999.91/1987.16	c cleaning 182005 clauses out of 364052 with flag 36623540/16826000
2022.89/2010.03	c cleaning 183002 clauses out of 366047 with flag 37024836/17010000
2046.59/2033.69	c cleaning 183996 clauses out of 368045 with flag 37428866/17195000
2069.08/2056.10	c cleaning 185000 clauses out of 370051 with flag 37829800/17381002
2091.94/2078.87	c cleaning 186002 clauses out of 372051 with flag 38229663/17568002
2116.84/2103.64	c cleaning 187002 clauses out of 374051 with flag 38639469/17756004
2140.36/2127.10	c cleaning 188001 clauses out of 376045 with flag 39051549/17945000
2165.79/2152.46	c cleaning 188999 clauses out of 378044 with flag 39463974/18135000
2190.87/2177.47	c cleaning 190002 clauses out of 380045 with flag 39875519/18326000
2216.51/2203.09	c cleaning 191001 clauses out of 382044 with flag 40286544/18518001
2245.30/2231.76	c cleaning 191998 clauses out of 384042 with flag 40700357/18711000
2276.64/2263.01	c cleaning 192994 clauses out of 386045 with flag 41120911/18905001
2301.05/2287.21	c cleaning 193993 clauses out of 388050 with flag 41543906/19100000
2328.63/2314.77	c cleaning 195012 clauses out of 390060 with flag 41964638/19296003
2355.41/2341.34	c cleaning 196002 clauses out of 392045 with flag 42390934/19493000
2383.54/2369.32	c cleaning 197002 clauses out of 394045 with flag 42815523/19691002
2408.62/2394.29	c cleaning 197998 clauses out of 396042 with flag 43243257/19890001
2435.00/2420.55	c cleaning 199000 clauses out of 398044 with flag 43676088/20090001
2463.73/2449.17	c cleaning 199999 clauses out of 400044 with flag 44112413/20291001
2491.04/2475.36	c cleaning 201002 clauses out of 402047 with flag 44549484/20493003
2516.32/2500.54	c cleaning 201995 clauses out of 404042 with flag 44986547/20696000
2542.27/2526.49	c cleaning 203000 clauses out of 406049 with flag 45434252/20900002
2567.12/2551.24	c cleaning 204004 clauses out of 408047 with flag 45879460/21105000
2592.34/2576.45	c cleaning 205001 clauses out of 410044 with flag 46324512/21311001
2616.42/2600.41	c cleaning 205996 clauses out of 412043 with flag 46774301/21518001
2644.13/2628.04	c cleaning 206998 clauses out of 414046 with flag 47223471/21726000
2668.73/2652.51	c cleaning 208002 clauses out of 416050 with flag 47671697/21935002
2698.72/2682.48	c cleaning 208997 clauses out of 418046 with flag 48122890/22145000
2729.23/2712.88	c cleaning 209999 clauses out of 420049 with flag 48582312/22356000
2762.93/2746.41	c cleaning 210998 clauses out of 422050 with flag 49047087/22568000
2797.16/2780.67	c cleaning 212002 clauses out of 424052 with flag 49515895/22781000
2825.64/2809.07	c cleaning 212996 clauses out of 426050 with flag 49982396/22995000
2854.78/2838.03	c cleaning 214006 clauses out of 428054 with flag 50449404/23210000
2884.82/2867.96	c cleaning 215000 clauses out of 430048 with flag 50918645/23426000
2915.49/2898.52	c cleaning 216003 clauses out of 432048 with flag 51389088/23643000
2944.02/2926.90	c cleaning 217003 clauses out of 434047 with flag 51860672/23861002
2972.91/2955.70	c cleaning 217995 clauses out of 436042 with flag 52334742/24080000
3002.73/2985.44	c cleaning 218994 clauses out of 438049 with flag 52808310/24300002
3032.74/3015.36	c cleaning 220008 clauses out of 440055 with flag 53286242/24521002
3065.85/3048.15	c cleaning 221004 clauses out of 442046 with flag 53766109/24743001
3094.06/3076.29	c cleaning 221999 clauses out of 444041 with flag 54258795/24966000
3124.57/3106.51	c cleaning 222998 clauses out of 446043 with flag 54744609/25190001
3162.20/3143.96	c cleaning 223994 clauses out of 448044 with flag 55233392/25415000
3196.80/3178.46	c cleaning 225003 clauses out of 450050 with flag 55722527/25641000
3228.58/3210.10	c cleaning 226001 clauses out of 452047 with flag 56216006/25868000
3263.44/3244.72	c cleaning 227003 clauses out of 454046 with flag 56713553/26096000
3302.48/3283.52	c cleaning 227998 clauses out of 456043 with flag 57209169/26325000
3336.16/3316.04	c cleaning 229002 clauses out of 458045 with flag 57708455/26555000
3367.67/3347.44	c cleaning 229995 clauses out of 460043 with flag 58206091/26786000
3400.55/3380.24	c cleaning 231003 clauses out of 462050 with flag 58706286/27018002
3434.22/3413.88	c cleaning 231996 clauses out of 464045 with flag 59215402/27251000
3469.81/3449.25	c cleaning 233008 clauses out of 466052 with flag 59729672/27485003
3496.29/3475.65	c cleaning 233994 clauses out of 468042 with flag 60247353/27720001
3528.78/3507.91	c cleaning 235001 clauses out of 470049 with flag 60763240/27956002
3564.22/3543.21	c cleaning 235993 clauses out of 472046 with flag 61281289/28193000
3594.85/3573.72	c cleaning 237007 clauses out of 474054 with flag 61799164/28431001
3600.05/3578.93	c timeout
3600.05/3578.93	c starts		: 21
3600.05/3578.93	c conflicts		: 28493846
3600.05/3578.93	c decisions		: 34066600
3600.05/3578.93	c propagations		: 190354986
3600.05/3578.94	c inspects		: 25498004630
3600.05/3578.94	c shortcuts		: 0
3600.05/3578.94	c learnt literals	: 0
3600.05/3578.94	c learnt binary clauses	: 0
3600.05/3578.94	c learnt ternary clauses	: 0
3600.05/3578.94	c learnt constraints	: 28493846
3600.05/3578.94	c ignored constraints	: 0
3600.05/3578.94	c root simplifications	: 0
3600.05/3578.94	c removed literals (reason simplification)	: 5284817
3600.05/3578.94	c reason swapping (by a shorter reason)	: 0
3600.05/3578.94	c Calls to reduceDB	: 234
3600.05/3578.94	c Number of update (reduction) of LBD	: 4399693
3600.05/3578.94	c Imported unit clauses	: 0
3600.05/3578.94	c No decision after first conflict	: false
3600.05/3578.94	c number of reductions to clauses (during analyze)	: 0
3600.05/3578.94	c number of learned constraints concerned by reduction	: 0
3600.05/3578.94	c number of learning phase by resolution	: 0
3600.05/3578.94	c number of learning phase by cutting planes	: 0
3600.05/3578.94	c number of rounding to 1 operations	: 0
3600.05/3578.94	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3578.94	c number of reductions of the coefficients by power 2 	: 0
3600.05/3578.94	c number of right shift for reduction by power 2 	: 0
3600.05/3578.94	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3578.94	c number of ending skipping 	: 0
3600.05/3578.94	c number of internal skipping 	: 0
3600.05/3578.94	c number of derivation steps 	: 0
3600.05/3578.94	c number of skipped derivation steps 	: 0
3600.05/3578.94	c number of remaining unassigned 	: 0
3600.05/3578.94	c number of remaining assigned 	: 0
3600.05/3578.94	c number of falsified literals weakened from reason	: 0
3600.05/3578.94	c number of falsified literals weakened from conflict	: 0
3600.05/3578.94	c time for arithmetic operations	: 0
3600.05/3578.95	c minimum degree of deleted constraints	: null
3600.05/3578.95	c maximum degree of deleted constraints	: null
3600.05/3578.95	c number of deleted constraints	: 0
3600.05/3578.95	c speed (assignments/second)	: 53208.00388420833
3600.05/3578.95	c non guided choices	: 944
3600.25/3579.03	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 299892
3600.25/3579.03	s UNKNOWN
3600.25/3579.03	c Total wall clock time (in seconds): 3578.685

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523570-1751602498/watcher-4523570-1751602498 -o /tmp/evaluation-result-4523570-1751602498/solver-4523570-1751602498 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751595442-85916 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4523570-1751602498.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=86972, runsolver pid=86969

[startup+0.10719 s]*
/proc/loadavg: 4.12 4.13 4.20 7/323 86990
/proc/meminfo: memFree=113486512/131382112 swapFree=33002444/33010684
[pid=86972] ppid=86969 vsize=18930384 memory=48384 CPUtime=0.13 cores=1,3
/proc/86972/stat : 86972 (java) S 86969 86972 85904 0 -1 4194304 5791 0 0 0 10 3 0 0 20 0 18 0 75929204 19384713216 12096 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
/proc/86972/statm: 4732596 12096 5325 1 0 547003 0
[pid=86972/tid=86974] ppid=86969 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=1,3
/proc/86972/task/86974/stat : 86974 (java) R 86969 86972 85904 0 -1 4194368 4697 0 0 0 6 2 0 0 20 0 18 0 75929206 19384713216 12096 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86983] ppid=86969 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/86972/task/86983/stat : 86983 (Finalizer) S 86969 86972 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75929211 19384713216 12096 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86990] ppid=86969 vsize=18930384 memory=58494082630061 CPUtime=0 cores=1,3
/proc/86972/task/86990/stat : 86990 (Common-Cleaner) S 86969 86972 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75929212 19384713216 12096 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48384 KiB

[startup+0.216096 s]*
/proc/loadavg: 4.12 4.13 4.20 5/323 86990
/proc/meminfo: memFree=113480400/131382112 swapFree=33002444/33010684
[pid=86972] ppid=86969 vsize=18930384 memory=52980 CPUtime=0.28 cores=1,3
/proc/86972/stat : 86972 (java) S 86969 86972 85904 0 -1 4194304 6442 0 0 0 24 4 0 0 20 0 18 0 75929204 19384713216 13245 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
/proc/86972/statm: 4732596 13245 5325 1 0 547531 0
[pid=86972/tid=86974] ppid=86969 vsize=18930384 memory=4026794268 CPUtime=0.18 cores=1,3
/proc/86972/task/86974/stat : 86974 (java) S 86969 86972 85904 0 -1 4194368 4983 0 0 0 15 3 0 0 20 0 18 0 75929206 19384713216 13245 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86983] ppid=86969 vsize=18930384 memory=13926 CPUtime=0 cores=1,3
/proc/86972/task/86983/stat : 86983 (Finalizer) S 86969 86972 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75929211 19384713216 13245 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86990] ppid=86969 vsize=18930384 memory=57394570986489 CPUtime=0 cores=1,3
/proc/86972/task/86990/stat : 86990 (Common-Cleaner) S 86969 86972 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75929212 19384713216 13245 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52980 KiB

[startup+0.315579 s]*
/proc/loadavg: 4.12 4.13 4.20 7/323 86990
/proc/meminfo: memFree=113480400/131382112 swapFree=33002444/33010684
[pid=86972] ppid=86969 vsize=18930384 memory=58616 CPUtime=0.46 cores=1,3
/proc/86972/stat : 86972 (java) S 86969 86972 85904 0 -1 4194304 6760 0 0 0 41 5 0 0 20 0 18 0 75929204 19384713216 14654 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
/proc/86972/statm: 4732596 14654 5357 1 0 547769 0
[pid=86972/tid=86974] ppid=86969 vsize=18930384 memory=-6000919468394505831 CPUtime=0.28 cores=1,3
/proc/86972/task/86974/stat : 86974 (java) R 86969 86972 85904 0 -1 4194368 5192 0 0 0 25 3 0 0 20 0 18 0 75929206 19384713216 14654 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86983] ppid=86969 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/86972/task/86983/stat : 86983 (Finalizer) S 86969 86972 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75929211 19384713216 14654 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86990] ppid=86969 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/86972/task/86990/stat : 86990 (Common-Cleaner) S 86969 86972 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75929212 19384713216 14654 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58616 KiB

[startup+0.700669 s]
/proc/loadavg: 4.12 4.13 4.20 6/323 86990
/proc/meminfo: memFree=113466600/131382112 swapFree=33002444/33010684
[pid=86972] ppid=86969 vsize=18930384 memory=109128 CPUtime=1.15 cores=1,3
/proc/86972/stat : 86972 (java) S 86969 86972 85904 0 -1 4194304 8495 0 0 0 109 6 0 0 20 0 18 0 75929204 19384713216 27282 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
/proc/86972/statm: 4732596 27282 5453 1 0 548914 0
[pid=86972/tid=86974] ppid=86969 vsize=18930384 memory=14464 CPUtime=0.64 cores=1,3
/proc/86972/task/86974/stat : 86974 (java) R 86969 86972 85904 0 -1 4194368 5279 0 0 0 60 4 0 0 20 0 18 0 75929206 19384713216 27282 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86983] ppid=86969 vsize=18930384 memory=11136 CPUtime=0 cores=1,3
/proc/86972/task/86983/stat : 86983 (Finalizer) S 86969 86972 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75929211 19384713216 27282 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86990] ppid=86969 vsize=18930384 memory=3200 CPUtime=0 cores=1,3
/proc/86972/task/86990/stat : 86990 (Common-Cleaner) S 86969 86972 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75929212 19384713216 27282 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 109128 KiB

[startup+1.50026 s]
/proc/loadavg: 4.12 4.13 4.20 7/324 86991
/proc/meminfo: memFree=113376048/131382112 swapFree=33002444/33010684
[pid=86972] ppid=86969 vsize=19063512 memory=187840 CPUtime=2.62 cores=1,3
/proc/86972/stat : 86972 (java) S 86969 86972 85904 0 -1 4194304 9556 0 0 0 252 10 0 0 20 0 20 0 75929204 19521036288 46960 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
/proc/86972/statm: 4765878 46960 5517 1 0 549848 0
[pid=86972/tid=86974] ppid=86969 vsize=19063512 memory=3200 CPUtime=1.24 cores=1,3
/proc/86972/task/86974/stat : 86974 (java) R 86969 86972 85904 0 -1 4194368 5422 0 0 0 118 6 0 0 20 0 20 0 75929206 19521036288 46960 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86983] ppid=86969 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/86972/task/86983/stat : 86983 (Finalizer) S 86969 86972 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75929211 19521036288 46960 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86990] ppid=86969 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/86972/task/86990/stat : 86990 (Common-Cleaner) S 86969 86972 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75929212 19521036288 46960 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 187840 KiB

[startup+3.1055 s]
/proc/loadavg: 4.12 4.13 4.20 5/325 86992
/proc/meminfo: memFree=113330876/131382112 swapFree=33002444/33010684
[pid=86972] ppid=86969 vsize=19063512 memory=205628 CPUtime=4.97 cores=1,3
/proc/86972/stat : 86972 (java) S 86969 86972 85904 0 -1 4194304 15683 0 0 0 486 11 0 0 20 0 20 0 75929204 19521036288 51407 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
/proc/86972/statm: 4765878 51407 5517 1 0 551019 0
[pid=86972/tid=86974] ppid=86969 vsize=19063512 memory=11136 CPUtime=2.8 cores=1,3
/proc/86972/task/86974/stat : 86974 (java) R 86969 86972 85904 0 -1 4194368 6456 0 0 0 274 6 0 0 20 0 20 0 75929206 19521036288 51407 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86983] ppid=86969 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/86972/task/86983/stat : 86983 (Finalizer) S 86969 86972 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75929211 19521036288 51407 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86990] ppid=86969 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/86972/task/86990/stat : 86990 (Common-Cleaner) S 86969 86972 85904 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 75929212 19521036288 51407 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86992] ppid=86969 vsize=19063512 memory=5148 CPUtime=0 cores=1,3
/proc/86972/task/86992/stat : 86992 (Timer-0) S 86969 86972 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75929343 19521036288 51407 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
Current children cumulated CPU time: 4.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 205628 KiB

[startup+6.30448 s]
/proc/loadavg: 4.11 4.13 4.20 5/325 86992
/proc/meminfo: memFree=113167036/131382112 swapFree=33002444/33010684
[pid=86972] ppid=86969 vsize=19063512 memory=416684 CPUtime=8.29 cores=1,3
/proc/86972/stat : 86972 (java) S 86969 86972 85904 0 -1 4194304 17303 0 0 0 813 16 0 0 20 0 20 0 75929204 19521036288 104171 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
/proc/86972/statm: 4765878 104171 5517 1 0 551019 0
[pid=86972/tid=86974] ppid=86969 vsize=19063512 memory=0 CPUtime=5.98 cores=1,3
/proc/86972/task/86974/stat : 86974 (java) R 86969 86972 85904 0 -1 4194368 7010 0 0 0 588 10 0 0 20 0 20 0 75929206 19521036288 104171 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86983] ppid=86969 vsize=19063512 memory=-8412658736309758876 CPUtime=0 cores=1,3
/proc/86972/task/86983/stat : 86983 (Finalizer) S 86969 86972 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75929211 19521036288 104171 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86990] ppid=86969 vsize=19063512 memory=-6000919468394505831 CPUtime=0 cores=1,3
/proc/86972/task/86990/stat : 86990 (Common-Cleaner) S 86969 86972 85904 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 75929212 19521036288 104171 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86992] ppid=86969 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/86972/task/86992/stat : 86992 (Timer-0) S 86969 86972 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75929343 19521036288 104171 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
Current children cumulated CPU time: 8.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 416684 KiB

[startup+12.7004 s]
/proc/loadavg: 4.10 4.13 4.20 5/325 86992
/proc/meminfo: memFree=112945852/131382112 swapFree=33002444/33010684
[pid=86972] ppid=86969 vsize=19063512 memory=596288 CPUtime=14.81 cores=1,3
/proc/86972/stat : 86972 (java) S 86969 86972 85904 0 -1 4194304 21731 0 0 0 1461 20 0 0 20 0 20 0 75929204 19521036288 149072 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
/proc/86972/statm: 4765878 149072 5517 1 0 551019 0
[pid=86972/tid=86974] ppid=86969 vsize=19063512 memory=0 CPUtime=12.29 cores=1,3
/proc/86972/task/86974/stat : 86974 (java) R 86969 86972 85904 0 -1 4194368 7828 0 0 0 1216 13 0 0 20 0 20 0 75929206 19521036288 149072 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86983] ppid=86969 vsize=19063512 memory=592192 CPUtime=0 cores=1,3
/proc/86972/task/86983/stat : 86983 (Finalizer) S 86969 86972 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75929211 19521036288 149072 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86990] ppid=86969 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/86972/task/86990/stat : 86990 (Common-Cleaner) S 86969 86972 85904 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 75929212 19521036288 149072 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86992] ppid=86969 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/86972/task/86992/stat : 86992 (Timer-0) S 86969 86972 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75929343 19521036288 149072 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
Current children cumulated CPU time: 14.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 596288 KiB

[startup+25.5004 s]
/proc/loadavg: 4.08 4.12 4.20 5/325 86993
/proc/meminfo: memFree=112204476/131382112 swapFree=33002444/33010684
[pid=86972] ppid=86969 vsize=19063512 memory=1336232 CPUtime=27.97 cores=1,3
/proc/86972/stat : 86972 (java) S 86969 86972 85904 0 -1 4194304 25415 0 0 0 2762 35 0 0 20 0 20 0 75929204 19521036288 334058 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
/proc/86972/statm: 4765878 334058 5549 1 0 551035 0
[pid=86972/tid=86974] ppid=86969 vsize=19063512 memory=-6000919468394505831 CPUtime=24.98 cores=1,3
/proc/86972/task/86974/stat : 86974 (java) R 86969 86972 85904 0 -1 4194368 9346 0 0 0 2473 25 0 0 20 0 20 0 75929206 19521036288 334058 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86983] ppid=86969 vsize=19063512 memory=3196 CPUtime=0 cores=1,3
/proc/86972/task/86983/stat : 86983 (Finalizer) S 86969 86972 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75929211 19521036288 334058 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86990] ppid=86969 vsize=19063512 memory=1073568 CPUtime=0 cores=1,3
/proc/86972/task/86990/stat : 86990 (Common-Cleaner) S 86969 86972 85904 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 75929212 19521036288 334058 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86992] ppid=86969 vsize=19063512 memory=1073568 CPUtime=0 cores=1,3
/proc/86972/task/86992/stat : 86992 (Timer-0) S 86969 86972 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75929343 19521036288 334058 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
Current children cumulated CPU time: 27.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1336232 KiB

[startup+51.1094 s]
/proc/loadavg: 4.11 4.13 4.20 5/325 86993
/proc/meminfo: memFree=112143540/131382112 swapFree=33002444/33010684
[pid=86972] ppid=86969 vsize=19063512 memory=1364928 CPUtime=53.63 cores=1,3
/proc/86972/stat : 86972 (java) S 86969 86972 85904 0 -1 4194304 27500 0 0 0 5326 37 0 0 20 0 20 0 75929204 19521036288 341232 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
/proc/86972/statm: 4765878 341232 5549 1 0 551035 0
[pid=86972/tid=86974] ppid=86969 vsize=19063512 memory=1364928 CPUtime=50.27 cores=1,3
/proc/86972/task/86974/stat : 86974 (java) R 86969 86972 85904 0 -1 4194368 10367 0 0 0 5002 25 0 0 20 0 20 0 75929206 19521036288 341232 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86983] ppid=86969 vsize=19063512 memory=-6000919468394505831 CPUtime=0 cores=1,3
/proc/86972/task/86983/stat : 86983 (Finalizer) S 86969 86972 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75929211 19521036288 341232 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86990] ppid=86969 vsize=19063512 memory=1350576 CPUtime=0 cores=1,3
/proc/86972/task/86990/stat : 86990 (Common-Cleaner) S 86969 86972 85904 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 75929212 19521036288 341232 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86992] ppid=86969 vsize=19063512 memory=1249696 CPUtime=0 cores=1,3
/proc/86972/task/86992/stat : 86992 (Timer-0) S 86969 86972 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75929343 19521036288 341232 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0

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

/proc/meminfo: memFree=113976904/131382112 swapFree=33002444/33010684
[pid=86972] ppid=86969 vsize=19063512 memory=3121848 CPUtime=3240.9 cores=1,3
/proc/86972/stat : 86972 (java) S 86969 86972 85904 0 -1 4194304 117263 0 0 0 323812 278 0 0 20 0 20 0 75929204 19521036288 780462 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
/proc/86972/statm: 4765878 780462 5581 1 0 793006 0
[pid=86972/tid=86974] ppid=86969 vsize=19063512 memory=3121848 CPUtime=3181.22 cores=1,3
/proc/86972/task/86974/stat : 86974 (java) R 86969 86972 85904 0 -1 4194368 64396 0 0 0 318060 62 0 0 20 0 20 0 75929206 19521036288 780462 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86983] ppid=86969 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/86972/task/86983/stat : 86983 (Finalizer) S 86969 86972 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75929211 19521036288 780462 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86990] ppid=86969 vsize=19063512 memory=-6000919468394505831 CPUtime=0 cores=1,3
/proc/86972/task/86990/stat : 86990 (Common-Cleaner) S 86969 86972 85904 0 -1 4194368 987 0 0 0 0 0 0 0 20 0 20 0 75929212 19521036288 780462 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86992] ppid=86969 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/86972/task/86992/stat : 86992 (Timer-0) S 86969 86972 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75929343 19521036288 780462 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
Current children cumulated CPU time: 3240.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3121848 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.22 4.18 5/325 87283
/proc/meminfo: memFree=113978012/131382112 swapFree=33002444/33010684
[pid=86972] ppid=86969 vsize=19063512 memory=3121848 CPUtime=3301.28 cores=1,3
/proc/86972/stat : 86972 (java) S 86969 86972 85904 0 -1 4194304 118633 0 0 0 329846 282 0 0 20 0 20 0 75929204 19521036288 780462 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
/proc/86972/statm: 4765878 780462 5581 1 0 793006 0
[pid=86972/tid=86974] ppid=86969 vsize=19063512 memory=3121848 CPUtime=3240.34 cores=1,3
/proc/86972/task/86974/stat : 86974 (java) R 86969 86972 85904 0 -1 4194368 65228 0 0 0 323972 62 0 0 20 0 20 0 75929206 19521036288 780462 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86983] ppid=86969 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/86972/task/86983/stat : 86983 (Finalizer) S 86969 86972 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75929211 19521036288 780462 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86990] ppid=86969 vsize=19063512 memory=3121848 CPUtime=0 cores=1,3
/proc/86972/task/86990/stat : 86990 (Common-Cleaner) S 86969 86972 85904 0 -1 4194368 988 0 0 0 0 0 0 0 20 0 20 0 75929212 19521036288 780462 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86992] ppid=86969 vsize=19063512 memory=3121848 CPUtime=0 cores=1,3
/proc/86972/task/86992/stat : 86992 (Timer-0) S 86969 86972 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75929343 19521036288 780462 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
Current children cumulated CPU time: 3301.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3121848 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.19 4.17 5/326 87290
/proc/meminfo: memFree=113977088/131382112 swapFree=33002444/33010684
[pid=86972] ppid=86969 vsize=19063512 memory=3121976 CPUtime=3362.58 cores=1,3
/proc/86972/stat : 86972 (java) S 86969 86972 85904 0 -1 4194304 125823 0 0 0 335970 288 0 0 20 0 20 0 75929204 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
/proc/86972/statm: 4765878 780494 5581 1 0 793006 0
[pid=86972/tid=86974] ppid=86969 vsize=19063512 memory=14848 CPUtime=3299.77 cores=1,3
/proc/86972/task/86974/stat : 86974 (java) R 86969 86972 85904 0 -1 4194368 71696 0 0 0 329914 63 0 0 20 0 20 0 75929206 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86983] ppid=86969 vsize=19063512 memory=3121848 CPUtime=0 cores=1,3
/proc/86972/task/86983/stat : 86983 (Finalizer) S 86969 86972 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75929211 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86990] ppid=86969 vsize=19063512 memory=3121976 CPUtime=0 cores=1,3
/proc/86972/task/86990/stat : 86990 (Common-Cleaner) S 86969 86972 85904 0 -1 4194368 989 0 0 0 0 0 0 0 20 0 20 0 75929212 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86992] ppid=86969 vsize=19063512 memory=3121976 CPUtime=0 cores=1,3
/proc/86972/task/86992/stat : 86992 (Timer-0) S 86969 86972 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75929343 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
Current children cumulated CPU time: 3362.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3121976 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.17 4.17 5/326 87292
/proc/meminfo: memFree=113976856/131382112 swapFree=33002444/33010684
[pid=86972] ppid=86969 vsize=19063512 memory=3121976 CPUtime=3422.75 cores=1,3
/proc/86972/stat : 86972 (java) S 86969 86972 85904 0 -1 4194304 127546 0 0 0 341984 291 0 0 20 0 20 0 75929204 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
/proc/86972/statm: 4765878 780494 5581 1 0 793008 0
[pid=86972/tid=86974] ppid=86969 vsize=19063512 memory=3121976 CPUtime=3359.24 cores=1,3
/proc/86972/task/86974/stat : 86974 (java) R 86969 86972 85904 0 -1 4194368 73060 0 0 0 335860 64 0 0 20 0 20 0 75929206 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86983] ppid=86969 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/86972/task/86983/stat : 86983 (Finalizer) S 86969 86972 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75929211 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86990] ppid=86969 vsize=19063512 memory=5148 CPUtime=0 cores=1,3
/proc/86972/task/86990/stat : 86990 (Common-Cleaner) S 86969 86972 85904 0 -1 4194368 989 0 0 0 0 0 0 0 20 0 20 0 75929212 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86992] ppid=86969 vsize=19063512 memory=-6000919468394505831 CPUtime=0 cores=1,3
/proc/86972/task/86992/stat : 86992 (Timer-0) S 86969 86972 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75929343 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
Current children cumulated CPU time: 3422.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3121976 KiB

[startup+3462.3 s]
/proc/loadavg: 3.62 4.04 4.12 4/301 87327
/proc/meminfo: memFree=118075092/131382112 swapFree=33002444/33010684
[pid=86972] ppid=86969 vsize=19063512 memory=3121976 CPUtime=3482.94 cores=1,3
/proc/86972/stat : 86972 (java) S 86969 86972 85904 0 -1 4194304 129383 0 0 0 347999 295 0 0 20 0 20 0 75929204 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
/proc/86972/statm: 4765878 780494 5581 1 0 793008 0
[pid=86972/tid=86974] ppid=86969 vsize=19063512 memory=5632 CPUtime=3418.75 cores=1,3
/proc/86972/task/86974/stat : 86974 (java) R 86969 86972 85904 0 -1 4194368 74301 0 0 0 341810 65 0 0 20 0 20 0 75929206 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86983] ppid=86969 vsize=19063512 memory=3121976 CPUtime=0 cores=1,3
/proc/86972/task/86983/stat : 86983 (Finalizer) S 86969 86972 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75929211 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86990] ppid=86969 vsize=19063512 memory=5148 CPUtime=0 cores=1,3
/proc/86972/task/86990/stat : 86990 (Common-Cleaner) S 86969 86972 85904 0 -1 4194368 1034 0 0 0 0 0 0 0 20 0 20 0 75929212 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86992] ppid=86969 vsize=19063512 memory=3121976 CPUtime=0 cores=1,3
/proc/86972/task/86992/stat : 86992 (Timer-0) S 86969 86972 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75929343 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
Current children cumulated CPU time: 3482.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3121976 KiB

[startup+3522.3 s]
/proc/loadavg: 3.34 3.88 4.06 4/301 87329
/proc/meminfo: memFree=118075596/131382112 swapFree=33002444/33010684
[pid=86972] ppid=86969 vsize=19063512 memory=3121976 CPUtime=3543.2 cores=1,3
/proc/86972/stat : 86972 (java) S 86969 86972 85904 0 -1 4194304 129649 0 0 0 354021 299 0 0 20 0 20 0 75929204 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
/proc/86972/statm: 4765878 780494 5581 1 0 793008 0
[pid=86972/tid=86974] ppid=86969 vsize=19063512 memory=3121976 CPUtime=3478.21 cores=1,3
/proc/86972/task/86974/stat : 86974 (java) R 86969 86972 85904 0 -1 4194368 74462 0 0 0 347756 65 0 0 20 0 20 0 75929206 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86983] ppid=86969 vsize=19063512 memory=3121976 CPUtime=0 cores=1,3
/proc/86972/task/86983/stat : 86983 (Finalizer) S 86969 86972 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75929211 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86990] ppid=86969 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/86972/task/86990/stat : 86990 (Common-Cleaner) S 86969 86972 85904 0 -1 4194368 1078 0 0 0 0 0 0 0 20 0 20 0 75929212 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86992] ppid=86969 vsize=19063512 memory=-6000919468394505831 CPUtime=0 cores=1,3
/proc/86972/task/86992/stat : 86992 (Timer-0) S 86969 86972 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75929343 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
Current children cumulated CPU time: 3543.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3121976 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3578.9 s]
/proc/loadavg: 3.20 3.75 4.00 4/301 87332
/proc/meminfo: memFree=118076332/131382112 swapFree=33002444/33010684
[pid=86972] ppid=86969 vsize=19063512 memory=3121976 CPUtime=3600.05 cores=1,3
/proc/86972/stat : 86972 (java) S 86969 86972 85904 0 -1 4194304 131526 0 0 0 359703 302 0 0 20 0 20 0 75929204 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
/proc/86972/statm: 4765878 780494 5581 1 0 793008 0
[pid=86972/tid=86974] ppid=86969 vsize=19063512 memory=3121976 CPUtime=3534.29 cores=1,3
/proc/86972/task/86974/stat : 86974 (java) R 86969 86972 85904 0 -1 4194368 75821 0 0 0 353364 65 0 0 20 0 20 0 75929206 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86983] ppid=86969 vsize=19063512 memory=3121976 CPUtime=0 cores=1,3
/proc/86972/task/86983/stat : 86983 (Finalizer) S 86969 86972 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75929211 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86990] ppid=86969 vsize=19063512 memory=3121976 CPUtime=0 cores=1,3
/proc/86972/task/86990/stat : 86990 (Common-Cleaner) S 86969 86972 85904 0 -1 4194368 1078 0 0 0 0 0 0 0 20 0 20 0 75929212 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86992] ppid=86969 vsize=19063512 memory=3121976 CPUtime=0 cores=1,3
/proc/86972/task/86992/stat : 86992 (Timer-0) S 86969 86972 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75929343 19521036288 780494 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3121976 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.25 s, system=3.05451 s

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

[startup+3579 s]*
/proc/loadavg: 3.20 3.75 4.00 5/302 87335
/proc/meminfo: memFree=118076332/131382112 swapFree=33002444/33010684
[pid=86972] ppid=86969 vsize=19263204 memory=3122488 CPUtime=3600.25 cores=1,3
/proc/86972/stat : 86972 (java) S 86969 86972 85904 0 -1 4194304 133564 0 0 0 359722 303 0 0 20 0 21 0 75929204 19725520896 780622 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
/proc/86972/statm: 4815801 780622 5581 1 0 793932 0
[pid=86972/tid=86974] ppid=86969 vsize=19263204 memory=-6000919498459800935 CPUtime=3534.32 cores=1,3
/proc/86972/task/86974/stat : 86974 (java) S 86969 86972 85904 0 -1 4194368 75922 0 0 0 353367 65 0 0 20 0 21 0 75929206 19725520896 780622 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86983] ppid=86969 vsize=19263204 memory=7686721470264483783 CPUtime=0 cores=1,3
/proc/86972/task/86983/stat : 86983 (Finalizer) S 86969 86972 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 75929211 19725520896 780622 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=86990] ppid=86969 vsize=19263204 memory=346071 CPUtime=0 cores=1,3
/proc/86972/task/86990/stat : 86990 (Common-Cleaner) S 86969 86972 85904 0 -1 4194368 1078 0 0 0 0 0 0 0 20 0 21 0 75929212 19725520896 780622 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
[pid=86972/tid=87335] ppid=86969 vsize=19263204 memory=7235142114266474598 CPUtime=0.07 cores=1,3
/proc/86972/task/87335/stat : 87335 (Thread-0) R 86969 86972 85904 0 -1 4194368 384 0 0 0 7 0 0 0 20 0 21 0 76287096 19725520896 780622 18446744073709551615 94446848274432 94446848278128 140734699964512 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94446848285944 94446848286736 94446851915776 140734699968897 140734699968998 140734699968998 140734699974600 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3122488 KiB

Child status: 143

Real time (s): 3579.07
CPU time (s): 3600.31
CPU user time (s): 3597.25
CPU system time (s): 3.05451
CPU usage (%): 100.593
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3122488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.25
system time used= 3.05451
maximum resident set size= 3122616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133634
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125510
involuntary context switches= 6630


# summary of solver processes directly reported to runsolver:
#   pid: 86972
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3597.25
#   total CPU system time (s): 3.05451

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3953 second user time and 37.5163 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-07-04 06:14:58
IDJOB=4523570
IDBENCH=180365
IDSOLVER=3363
FILE ID=nodeC005/4523570-1751602498
RUNJOBID= nodeC005-1751595442-85916
SLURM_JOB_ID= 9598861
Free space on /tmp= 429472 MiB

SOLVER NAME= Sat4j Resolution 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 -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523570-1751602498/watcher-4523570-1751602498 -o /tmp/evaluation-result-4523570-1751602498/solver-4523570-1751602498 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751595442-85916 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4523570-1751602498.opb

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

MD5SUM BENCH= 1a33c023168dcd92e975780dbc5145d9
RANDOM SEED=293915761

nodeC005 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		: 3525.762
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.90
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		: 1197.230
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.90
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		: 1196.724
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.90
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.326
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.90
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		: 1197.262
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.90
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		: 2993.110
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.90
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		: 1795.890
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.90
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.361
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        113508500 kB
MemAvailable:   113344016 kB
Buffers:              12 kB
Cached:           622968 kB
SwapCached:          240 kB
Active:         16885872 kB
Inactive:         367960 kB
Active(anon):   16602888 kB
Inactive(anon):    40832 kB
Active(file):     282984 kB
Inactive(file):   327128 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33002444 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3964 kB
Writeback:             0 kB
AnonPages:      16633752 kB
Mapped:           118508 kB
Shmem:             12868 kB
KReclaimable:     130064 kB
Slab:             216932 kB
SReclaimable:     130064 kB
SUnreclaim:        86868 kB
KernelStack:        4976 kB
PageTables:        36252 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   21241092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150296 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  16228352 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:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429476 MiB
End job on nodeC005 at 2025-07-04 07:14:37