Trace number 4523754

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.15 3584.01

General information on the benchmark

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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4523754-1751605218.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  objective function found
1.07/0.67	c ... done. Wall clock time 0.525s.
1.07/0.67	c declared #vars     1289
1.07/0.67	c #constraints  1095
1.07/0.67	c constraints type 
1.07/0.67	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1.07/0.67	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1080
1.07/0.67	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1
1.07/0.67	c org.sat4j.pb.constraints.pb.UnitClausePB => 13
1.07/0.67	c 1095 constraints processed.
1.07/0.68	c objective function length is 773 literals
2.92/1.61	c cleaning 2497 clauses out of 5001 with flag 15709/5001
3.72/2.31	c cleaning 4247 clauses out of 8503 with flag 34681/11000
4.54/3.14	c cleaning 5622 clauses out of 11256 with flag 58288/18000
5.64/4.21	c cleaning 6817 clauses out of 13636 with flag 83646/26002
7.06/5.60	c cleaning 7909 clauses out of 15819 with flag 111043/35002
8.58/7.10	c cleaning 8952 clauses out of 17908 with flag 142512/45000
10.28/8.74	c cleaning 9972 clauses out of 19958 with flag 179719/56002
11.78/10.26	c cleaning 10989 clauses out of 21985 with flag 224792/68001
13.57/12.04	c cleaning 11989 clauses out of 23996 with flag 270339/81001
15.37/13.89	c cleaning 12997 clauses out of 26006 with flag 317894/95000
17.48/15.96	c cleaning 13999 clauses out of 28011 with flag 366512/110002
19.58/18.07	c cleaning 14998 clauses out of 30012 with flag 420280/126002
22.11/20.56	c cleaning 15997 clauses out of 32013 with flag 482005/143001
24.74/23.12	c cleaning 16997 clauses out of 34017 with flag 548962/161002
27.34/25.70	c cleaning 17999 clauses out of 36019 with flag 623062/180001
30.03/28.47	c cleaning 19002 clauses out of 38020 with flag 698151/200001
32.25/30.66	c cleaning 19996 clauses out of 40021 with flag 762448/221004
33.96/32.22	c cleaning 20990 clauses out of 42021 with flag 810212/243000
35.77/34.09	c cleaning 21997 clauses out of 44035 with flag 860260/266004
37.79/36.05	c cleaning 22999 clauses out of 46036 with flag 912093/290002
39.73/37.91	c cleaning 23995 clauses out of 48036 with flag 965996/315001
41.44/39.65	c cleaning 25001 clauses out of 50040 with flag 1022033/341000
43.54/41.74	c cleaning 26006 clauses out of 52047 with flag 1080329/368008
45.54/43.72	c cleaning 26995 clauses out of 54033 with flag 1140580/396000
47.75/45.95	c cleaning 28001 clauses out of 56038 with flag 1201709/425000
50.14/48.37	c cleaning 28998 clauses out of 58037 with flag 1266364/455000
52.65/50.88	c cleaning 30002 clauses out of 60042 with flag 1334418/486003
55.25/53.45	c cleaning 30998 clauses out of 62039 with flag 1402512/518002
57.75/55.99	c cleaning 32003 clauses out of 64043 with flag 1472445/551004
60.45/58.62	c cleaning 32994 clauses out of 66036 with flag 1544449/585000
63.16/61.30	c cleaning 34000 clauses out of 68044 with flag 1618595/620002
65.79/63.95	c cleaning 34999 clauses out of 70042 with flag 1696303/656000
68.49/66.62	c cleaning 36000 clauses out of 72045 with flag 1774500/693002
71.21/69.30	c cleaning 37000 clauses out of 74043 with flag 1854322/731000
73.91/72.01	c cleaning 37996 clauses out of 76043 with flag 1936509/770000
77.13/75.24	c cleaning 39003 clauses out of 78047 with flag 2026055/810000
80.12/78.27	c cleaning 40006 clauses out of 80045 with flag 2114418/851001
83.34/81.44	c cleaning 41003 clauses out of 82042 with flag 2204011/893004
86.53/84.67	c cleaning 41993 clauses out of 84035 with flag 2296040/936000
89.95/88.05	c cleaning 43000 clauses out of 86042 with flag 2390690/980000
93.67/91.77	c cleaning 44002 clauses out of 88044 with flag 2487594/1025002
97.06/95.17	c cleaning 45001 clauses out of 90040 with flag 2588322/1071000
100.58/98.69	c cleaning 45992 clauses out of 92039 with flag 2689269/1118000
105.10/103.17	c cleaning 47006 clauses out of 94047 with flag 2792969/1166000
108.88/106.97	c cleaning 48003 clauses out of 96045 with flag 2897161/1215004
112.89/110.92	c cleaning 48995 clauses out of 98039 with flag 3002232/1265001
117.12/115.11	c cleaning 50001 clauses out of 100043 with flag 3112636/1316000
121.04/119.01	c cleaning 50998 clauses out of 102044 with flag 3224240/1368002
124.83/122.87	c cleaning 52004 clauses out of 104044 with flag 3337728/1421000
128.74/126.76	c cleaning 52994 clauses out of 106040 with flag 3451572/1475000
132.65/130.69	c cleaning 54006 clauses out of 108046 with flag 3566785/1530000
137.06/135.07	c cleaning 55001 clauses out of 110041 with flag 3685115/1586001
141.99/139.98	c cleaning 55999 clauses out of 112039 with flag 3804471/1643000
146.82/144.74	c cleaning 56997 clauses out of 114040 with flag 3926108/1701000
152.06/149.97	c cleaning 58001 clauses out of 116044 with flag 4050250/1760001
157.40/155.28	c cleaning 58997 clauses out of 118042 with flag 4178943/1820000
162.40/160.26	c cleaning 60002 clauses out of 120045 with flag 4307388/1881000
168.14/165.91	c cleaning 60997 clauses out of 122043 with flag 4440959/1943000
173.46/171.20	c cleaning 61997 clauses out of 124046 with flag 4574262/2006000
179.19/177.00	c cleaning 62997 clauses out of 126050 with flag 4709539/2070001
185.13/182.87	c cleaning 64006 clauses out of 128053 with flag 4846863/2135001
191.56/189.21	c cleaning 65003 clauses out of 130046 with flag 4985564/2201000
198.59/196.25	c cleaning 65999 clauses out of 132043 with flag 5127076/2268000
204.51/202.19	c cleaning 66995 clauses out of 134045 with flag 5269796/2336001
210.92/208.52	c cleaning 68000 clauses out of 136050 with flag 5414567/2405001
217.45/215.04	c cleaning 68998 clauses out of 138051 with flag 5563246/2475002
223.86/221.44	c cleaning 70005 clauses out of 140053 with flag 5713324/2546002
230.97/228.56	c cleaning 70999 clauses out of 142047 with flag 5866264/2618001
237.60/235.13	c cleaning 71999 clauses out of 144048 with flag 6019522/2691001
244.43/241.93	c cleaning 73004 clauses out of 146051 with flag 6175618/2765003
251.06/248.53	c cleaning 74001 clauses out of 148045 with flag 6334871/2840001
258.00/255.40	c cleaning 75009 clauses out of 150049 with flag 6495487/2916006
264.95/262.30	c cleaning 75993 clauses out of 152034 with flag 6658817/2993000
272.59/270.00	c cleaning 76997 clauses out of 154044 with flag 6822208/3071003
280.72/278.04	c cleaning 77998 clauses out of 156045 with flag 6991033/3150001
288.35/285.60	c cleaning 79000 clauses out of 158048 with flag 7160678/3230002
295.97/293.24	c cleaning 79998 clauses out of 160046 with flag 7332376/3311000
303.58/300.88	c cleaning 80997 clauses out of 162050 with flag 7506019/3393002
314.10/311.39	c cleaning 82008 clauses out of 164054 with flag 7680119/3476003
323.33/320.52	c cleaning 83002 clauses out of 166043 with flag 7857359/3560000
334.19/331.32	c cleaning 84005 clauses out of 168046 with flag 8037776/3645005
342.94/340.10	c cleaning 85002 clauses out of 170041 with flag 8223039/3731005
351.70/348.76	c cleaning 85997 clauses out of 172034 with flag 8407716/3818000
360.14/357.12	c cleaning 86995 clauses out of 174042 with flag 8594460/3906005
368.46/365.43	c cleaning 87999 clauses out of 176042 with flag 8782626/3995000
377.20/374.16	c cleaning 89000 clauses out of 178043 with flag 8973570/4085000
386.60/383.59	c cleaning 89999 clauses out of 180043 with flag 9169983/4176000
398.18/395.02	c cleaning 91008 clauses out of 182045 with flag 9366613/4268001
409.35/406.13	c cleaning 91998 clauses out of 184039 with flag 9561034/4361003
419.74/416.54	c cleaning 92995 clauses out of 186039 with flag 9757010/4455001
429.89/426.69	c cleaning 93999 clauses out of 188043 with flag 9954334/4550000
440.55/437.23	c cleaning 94999 clauses out of 190044 with flag 10155055/4646000
452.40/449.06	c cleaning 96002 clauses out of 192045 with flag 10360457/4743000
466.01/462.63	c cleaning 97003 clauses out of 194043 with flag 10568838/4841000
476.64/473.26	c cleaning 97998 clauses out of 196042 with flag 10775172/4940002
489.88/486.42	c cleaning 98996 clauses out of 198042 with flag 10983622/5040000
504.00/500.41	c cleaning 100001 clauses out of 200046 with flag 11196675/5141000
518.14/514.58	c cleaning 100996 clauses out of 202045 with flag 11417266/5243000
532.37/528.79	c cleaning 102003 clauses out of 204053 with flag 11637725/5346004
547.82/544.18	c cleaning 103002 clauses out of 206047 with flag 11856557/5450001
563.76/559.99	c cleaning 104004 clauses out of 208048 with flag 12079258/5555004
581.01/576.99	c cleaning 105003 clauses out of 210041 with flag 12305548/5661001
596.65/592.56	c cleaning 105995 clauses out of 212037 with flag 12531116/5768000
613.37/609.24	c cleaning 106998 clauses out of 214043 with flag 12759768/5876001
629.98/625.79	c cleaning 107995 clauses out of 216044 with flag 12989708/5985000
644.96/640.69	c cleaning 109001 clauses out of 218049 with flag 13222379/6095000
663.79/659.43	c cleaning 110006 clauses out of 220048 with flag 13455884/6206000
682.94/678.57	c cleaning 111001 clauses out of 222042 with flag 13691184/6318000
702.42/697.92	c cleaning 111997 clauses out of 224041 with flag 13929450/6431000
720.97/716.46	c cleaning 113004 clauses out of 226048 with flag 14168599/6545004
738.04/733.40	c cleaning 114001 clauses out of 228041 with flag 14408138/6660001
754.85/750.15	c cleaning 114998 clauses out of 230040 with flag 14651303/6776001
770.39/765.69	c cleaning 116002 clauses out of 232041 with flag 14896677/6893000
787.79/782.96	c cleaning 116998 clauses out of 234039 with flag 15141295/7011000
804.15/799.29	c cleaning 117997 clauses out of 236043 with flag 15389795/7130002
821.75/816.75	c cleaning 119002 clauses out of 238045 with flag 15641697/7250001
838.91/833.88	c cleaning 119991 clauses out of 240042 with flag 15895143/7371000
856.63/851.42	c cleaning 121008 clauses out of 242054 with flag 16151332/7493003
871.76/866.52	c cleaning 122000 clauses out of 244043 with flag 16408903/7616000
885.49/880.21	c cleaning 122998 clauses out of 246043 with flag 16669536/7740000
899.22/893.94	c cleaning 124001 clauses out of 248048 with flag 16932849/7865003
912.89/907.56	c cleaning 125001 clauses out of 250045 with flag 17202212/7991001
928.45/923.03	c cleaning 126002 clauses out of 252044 with flag 17467824/8118001
944.07/938.66	c cleaning 126994 clauses out of 254041 with flag 17736569/8246000
957.79/952.31	c cleaning 128004 clauses out of 256048 with flag 18010566/8375001
969.91/964.43	c cleaning 128997 clauses out of 258043 with flag 18282948/8505000
983.94/978.40	c cleaning 130004 clauses out of 260047 with flag 18559910/8636001
999.29/993.75	c cleaning 130998 clauses out of 262042 with flag 18836645/8768000
1013.74/1008.15	c cleaning 132000 clauses out of 264044 with flag 19115663/8901000
1030.81/1025.11	c cleaning 132997 clauses out of 266046 with flag 19397622/9035002
1050.89/1045.15	c cleaning 134000 clauses out of 268047 with flag 19680722/9170000
1067.21/1061.44	c cleaning 135000 clauses out of 270048 with flag 19966430/9306001
1082.05/1076.28	c cleaning 135997 clauses out of 272048 with flag 20254264/9443001
1098.02/1092.14	c cleaning 136999 clauses out of 274050 with flag 20544888/9581000
1116.37/1110.44	c cleaning 138002 clauses out of 276053 with flag 20837593/9720002
1132.60/1126.62	c cleaning 139002 clauses out of 278049 with flag 21131960/9860000
1148.19/1142.11	c cleaning 139998 clauses out of 280048 with flag 21429867/10001001
1164.64/1158.23	c cleaning 140996 clauses out of 282049 with flag 21729451/10143000
1182.55/1176.03	c cleaning 142005 clauses out of 284053 with flag 22034312/10286000
1199.21/1192.66	c cleaning 143002 clauses out of 286048 with flag 22338613/10430000
1218.94/1212.34	c cleaning 144002 clauses out of 288047 with flag 22646442/10575001
1238.59/1231.93	c cleaning 144996 clauses out of 290044 with flag 22953836/10721000
1258.95/1252.22	c cleaning 145999 clauses out of 292049 with flag 23270147/10868001
1279.20/1272.40	c cleaning 146996 clauses out of 294050 with flag 23583313/11016001
1302.52/1295.72	c cleaning 148004 clauses out of 296054 with flag 23897004/11165001
1322.22/1315.32	c cleaning 149003 clauses out of 298052 with flag 24211448/11315003
1340.24/1333.38	c cleaning 150001 clauses out of 300046 with flag 24529885/11466000
1358.17/1351.20	c cleaning 151003 clauses out of 302046 with flag 24850233/11618001
1377.33/1370.33	c cleaning 151996 clauses out of 304044 with flag 25174035/11771002
1395.16/1388.17	c cleaning 152997 clauses out of 306046 with flag 25502807/11925000
1415.57/1408.58	c cleaning 153999 clauses out of 308050 with flag 25831739/12080001
1434.28/1427.18	c cleaning 155001 clauses out of 310050 with flag 26160592/12236000
1453.94/1446.71	c cleaning 156004 clauses out of 312050 with flag 26493435/12393001
1473.28/1466.09	c cleaning 156993 clauses out of 314046 with flag 26826525/12551001
1493.97/1486.64	c cleaning 158005 clauses out of 316055 with flag 27159884/12710003
1513.98/1506.60	c cleaning 159000 clauses out of 318050 with flag 27501896/12870003
1534.32/1526.90	c cleaning 160004 clauses out of 320049 with flag 27840923/13031002
1555.08/1547.66	c cleaning 160998 clauses out of 322043 with flag 28182064/13193000
1575.21/1567.74	c cleaning 162002 clauses out of 324045 with flag 28524771/13356000
1594.02/1586.40	c cleaning 163002 clauses out of 326043 with flag 28867417/13520000
1612.55/1604.97	c cleaning 163999 clauses out of 328041 with flag 29214828/13685000
1633.45/1625.72	c cleaning 164995 clauses out of 330042 with flag 29563111/13851000
1652.99/1645.21	c cleaning 166003 clauses out of 332049 with flag 29911050/14018002
1671.11/1663.39	c cleaning 167004 clauses out of 334048 with flag 30261386/14186004
1690.56/1682.78	c cleaning 167995 clauses out of 336040 with flag 30614693/14355000
1712.53/1704.68	c cleaning 169000 clauses out of 338045 with flag 30969134/14525000
1736.88/1728.90	c cleaning 170002 clauses out of 340048 with flag 31325640/14696003
1763.26/1755.22	c cleaning 171002 clauses out of 342046 with flag 31687383/14868003
1790.85/1782.76	c cleaning 172002 clauses out of 344043 with flag 32051981/15041002
1814.13/1805.86	c cleaning 172996 clauses out of 346039 with flag 32416094/15215000
1837.00/1828.39	c cleaning 173999 clauses out of 348043 with flag 32782129/15390000
1858.98/1850.23	c cleaning 174996 clauses out of 350046 with flag 33148989/15566002
1880.10/1871.22	c cleaning 175999 clauses out of 352048 with flag 33517375/15743000
1902.18/1893.21	c cleaning 177002 clauses out of 354049 with flag 33894405/15921000
1921.19/1912.22	c cleaning 178006 clauses out of 356048 with flag 34272162/16100001
1947.04/1937.97	c cleaning 179001 clauses out of 358042 with flag 34651215/16280001
1975.00/1965.81	c cleaning 179999 clauses out of 360040 with flag 35027601/16461000
1998.56/1989.30	c cleaning 180998 clauses out of 362042 with flag 35409848/16643001
2018.78/2009.53	c cleaning 181998 clauses out of 364043 with flag 35795747/16826000
2041.13/2031.87	c cleaning 183001 clauses out of 366045 with flag 36178862/17010000
2062.24/2052.83	c cleaning 183998 clauses out of 368044 with flag 36564453/17195000
2086.84/2077.30	c cleaning 184996 clauses out of 370046 with flag 36955121/17381000
2114.43/2104.88	c cleaning 186002 clauses out of 372051 with flag 37345612/17568001
2144.40/2134.70	c cleaning 187004 clauses out of 374048 with flag 37735062/17756000
2172.32/2162.66	c cleaning 187999 clauses out of 376045 with flag 38130691/17945001
2204.93/2194.72	c cleaning 189000 clauses out of 378045 with flag 38524747/18135000
2233.40/2223.11	c cleaning 189996 clauses out of 380045 with flag 38922787/18326000
2259.33/2249.06	c cleaning 191005 clauses out of 382052 with flag 39324164/18518003
2285.31/2274.96	c cleaning 192002 clauses out of 384044 with flag 39729658/18711000
2309.57/2299.16	c cleaning 192997 clauses out of 386042 with flag 40140800/18905000
2339.73/2329.28	c cleaning 193997 clauses out of 388045 with flag 40550214/19100000
2367.40/2356.88	c cleaning 194995 clauses out of 390048 with flag 40964428/19296000
2397.20/2386.51	c cleaning 196003 clauses out of 392053 with flag 41378657/19493000
2420.76/2410.01	c cleaning 196995 clauses out of 394051 with flag 41795877/19691001
2455.44/2444.58	c cleaning 198005 clauses out of 396055 with flag 42209852/19890000
2484.39/2473.48	c cleaning 199004 clauses out of 398051 with flag 42626181/20090001
2512.13/2501.18	c cleaning 200003 clauses out of 400046 with flag 43047196/20291000
2543.89/2532.87	c cleaning 200996 clauses out of 402044 with flag 43470253/20493001
2572.95/2561.47	c cleaning 202004 clauses out of 404049 with flag 43894626/20696002
2602.96/2591.33	c cleaning 203003 clauses out of 406045 with flag 44322439/20900002
2633.31/2621.63	c cleaning 204003 clauses out of 408044 with flag 44751944/21105004
2661.79/2650.09	c cleaning 204996 clauses out of 410038 with flag 45183897/21311001
2690.25/2678.47	c cleaning 205995 clauses out of 412041 with flag 45619216/21518000
2723.30/2711.33	c cleaning 206999 clauses out of 414046 with flag 46055005/21726000
2755.42/2743.31	c cleaning 208005 clauses out of 416048 with flag 46499029/21935001
2792.25/2780.03	c cleaning 208999 clauses out of 418043 with flag 46945431/22145001
2820.12/2807.86	c cleaning 210000 clauses out of 420045 with flag 47389257/22356002
2849.90/2837.53	c cleaning 210997 clauses out of 422044 with flag 47840255/22568001
2881.58/2869.18	c cleaning 212000 clauses out of 424046 with flag 48289051/22781000
2912.40/2899.83	c cleaning 213002 clauses out of 426049 with flag 48737561/22995003
2942.41/2929.38	c cleaning 213999 clauses out of 428047 with flag 49190525/23210003
2970.64/2957.41	c cleaning 215003 clauses out of 430045 with flag 49641962/23426000
3007.33/2994.04	c cleaning 215996 clauses out of 432042 with flag 50096382/23643000
3037.11/3023.71	c cleaning 217001 clauses out of 434047 with flag 50556290/23861001
3067.40/3053.92	c cleaning 217997 clauses out of 436046 with flag 51014059/24080001
3097.11/3083.51	c cleaning 219000 clauses out of 438048 with flag 51470588/24300000
3122.18/3108.46	c cleaning 220000 clauses out of 440050 with flag 51935039/24521002
3149.39/3135.58	c cleaning 220999 clauses out of 442048 with flag 52399118/24743000
3178.82/3164.50	c cleaning 222001 clauses out of 444050 with flag 52865364/24966001
3209.28/3194.92	c cleaning 223006 clauses out of 446048 with flag 53335088/25190000
3235.77/3221.25	c cleaning 223993 clauses out of 448045 with flag 53807246/25415003
3264.04/3249.42	c cleaning 224998 clauses out of 450049 with flag 54279083/25641000
3291.53/3276.85	c cleaning 226000 clauses out of 452051 with flag 54756172/25868000
3317.03/3302.28	c cleaning 227002 clauses out of 454051 with flag 55237913/26096000
3348.17/3333.39	c cleaning 228007 clauses out of 456049 with flag 55719829/26325000
3384.08/3369.13	c cleaning 228994 clauses out of 458042 with flag 56201292/26555000
3417.38/3402.30	c cleaning 229998 clauses out of 460048 with flag 56685377/26786000
3453.90/3438.70	c cleaning 231000 clauses out of 462050 with flag 57175465/27018000
3487.59/3472.37	c cleaning 231994 clauses out of 464050 with flag 57664508/27251000
3517.80/3502.40	c cleaning 233000 clauses out of 466056 with flag 58152131/27485000
3549.83/3534.04	c cleaning 234007 clauses out of 468057 with flag 58638430/27720001
3582.80/3566.84	c cleaning 234995 clauses out of 470050 with flag 59133661/27956001
3600.00/3583.91	c starts		: 498
3600.00/3583.92	c conflicts		: 28123259
3600.00/3583.92	c decisions		: 31029208
3600.00/3583.92	c propagations		: 188139092
3600.00/3583.92	c inspects		: 27334699456
3600.00/3583.92	c shortcuts		: 0
3600.00/3583.92	c learnt literals	: 0
3600.00/3583.92	c learnt binary clauses	: 0
3600.00/3583.92	c learnt ternary clauses	: 0
3600.00/3583.92	c timeout
3600.00/3583.92	c learnt constraints	: 28123259
3600.00/3583.92	c ignored constraints	: 0
3600.00/3583.92	c root simplifications	: 0
3600.00/3583.92	c removed literals (reason simplification)	: 6951696
3600.00/3583.92	c reason swapping (by a shorter reason)	: 0
3600.00/3583.92	c Calls to reduceDB	: 232
3600.00/3583.92	c Number of update (reduction) of LBD	: 2714223
3600.00/3583.92	c Imported unit clauses	: 0
3600.00/3583.92	c No decision after first conflict	: false
3600.00/3583.92	c number of reductions to clauses (during analyze)	: 0
3600.00/3583.92	c number of learned constraints concerned by reduction	: 0
3600.00/3583.92	c number of learning phase by resolution	: 0
3600.00/3583.92	c number of learning phase by cutting planes	: 0
3600.00/3583.92	c number of rounding to 1 operations	: 0
3600.00/3583.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3583.92	c number of reductions of the coefficients by power 2 	: 0
3600.00/3583.92	c number of right shift for reduction by power 2 	: 0
3600.00/3583.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3583.92	c number of ending skipping 	: 0
3600.00/3583.93	c number of internal skipping 	: 0
3600.00/3583.93	c number of derivation steps 	: 0
3600.00/3583.93	c number of skipped derivation steps 	: 0
3600.00/3583.93	c number of remaining unassigned 	: 0
3600.00/3583.93	c number of remaining assigned 	: 0
3600.00/3583.93	c number of falsified literals weakened from reason	: 0
3600.00/3583.93	c number of falsified literals weakened from conflict	: 0
3600.00/3583.93	c time for arithmetic operations	: 0
3600.00/3583.93	c minimum degree of deleted constraints	: null
3600.00/3583.93	c maximum degree of deleted constraints	: null
3600.00/3583.93	c number of deleted constraints	: 0
3600.00/3583.93	c speed (assignments/second)	: 52505.38814936452
3600.00/3583.93	c non guided choices	: 803
3600.00/3583.99	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 402313
3600.00/3583.99	s UNKNOWN
3600.00/3583.99	c Total wall clock time (in seconds): 3583.85

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523754-1751605218/watcher-4523754-1751605218 -o /tmp/evaluation-result-4523754-1751605218/solver-4523754-1751605218 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751598323-85762 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4523754-1751605218.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=86667, runsolver pid=86664

[startup+0.10006 s]*
/proc/loadavg: 4.14 4.36 4.44 5/337 86685
/proc/meminfo: memFree=121838200/131250000 swapFree=33010416/33010684
[pid=86667] ppid=86664 vsize=18930384 memory=55744 CPUtime=0.12 cores=5,7
/proc/86667/stat : 86667 (java) S 86664 86667 85745 0 -1 4194304 6545 0 0 0 10 2 0 0 20 0 18 0 76201676 19384713216 13936 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
/proc/86667/statm: 4732596 13936 5368 1 0 547604 0
[pid=86667/tid=86669] ppid=86664 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/86667/task/86669/stat : 86669 (java) R 86664 86667 85745 0 -1 4194368 5042 0 0 0 6 1 0 0 20 0 18 0 76201677 19384713216 13936 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86678] ppid=86664 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/86667/task/86678/stat : 86678 (Finalizer) S 86664 86667 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76201679 19384713216 13936 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86685] ppid=86664 vsize=18930384 memory=61784027586760 CPUtime=0 cores=5,7
/proc/86667/task/86685/stat : 86685 (Common-Cleaner) S 86664 86667 85745 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 76201680 19384713216 13936 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55744 KiB

[startup+0.205657 s]*
/proc/loadavg: 4.14 4.36 4.44 6/337 86685
/proc/meminfo: memFree=121833096/131250000 swapFree=33010416/33010684
[pid=86667] ppid=86664 vsize=18930384 memory=70028 CPUtime=0.31 cores=5,7
/proc/86667/stat : 86667 (java) S 86664 86667 85745 0 -1 4194304 6987 0 0 0 29 2 0 0 20 0 18 0 76201676 19384713216 17507 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
/proc/86667/statm: 4732596 17507 5432 1 0 547888 0
[pid=86667/tid=86669] ppid=86664 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=5,7
/proc/86667/task/86669/stat : 86669 (java) R 86664 86667 85745 0 -1 4194368 5255 0 0 0 15 2 0 0 20 0 18 0 76201677 19384713216 17507 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86678] ppid=86664 vsize=18930384 memory=18954 CPUtime=0 cores=5,7
/proc/86667/task/86678/stat : 86678 (Finalizer) S 86664 86667 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76201679 19384713216 17507 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86685] ppid=86664 vsize=18930384 memory=60684515935208 CPUtime=0 cores=5,7
/proc/86667/task/86685/stat : 86685 (Common-Cleaner) S 86664 86667 85745 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 76201680 19384713216 17507 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 70028 KiB

[startup+0.305657 s]*
/proc/loadavg: 4.14 4.36 4.44 6/337 86685
/proc/meminfo: memFree=121799636/131250000 swapFree=33010416/33010684
[pid=86667] ppid=86664 vsize=18930384 memory=105564 CPUtime=0.5 cores=5,7
/proc/86667/stat : 86667 (java) S 86664 86667 85745 0 -1 4194304 8661 0 0 0 47 3 0 0 20 0 18 0 76201676 19384713216 26391 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
/proc/86667/statm: 4732596 26391 5432 1 0 549086 0
[pid=86667/tid=86669] ppid=86664 vsize=18930384 memory=-6000919489869538919 CPUtime=0.26 cores=5,7
/proc/86667/task/86669/stat : 86669 (java) R 86664 86667 85745 0 -1 4194368 5270 0 0 0 24 2 0 0 20 0 18 0 76201677 19384713216 26391 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86678] ppid=86664 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/86667/task/86678/stat : 86678 (Finalizer) S 86664 86667 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 76201679 19384713216 26391 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86685] ppid=86664 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/86667/task/86685/stat : 86685 (Common-Cleaner) S 86664 86667 85745 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 76201680 19384713216 26391 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 105564 KiB

[startup+0.704538 s]
/proc/loadavg: 4.14 4.36 4.44 6/338 86686
/proc/meminfo: memFree=121737440/131250000 swapFree=33010416/33010684
[pid=86667] ppid=86664 vsize=19063512 memory=189440 CPUtime=1.27 cores=5,7
/proc/86667/stat : 86667 (java) S 86664 86667 85745 0 -1 4194304 9132 0 0 0 122 5 0 0 20 0 20 0 76201676 19521036288 47360 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
/proc/86667/statm: 4765878 47360 5528 1 0 549816 0
[pid=86667/tid=86669] ppid=86664 vsize=19063512 memory=18816 CPUtime=0.59 cores=5,7
/proc/86667/task/86669/stat : 86669 (java) R 86664 86667 85745 0 -1 4194368 5404 0 0 0 55 4 0 0 20 0 20 0 76201677 19521036288 47360 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86678] ppid=86664 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/86667/task/86678/stat : 86678 (Finalizer) S 86664 86667 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76201679 19521036288 47360 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86685] ppid=86664 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/86667/task/86685/stat : 86685 (Common-Cleaner) S 86664 86667 85745 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76201680 19521036288 47360 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 189440 KiB

[startup+1.50025 s]
/proc/loadavg: 4.21 4.37 4.44 7/339 86687
/proc/meminfo: memFree=121697052/131250000 swapFree=33010416/33010684
[pid=86667] ppid=86664 vsize=19063512 memory=215316 CPUtime=2.72 cores=5,7
/proc/86667/stat : 86667 (java) S 86664 86667 85745 0 -1 4194304 14375 0 0 0 265 7 0 0 20 0 20 0 76201676 19521036288 53829 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
/proc/86667/statm: 4765878 53829 5528 1 0 552955 0
[pid=86667/tid=86669] ppid=86664 vsize=19063512 memory=3328 CPUtime=1.33 cores=5,7
/proc/86667/task/86669/stat : 86669 (java) R 86664 86667 85745 0 -1 4194368 5446 0 0 0 129 4 0 0 20 0 20 0 76201677 19521036288 53829 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86678] ppid=86664 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86667/task/86678/stat : 86678 (Finalizer) S 86664 86667 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76201679 19521036288 53829 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86685] ppid=86664 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/86667/task/86685/stat : 86685 (Common-Cleaner) S 86664 86667 85745 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76201680 19521036288 53829 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86687] ppid=86664 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/86667/task/86687/stat : 86687 (Timer-0) S 86664 86667 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76201746 19521036288 53829 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 215316 KiB

[startup+3.10546 s]
/proc/loadavg: 4.21 4.37 4.44 5/339 86687
/proc/meminfo: memFree=121675596/131250000 swapFree=33010416/33010684
[pid=86667] ppid=86664 vsize=19063512 memory=219860 CPUtime=4.54 cores=5,7
/proc/86667/stat : 86667 (java) S 86664 86667 85745 0 -1 4194304 16450 0 0 0 446 8 0 0 20 0 20 0 76201676 19521036288 54965 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
/proc/86667/statm: 4765878 54965 5528 1 0 553000 0
[pid=86667/tid=86669] ppid=86664 vsize=19063512 memory=14720 CPUtime=2.91 cores=5,7
/proc/86667/task/86669/stat : 86669 (java) R 86664 86667 85745 0 -1 4194368 5841 0 0 0 287 4 0 0 20 0 20 0 76201677 19521036288 54965 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86678] ppid=86664 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86667/task/86678/stat : 86678 (Finalizer) S 86664 86667 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76201679 19521036288 54965 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86685] ppid=86664 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/86667/task/86685/stat : 86685 (Common-Cleaner) S 86664 86667 85745 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76201680 19521036288 54965 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86687] ppid=86664 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/86667/task/86687/stat : 86687 (Timer-0) S 86664 86667 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76201746 19521036288 54965 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
Current children cumulated CPU time: 4.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 219860 KiB

[startup+6.30023 s]
/proc/loadavg: 4.19 4.37 4.44 5/339 86687
/proc/meminfo: memFree=121540872/131250000 swapFree=33010416/33010684
[pid=86667] ppid=86664 vsize=19063512 memory=377872 CPUtime=7.87 cores=5,7
/proc/86667/stat : 86667 (java) S 86664 86667 85745 0 -1 4194304 19893 0 0 0 776 11 0 0 20 0 20 0 76201676 19521036288 94468 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
/proc/86667/statm: 4765878 94468 5528 1 0 553004 0
[pid=86667/tid=86669] ppid=86664 vsize=19063512 memory=0 CPUtime=6.09 cores=5,7
/proc/86667/task/86669/stat : 86669 (java) R 86664 86667 85745 0 -1 4194368 6320 0 0 0 602 7 0 0 20 0 20 0 76201677 19521036288 94468 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86678] ppid=86664 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/86667/task/86678/stat : 86678 (Finalizer) S 86664 86667 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76201679 19521036288 94468 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86685] ppid=86664 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/86667/task/86685/stat : 86685 (Common-Cleaner) S 86664 86667 85745 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76201680 19521036288 94468 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86687] ppid=86664 vsize=19063512 memory=215316 CPUtime=0 cores=5,7
/proc/86667/task/86687/stat : 86687 (Timer-0) S 86664 86667 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76201746 19521036288 94468 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
Current children cumulated CPU time: 7.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 377872 KiB

[startup+12.7002 s]
/proc/loadavg: 4.26 4.38 4.44 5/339 86687
/proc/meminfo: memFree=120987912/131250000 swapFree=33010416/33010684
[pid=86667] ppid=86664 vsize=19063512 memory=1002580 CPUtime=14.28 cores=5,7
/proc/86667/stat : 86667 (java) S 86664 86667 85745 0 -1 4194304 22450 0 0 0 1404 24 0 0 20 0 20 0 76201676 19521036288 250645 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
/proc/86667/statm: 4765878 250645 5528 1 0 553004 0
[pid=86667/tid=86669] ppid=86664 vsize=19063512 memory=215316 CPUtime=12.45 cores=5,7
/proc/86667/task/86669/stat : 86669 (java) R 86664 86667 85745 0 -1 4194368 7748 0 0 0 1227 18 0 0 20 0 20 0 76201677 19521036288 250645 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86678] ppid=86664 vsize=19063512 memory=848980 CPUtime=0 cores=5,7
/proc/86667/task/86678/stat : 86678 (Finalizer) S 86664 86667 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76201679 19521036288 250645 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86685] ppid=86664 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86667/task/86685/stat : 86685 (Common-Cleaner) S 86664 86667 85745 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76201680 19521036288 250645 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86687] ppid=86664 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/86667/task/86687/stat : 86687 (Timer-0) S 86664 86667 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76201746 19521036288 250645 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
Current children cumulated CPU time: 14.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1002580 KiB

[startup+25.5003 s]
/proc/loadavg: 4.22 4.36 4.44 5/339 86687
/proc/meminfo: memFree=120526204/131250000 swapFree=33010416/33010684
[pid=86667] ppid=86664 vsize=19063512 memory=1361208 CPUtime=27.14 cores=5,7
/proc/86667/stat : 86667 (java) S 86664 86667 85745 0 -1 4194304 26942 0 0 0 2682 32 0 0 20 0 20 0 76201676 19521036288 340302 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
/proc/86667/statm: 4765878 340302 5560 1 0 553004 0
[pid=86667/tid=86669] ppid=86664 vsize=19063512 memory=0 CPUtime=25.18 cores=5,7
/proc/86667/task/86669/stat : 86669 (java) R 86664 86667 85745 0 -1 4194368 9236 0 0 0 2493 25 0 0 20 0 20 0 76201677 19521036288 340302 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86678] ppid=86664 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/86667/task/86678/stat : 86678 (Finalizer) S 86664 86667 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76201679 19521036288 340302 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86685] ppid=86664 vsize=19063512 memory=1361208 CPUtime=0 cores=5,7
/proc/86667/task/86685/stat : 86685 (Common-Cleaner) S 86664 86667 85745 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76201680 19521036288 340302 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86687] ppid=86664 vsize=19063512 memory=1361208 CPUtime=0 cores=5,7
/proc/86667/task/86687/stat : 86687 (Timer-0) S 86664 86667 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76201746 19521036288 340302 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
Current children cumulated CPU time: 27.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1361208 KiB

[startup+51.1055 s]
/proc/loadavg: 4.13 4.33 4.42 5/339 86699
/proc/meminfo: memFree=120497068/131250000 swapFree=33010416/33010684
[pid=86667] ppid=86664 vsize=19063512 memory=1375768 CPUtime=52.96 cores=5,7
/proc/86667/stat : 86667 (java) S 86664 86667 85745 0 -1 4194304 31087 0 0 0 5262 34 0 0 20 0 20 0 76201676 19521036288 343942 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
/proc/86667/statm: 4765878 343942 5560 1 0 553004 0
[pid=86667/tid=86669] ppid=86664 vsize=19063512 memory=1361208 CPUtime=50.63 cores=5,7
/proc/86667/task/86669/stat : 86669 (java) R 86664 86667 85745 0 -1 4194368 10394 0 0 0 5038 25 0 0 20 0 20 0 76201677 19521036288 343942 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86678] ppid=86664 vsize=19063512 memory=28160 CPUtime=0 cores=5,7
/proc/86667/task/86678/stat : 86678 (Finalizer) S 86664 86667 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76201679 19521036288 343942 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86685] ppid=86664 vsize=19063512 memory=2308 CPUtime=0 cores=5,7
/proc/86667/task/86685/stat : 86685 (Common-Cleaner) S 86664 86667 85745 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 76201680 19521036288 343942 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86687] ppid=86664 vsize=19063512 memory=1016916 CPUtime=0 cores=5,7

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

/proc/86667/task/86678/stat : 86678 (Finalizer) S 86664 86667 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76201679 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86685] ppid=86664 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/86667/task/86685/stat : 86685 (Common-Cleaner) S 86664 86667 85745 0 -1 4194368 713 0 0 0 0 0 0 0 20 0 20 0 76201680 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86687] ppid=86664 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/86667/task/86687/stat : 86687 (Timer-0) S 86664 86667 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76201746 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
Current children cumulated CPU time: 3236.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2128252 KiB

[startup+3282.3 s]
/proc/loadavg: 3.37 3.82 4.01 4/314 87015
/proc/meminfo: memFree=121657324/131250000 swapFree=33010416/33010684
[pid=86667] ppid=86664 vsize=19063512 memory=2128252 CPUtime=3297.05 cores=5,7
/proc/86667/stat : 86667 (java) S 86664 86667 85745 0 -1 4194304 96994 0 0 0 329549 156 0 0 20 0 20 0 76201676 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
/proc/86667/statm: 4765878 532063 5560 1 0 544223 0
[pid=86667/tid=86669] ppid=86664 vsize=19063512 memory=2128252 CPUtime=3253.74 cores=5,7
/proc/86667/task/86669/stat : 86669 (java) R 86664 86667 85745 0 -1 4194368 44541 0 0 0 325341 33 0 0 20 0 20 0 76201677 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86678] ppid=86664 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/86667/task/86678/stat : 86678 (Finalizer) S 86664 86667 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76201679 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86685] ppid=86664 vsize=19063512 memory=-4050210904893736342 CPUtime=0 cores=5,7
/proc/86667/task/86685/stat : 86685 (Common-Cleaner) S 86664 86667 85745 0 -1 4194368 732 0 0 0 0 0 0 0 20 0 20 0 76201680 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86687] ppid=86664 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/86667/task/86687/stat : 86687 (Timer-0) S 86664 86667 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76201746 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
Current children cumulated CPU time: 3297.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2128252 KiB

[startup+3342.3 s]
/proc/loadavg: 3.24 3.70 3.95 4/314 87017
/proc/meminfo: memFree=121657436/131250000 swapFree=33010416/33010684
[pid=86667] ppid=86664 vsize=19063512 memory=2128252 CPUtime=3357.2 cores=5,7
/proc/86667/stat : 86667 (java) S 86664 86667 85745 0 -1 4194304 97121 0 0 0 335562 158 0 0 20 0 20 0 76201676 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
/proc/86667/statm: 4765878 532063 5560 1 0 544223 0
[pid=86667/tid=86669] ppid=86664 vsize=19063512 memory=2128252 CPUtime=3313.28 cores=5,7
/proc/86667/task/86669/stat : 86669 (java) R 86664 86667 85745 0 -1 4194368 44552 0 0 0 331295 33 0 0 20 0 20 0 76201677 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86678] ppid=86664 vsize=19063512 memory=2128252 CPUtime=0 cores=5,7
/proc/86667/task/86678/stat : 86678 (Finalizer) S 86664 86667 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76201679 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86685] ppid=86664 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/86667/task/86685/stat : 86685 (Common-Cleaner) S 86664 86667 85745 0 -1 4194368 751 0 0 0 0 0 0 0 20 0 20 0 76201680 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86687] ppid=86664 vsize=19063512 memory=2128252 CPUtime=0 cores=5,7
/proc/86667/task/86687/stat : 86687 (Timer-0) S 86664 86667 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76201746 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
Current children cumulated CPU time: 3357.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2128252 KiB

[startup+3402.3 s]
/proc/loadavg: 3.13 3.58 3.89 4/314 87021
/proc/meminfo: memFree=121657332/131250000 swapFree=33010416/33010684
[pid=86667] ppid=86664 vsize=19063512 memory=2128252 CPUtime=3417.38 cores=5,7
/proc/86667/stat : 86667 (java) S 86664 86667 85745 0 -1 4194304 97649 0 0 0 341579 159 0 0 20 0 20 0 76201676 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
/proc/86667/statm: 4765878 532063 5560 1 0 544225 0
[pid=86667/tid=86669] ppid=86664 vsize=19063512 memory=2128252 CPUtime=3372.8 cores=5,7
/proc/86667/task/86669/stat : 86669 (java) R 86664 86667 85745 0 -1 4194368 44974 0 0 0 337247 33 0 0 20 0 20 0 76201677 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86678] ppid=86664 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/86667/task/86678/stat : 86678 (Finalizer) S 86664 86667 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76201679 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86685] ppid=86664 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/86667/task/86685/stat : 86685 (Common-Cleaner) S 86664 86667 85745 0 -1 4194368 751 0 0 0 0 0 0 0 20 0 20 0 76201680 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86687] ppid=86664 vsize=19063512 memory=2128252 CPUtime=0 cores=5,7
/proc/86667/task/86687/stat : 86687 (Timer-0) S 86664 86667 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76201746 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
Current children cumulated CPU time: 3417.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2128252 KiB

[startup+3462.3 s]
/proc/loadavg: 3.21 3.52 3.85 4/314 87027
/proc/meminfo: memFree=121657444/131250000 swapFree=33010416/33010684
[pid=86667] ppid=86664 vsize=19063512 memory=2128252 CPUtime=3477.61 cores=5,7
/proc/86667/stat : 86667 (java) S 86664 86667 85745 0 -1 4194304 98779 0 0 0 347600 161 0 0 20 0 20 0 76201676 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
/proc/86667/statm: 4765878 532063 5560 1 0 544225 0
[pid=86667/tid=86669] ppid=86664 vsize=19063512 memory=2128252 CPUtime=3432.26 cores=5,7
/proc/86667/task/86669/stat : 86669 (java) R 86664 86667 85745 0 -1 4194368 45799 0 0 0 343193 33 0 0 20 0 20 0 76201677 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86678] ppid=86664 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/86667/task/86678/stat : 86678 (Finalizer) S 86664 86667 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76201679 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86685] ppid=86664 vsize=19063512 memory=2128252 CPUtime=0 cores=5,7
/proc/86667/task/86685/stat : 86685 (Common-Cleaner) S 86664 86667 85745 0 -1 4194368 803 0 0 0 0 0 0 0 20 0 20 0 76201680 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86687] ppid=86664 vsize=19063512 memory=2128252 CPUtime=0 cores=5,7
/proc/86667/task/86687/stat : 86687 (Timer-0) S 86664 86667 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76201746 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
Current children cumulated CPU time: 3477.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2128252 KiB

[startup+3522.3 s]
/proc/loadavg: 3.13 3.44 3.80 4/314 87029
/proc/meminfo: memFree=121657596/131250000 swapFree=33010416/33010684
[pid=86667] ppid=86664 vsize=19063512 memory=2128252 CPUtime=3538.14 cores=5,7
/proc/86667/stat : 86667 (java) S 86664 86667 85745 0 -1 4194304 100270 0 0 0 353652 162 0 0 20 0 20 0 76201676 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
/proc/86667/statm: 4765878 532063 5560 1 0 544225 0
[pid=86667/tid=86669] ppid=86664 vsize=19063512 memory=2128252 CPUtime=3491.76 cores=5,7
/proc/86667/task/86669/stat : 86669 (java) R 86664 86667 85745 0 -1 4194368 46579 0 0 0 349143 33 0 0 20 0 20 0 76201677 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86678] ppid=86664 vsize=19063512 memory=2128252 CPUtime=0 cores=5,7
/proc/86667/task/86678/stat : 86678 (Finalizer) S 86664 86667 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76201679 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86685] ppid=86664 vsize=19063512 memory=21968 CPUtime=0 cores=5,7
/proc/86667/task/86685/stat : 86685 (Common-Cleaner) S 86664 86667 85745 0 -1 4194368 804 0 0 0 0 0 0 0 20 0 20 0 76201680 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86687] ppid=86664 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/86667/task/86687/stat : 86687 (Timer-0) S 86664 86667 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76201746 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
Current children cumulated CPU time: 3538.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2128252 KiB

[startup+3582.3 s]
/proc/loadavg: 3.16 3.40 3.77 4/314 87031
/proc/meminfo: memFree=121657464/131250000 swapFree=33010416/33010684
[pid=86667] ppid=86664 vsize=19063512 memory=2128252 CPUtime=3598.34 cores=5,7
/proc/86667/stat : 86667 (java) S 86664 86667 85745 0 -1 4194304 100361 0 0 0 359671 163 0 0 20 0 20 0 76201676 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
/proc/86667/statm: 4765878 532063 5560 1 0 544225 0
[pid=86667/tid=86669] ppid=86664 vsize=19063512 memory=18816 CPUtime=3551.29 cores=5,7
/proc/86667/task/86669/stat : 86669 (java) R 86664 86667 85745 0 -1 4194368 46596 0 0 0 355096 33 0 0 20 0 20 0 76201677 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86678] ppid=86664 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/86667/task/86678/stat : 86678 (Finalizer) S 86664 86667 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76201679 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86685] ppid=86664 vsize=19063512 memory=18816 CPUtime=0 cores=5,7
/proc/86667/task/86685/stat : 86685 (Common-Cleaner) S 86664 86667 85745 0 -1 4194368 808 0 0 0 0 0 0 0 20 0 20 0 76201680 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86687] ppid=86664 vsize=19063512 memory=21968 CPUtime=0 cores=5,7
/proc/86667/task/86687/stat : 86687 (Timer-0) S 86664 86667 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76201746 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
Current children cumulated CPU time: 3598.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2128252 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3583.9 s]
/proc/loadavg: 3.16 3.40 3.77 4/314 87031
/proc/meminfo: memFree=121657464/131250000 swapFree=33010416/33010684
[pid=86667] ppid=86664 vsize=19063512 memory=2128252 CPUtime=3600 cores=5,7
/proc/86667/stat : 86667 (java) S 86664 86667 85745 0 -1 4194304 100387 0 0 0 359837 163 0 0 20 0 20 0 76201676 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
/proc/86667/statm: 4765878 532063 5560 1 0 544225 0
[pid=86667/tid=86669] ppid=86664 vsize=19063512 memory=10880 CPUtime=3552.82 cores=5,7
/proc/86667/task/86669/stat : 86669 (java) R 86664 86667 85745 0 -1 4194368 46597 0 0 0 355249 33 0 0 20 0 20 0 76201677 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86678] ppid=86664 vsize=19063512 memory=2128252 CPUtime=0 cores=5,7
/proc/86667/task/86678/stat : 86678 (Finalizer) S 86664 86667 85745 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 76201679 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86685] ppid=86664 vsize=19063512 memory=18816 CPUtime=0 cores=5,7
/proc/86667/task/86685/stat : 86685 (Common-Cleaner) S 86664 86667 85745 0 -1 4194368 808 0 0 0 0 0 0 0 20 0 20 0 76201680 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
[pid=86667/tid=86687] ppid=86664 vsize=19063512 memory=2128252 CPUtime=0 cores=5,7
/proc/86667/task/86687/stat : 86687 (Timer-0) S 86664 86667 85745 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 76201746 19521036288 532063 18446744073709551615 93991504056320 93991504060016 140723288943328 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93991504067832 93991504068624 93991520542720 140723288951169 140723288951270 140723288951270 140723288956872 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2128252 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.5 s, system=1.64736 s

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

[startup+3584.01 s]*
/proc/loadavg: 3.16 3.40 3.77 5/293 87034
/proc/meminfo: memFree=123748220/131250000 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3584.01
CPU time (s): 3600.15
CPU user time (s): 3598.5
CPU system time (s): 1.64736
CPU usage (%): 100.45
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2168048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.5
system time used= 1.64736
maximum resident set size= 2168048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101628
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132767
involuntary context switches= 11117


# summary of solver processes directly reported to runsolver:
#   pid: 86667
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3598.5
#   total CPU system time (s): 1.64736

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.23495 second user time and 16.9319 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-04 07:00:18
IDJOB=4523754
IDBENCH=180371
IDSOLVER=3363
FILE ID=nodeC027/4523754-1751605218
RUNJOBID= nodeC027-1751598323-85762
SLURM_JOB_ID= 9598871
Free space on /tmp= 431168 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_16_label5_adversarial_norm_1.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523754-1751605218/watcher-4523754-1751605218 -o /tmp/evaluation-result-4523754-1751605218/solver-4523754-1751605218 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751598323-85762 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4523754-1751605218.opb

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

MD5SUM BENCH= f94de02fa01250a2017b0bd253a5fded
RANDOM SEED=139911336

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.633
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.656
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
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		: 3598.541
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
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		: 3564.586
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.631
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
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.307
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
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		: 3593.959
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
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		: 3599.844
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        121860076 kB
MemAvailable:   122196684 kB
Buffers:            2488 kB
Cached:          1135036 kB
SwapCached:           12 kB
Active:          8209148 kB
Inactive:         594492 kB
Active(anon):    7681384 kB
Inactive(anon):     2792 kB
Active(file):     527764 kB
Inactive(file):   591700 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3568 kB
Writeback:             4 kB
AnonPages:       7669228 kB
Mapped:           124524 kB
Shmem:             18056 kB
KReclaimable:     112368 kB
Slab:             202568 kB
SReclaimable:     112368 kB
SUnreclaim:        90200 kB
KernelStack:        5116 kB
PageTables:        18800 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    8949768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7407616 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431172 MiB
End job on nodeC027 at 2025-07-04 08:00:02