Trace number 4515318

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.51 3432.22

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-952987.0.d.opb
MD5SUMc2f3e0c6154609bf2d3178c0d208b6f5
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31248
Total number of constraints354
Number of constraints which are clauses177
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints177
Minimum length of a constraint168
Maximum length of a constraint343
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1050
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 27454
Number of bits of the biggest sum of numbers15
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.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/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.11/0.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4515318-1751235489.opb
0.11/0.14	c reading problem ... 
0.11/0.14	c  no objective function found
0.51/0.38	c ... done. Wall clock time 0.24s.
0.51/0.38	c declared #vars     31248
0.51/0.38	c #constraints  522
0.51/0.38	c constraints type 
0.51/0.38	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 345
0.51/0.38	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 177
0.51/0.38	c 522 constraints processed.
2.51/1.58	c cleaning 2457 clauses out of 5001 with flag 11181/5001
3.64/2.21	c cleaning 4257 clauses out of 8543 with flag 23389/11000
4.76/3.08	c cleaning 5624 clauses out of 11288 with flag 38218/18002
5.97/4.07	c cleaning 6822 clauses out of 13665 with flag 55136/26003
7.01/5.06	c cleaning 7874 clauses out of 15842 with flag 73929/35002
8.06/6.02	c cleaning 8925 clauses out of 17971 with flag 94789/45005
9.04/6.99	c cleaning 10002 clauses out of 20041 with flag 117320/56000
10.49/8.34	c cleaning 10938 clauses out of 22040 with flag 142717/68001
11.56/9.35	c cleaning 12003 clauses out of 24102 with flag 169321/81001
12.66/10.42	c cleaning 12972 clauses out of 26106 with flag 198095/95008
14.16/11.83	c cleaning 14020 clauses out of 28126 with flag 229243/110000
15.93/13.52	c cleaning 15043 clauses out of 30107 with flag 262767/126001
17.83/15.38	c cleaning 15982 clauses out of 32064 with flag 298617/143001
19.63/17.09	c cleaning 16964 clauses out of 34081 with flag 336494/161000
21.62/18.90	c cleaning 18052 clauses out of 36117 with flag 376237/180000
23.52/20.76	c cleaning 19013 clauses out of 38066 with flag 418097/200001
25.83/22.98	c cleaning 20001 clauses out of 40054 with flag 465001/221002
28.20/25.27	c cleaning 21004 clauses out of 42051 with flag 510832/243000
30.49/27.46	c cleaning 22021 clauses out of 44050 with flag 558781/266003
33.28/29.97	c cleaning 22995 clauses out of 46028 with flag 611710/290002
35.99/32.56	c cleaning 23955 clauses out of 48031 with flag 664249/315000
38.41/34.88	c cleaning 25007 clauses out of 50076 with flag 718051/341000
41.16/37.43	c cleaning 26025 clauses out of 52072 with flag 773929/368003
43.87/40.03	c cleaning 27018 clauses out of 54049 with flag 832229/396005
46.16/42.24	c cleaning 27929 clauses out of 56027 with flag 891874/425001
49.06/45.00	c cleaning 29023 clauses out of 58097 with flag 954444/455000
51.98/47.83	c cleaning 29999 clauses out of 60075 with flag 1018758/486001
55.07/50.85	c cleaning 30991 clauses out of 62075 with flag 1085241/518000
58.89/53.88	c cleaning 31977 clauses out of 64085 with flag 1153593/551001
62.20/57.09	c cleaning 32999 clauses out of 66108 with flag 1224618/585001
65.59/60.32	c cleaning 34033 clauses out of 68113 with flag 1297527/620005
69.25/63.70	c cleaning 34943 clauses out of 70075 with flag 1371975/656000
73.06/67.45	c cleaning 36014 clauses out of 72132 with flag 1449346/693000
76.90/71.18	c cleaning 37020 clauses out of 74118 with flag 1528715/731000
80.56/74.67	c cleaning 38003 clauses out of 76099 with flag 1609868/770001
84.18/78.15	c cleaning 38961 clauses out of 78095 with flag 1693093/810000
87.79/81.63	c cleaning 40015 clauses out of 80134 with flag 1777214/851000
91.81/85.54	c cleaning 41035 clauses out of 82119 with flag 1865107/893000
95.84/89.49	c cleaning 41930 clauses out of 84084 with flag 1954310/936000
99.85/93.33	c cleaning 43047 clauses out of 86168 with flag 2045624/980014
104.03/97.36	c cleaning 43991 clauses out of 88110 with flag 2139486/1025003
109.16/101.50	c cleaning 45032 clauses out of 90116 with flag 2235173/1071000
113.19/105.49	c cleaning 45998 clauses out of 92085 with flag 2332747/1118001
118.07/110.15	c cleaning 47011 clauses out of 94087 with flag 2432580/1166001
122.60/114.58	c cleaning 48038 clauses out of 96075 with flag 2534449/1215000
127.23/119.07	c cleaning 48992 clauses out of 98038 with flag 2638309/1265001
132.38/124.07	c cleaning 49963 clauses out of 100047 with flag 2744863/1316002
138.52/129.74	c cleaning 50990 clauses out of 102082 with flag 2854447/1368000
143.53/134.64	c cleaning 51974 clauses out of 104092 with flag 2964302/1421000
149.47/140.20	c cleaning 53005 clauses out of 106119 with flag 3076740/1475001
155.95/145.67	c cleaning 54019 clauses out of 108118 with flag 3191773/1530005
161.46/151.06	c cleaning 55018 clauses out of 110100 with flag 3308575/1586006
167.41/156.68	c cleaning 55974 clauses out of 112078 with flag 3427143/1643002
173.00/162.02	c cleaning 57033 clauses out of 114103 with flag 3547935/1701001
178.64/167.39	c cleaning 57945 clauses out of 116072 with flag 3669234/1760003
185.28/173.63	c cleaning 59025 clauses out of 118127 with flag 3794913/1820003
191.23/179.45	c cleaning 59980 clauses out of 120099 with flag 3921392/1881000
197.63/185.52	c cleaning 61052 clauses out of 122121 with flag 4050276/1943002
204.38/191.90	c cleaning 61982 clauses out of 124071 with flag 4181468/2006004
211.43/198.64	c cleaning 62966 clauses out of 126086 with flag 4317233/2070001
217.95/204.85	c cleaning 64059 clauses out of 128119 with flag 4452750/2135000
224.30/210.84	c cleaning 64965 clauses out of 130060 with flag 4589734/2201000
231.27/217.54	c cleaning 65986 clauses out of 132095 with flag 4731044/2268000
238.47/224.46	c cleaning 67012 clauses out of 134110 with flag 4874135/2336001
245.67/230.45	c cleaning 68033 clauses out of 136097 with flag 5016507/2405000
252.78/237.26	c cleaning 68970 clauses out of 138064 with flag 5162268/2475000
260.21/244.32	c cleaning 69976 clauses out of 140094 with flag 5310593/2546000
267.36/251.18	c cleaning 71044 clauses out of 142120 with flag 5459530/2618002
274.94/258.35	c cleaning 71964 clauses out of 144076 with flag 5611637/2691002
282.64/265.61	c cleaning 72945 clauses out of 146113 with flag 5766042/2765003
289.61/272.40	c cleaning 73990 clauses out of 148165 with flag 5922610/2840000
297.07/279.63	c cleaning 74991 clauses out of 150175 with flag 6080898/2916000
304.47/286.78	c cleaning 76035 clauses out of 152191 with flag 6240911/2993007
312.08/294.02	c cleaning 77059 clauses out of 154149 with flag 6403208/3071000
319.39/301.08	c cleaning 77943 clauses out of 156096 with flag 6566452/3150006
327.22/308.58	c cleaning 79020 clauses out of 158148 with flag 6732739/3230001
335.44/316.48	c cleaning 80061 clauses out of 160132 with flag 6901810/3311005
343.35/324.07	c cleaning 80957 clauses out of 162066 with flag 7071317/3393000
351.68/332.04	c cleaning 81978 clauses out of 164111 with flag 7243850/3476002
359.71/339.70	c cleaning 82966 clauses out of 166131 with flag 7418205/3560000
368.04/347.74	c cleaning 84049 clauses out of 168166 with flag 7595703/3645001
377.18/356.35	c cleaning 84941 clauses out of 170116 with flag 7775215/3731000
387.59/365.19	c cleaning 86032 clauses out of 172176 with flag 7956716/3818001
396.99/373.70	c cleaning 86946 clauses out of 174148 with flag 8139844/3906005
407.40/383.62	c cleaning 88007 clauses out of 176197 with flag 8324318/3995000
416.68/392.68	c cleaning 89008 clauses out of 178191 with flag 8508824/4085001
425.78/401.51	c cleaning 90030 clauses out of 180182 with flag 8699143/4176000
435.02/410.35	c cleaning 91010 clauses out of 182152 with flag 8890822/4268000
444.39/419.17	c cleaning 92033 clauses out of 184142 with flag 9083792/4361000
453.45/427.95	c cleaning 93017 clauses out of 186109 with flag 9279675/4455000
463.67/437.72	c cleaning 93962 clauses out of 188095 with flag 9478551/4550003
474.06/447.62	c cleaning 95065 clauses out of 190132 with flag 9679106/4646002
483.83/457.12	c cleaning 95947 clauses out of 192067 with flag 9881131/4743002
493.46/466.30	c cleaning 97049 clauses out of 194124 with flag 10084872/4841006
502.58/475.23	c cleaning 97983 clauses out of 196070 with flag 10291492/4940001
513.38/485.62	c cleaning 98991 clauses out of 198091 with flag 10501056/5040005
523.86/495.57	c cleaning 99970 clauses out of 200095 with flag 10711162/5141000
533.75/504.92	c cleaning 101024 clauses out of 202125 with flag 10922711/5243000
543.18/514.14	c cleaning 102016 clauses out of 204101 with flag 11136637/5346000
555.95/526.45	c cleaning 103037 clauses out of 206085 with flag 11348541/5450000
566.52/536.41	c cleaning 103961 clauses out of 208049 with flag 11566855/5555001
576.20/545.85	c cleaning 104988 clauses out of 210087 with flag 11787410/5661000
586.29/555.44	c cleaning 106054 clauses out of 212109 with flag 12009439/5768010
597.39/566.01	c cleaning 106904 clauses out of 214047 with flag 12235466/5876002
611.56/577.68	c cleaning 107985 clauses out of 216142 with flag 12464595/5985001
622.39/588.22	c cleaning 109044 clauses out of 218162 with flag 12693111/6095006
632.79/598.17	c cleaning 109941 clauses out of 220121 with flag 12923025/6206009
643.64/608.72	c cleaning 111000 clauses out of 222180 with flag 13156347/6318009
654.55/619.19	c cleaning 112000 clauses out of 224171 with flag 13391539/6431000
665.99/629.92	c cleaning 113079 clauses out of 226171 with flag 13628264/6545000
676.97/640.55	c cleaning 114011 clauses out of 228092 with flag 13868332/6660000
688.54/651.51	c cleaning 114942 clauses out of 230082 with flag 14115802/6776001
699.93/662.60	c cleaning 116002 clauses out of 232139 with flag 14365887/6893000
711.72/673.93	c cleaning 116986 clauses out of 234137 with flag 14611302/7011000
723.88/685.50	c cleaning 118059 clauses out of 236151 with flag 14858428/7130000
735.66/697.00	c cleaning 119032 clauses out of 238092 with flag 15109385/7250000
747.44/708.34	c cleaning 119994 clauses out of 240069 with flag 15363109/7371009
760.20/720.57	c cleaning 120960 clauses out of 242066 with flag 15617180/7493000
772.36/732.41	c cleaning 122023 clauses out of 244107 with flag 15878310/7616001
785.65/745.20	c cleaning 122954 clauses out of 246089 with flag 16133786/7740006
797.99/757.08	c cleaning 124006 clauses out of 248130 with flag 16393335/7865001
810.89/769.33	c cleaning 125033 clauses out of 250123 with flag 16655255/7991000
823.37/781.55	c cleaning 125952 clauses out of 252090 with flag 16919565/8118000
836.73/794.41	c cleaning 127004 clauses out of 254138 with flag 17187409/8246000
849.60/806.70	c cleaning 127985 clauses out of 256134 with flag 17455261/8375000
864.13/819.17	c cleaning 129076 clauses out of 258153 with flag 17724566/8505004
894.93/848.74	c cleaning 129937 clauses out of 260075 with flag 17988333/8636002
935.11/888.59	c cleaning 131010 clauses out of 262136 with flag 18252329/8768000
977.15/930.23	c cleaning 132013 clauses out of 264127 with flag 18518331/8901001
1019.14/971.40	c cleaning 133002 clauses out of 266113 with flag 18786330/9035000
1059.12/1011.07	c cleaning 134005 clauses out of 268112 with flag 19056332/9170001
1105.04/1056.69	c cleaning 135000 clauses out of 270108 with flag 19328339/9306002
1153.60/1104.81	c cleaning 135996 clauses out of 272106 with flag 19602337/9443000
1205.19/1156.27	c cleaning 136999 clauses out of 274110 with flag 19878337/9581000
1249.88/1200.28	c cleaning 137990 clauses out of 276111 with flag 20159249/9720000
1265.05/1214.71	c cleaning 139000 clauses out of 278122 with flag 20450229/9860001
1279.19/1228.22	c cleaning 139972 clauses out of 280121 with flag 20743078/10001000
1292.69/1241.44	c cleaning 141072 clauses out of 282149 with flag 21037052/10143000
1308.42/1256.31	c cleaning 141963 clauses out of 284077 with flag 21335310/10286000
1323.29/1270.52	c cleaning 143016 clauses out of 286115 with flag 21635753/10430001
1339.73/1285.53	c cleaning 144028 clauses out of 288099 with flag 21939895/10575001
1357.72/1300.75	c cleaning 145012 clauses out of 290070 with flag 22244760/10721000
1373.65/1316.09	c cleaning 146017 clauses out of 292059 with flag 22551919/10868001
1388.58/1330.31	c cleaning 146886 clauses out of 294042 with flag 22858989/11016001
1403.62/1344.78	c cleaning 148027 clauses out of 296156 with flag 23168543/11165001
1419.44/1359.97	c cleaning 149029 clauses out of 298128 with flag 23481714/11315000
1435.00/1374.95	c cleaning 149980 clauses out of 300099 with flag 23796515/11466000
1450.65/1390.02	c cleaning 151014 clauses out of 302120 with flag 24112501/11618001
1466.43/1405.37	c cleaning 152013 clauses out of 304111 with flag 24430341/11771006
1482.39/1420.82	c cleaning 153026 clauses out of 306092 with flag 24751266/11925000
1503.39/1441.42	c cleaning 153929 clauses out of 308067 with flag 25067126/12080001
1547.35/1484.73	c cleaning 154995 clauses out of 310138 with flag 25379126/12236001
1591.70/1528.76	c cleaning 155993 clauses out of 312143 with flag 25693126/12393001
1635.61/1572.37	c cleaning 157000 clauses out of 314150 with flag 26009126/12551001
1682.63/1618.69	c cleaning 158000 clauses out of 316149 with flag 26327124/12710000
1726.02/1659.25	c cleaning 158998 clauses out of 318149 with flag 26647126/12870000
1745.62/1678.12	c cleaning 160038 clauses out of 320152 with flag 26979124/13031001
1761.04/1693.03	c cleaning 160993 clauses out of 322114 with flag 27314094/13193001
1778.42/1709.54	c cleaning 162019 clauses out of 324125 with flag 27654211/13356005
1795.07/1725.43	c cleaning 162976 clauses out of 326102 with flag 28000908/13520001
1811.09/1740.82	c cleaning 164024 clauses out of 328126 with flag 28341467/13685001
1828.11/1757.39	c cleaning 165012 clauses out of 330105 with flag 28687044/13851004
1845.27/1773.69	c cleaning 165984 clauses out of 332089 with flag 29033023/14018000
1862.80/1790.51	c cleaning 166975 clauses out of 334106 with flag 29385305/14186001
1881.24/1808.48	c cleaning 168003 clauses out of 336130 with flag 29732138/14355000
1897.80/1824.42	c cleaning 169063 clauses out of 338127 with flag 30083811/14525000
1915.98/1841.78	c cleaning 169978 clauses out of 340064 with flag 30441023/14696000
1932.95/1858.09	c cleaning 170951 clauses out of 342086 with flag 30798043/14868000
1953.43/1875.59	c cleaning 172024 clauses out of 344136 with flag 31159353/15041001
1971.80/1893.08	c cleaning 172937 clauses out of 346111 with flag 31520864/15215000
1990.21/1910.84	c cleaning 174080 clauses out of 348181 with flag 31891409/15390007
2008.98/1928.64	c cleaning 175009 clauses out of 350100 with flag 32258613/15566006
2027.96/1947.03	c cleaning 175945 clauses out of 352088 with flag 32629106/15743003
2045.98/1964.22	c cleaning 177013 clauses out of 354141 with flag 32998237/15921001
2064.17/1981.80	c cleaning 178010 clauses out of 356128 with flag 33371374/16100001
2082.55/1999.36	c cleaning 179024 clauses out of 358118 with flag 33744794/16280001
2113.69/2029.85	c cleaning 179967 clauses out of 360094 with flag 34114148/16461001
2137.60/2053.02	c cleaning 181044 clauses out of 362128 with flag 34492429/16643002
2156.63/2071.17	c cleaning 181990 clauses out of 364082 with flag 34878730/16826000
2178.88/2089.31	c cleaning 183045 clauses out of 366092 with flag 35261886/17010000
2199.97/2109.86	c cleaning 183965 clauses out of 368047 with flag 35651095/17195000
2219.21/2128.19	c cleaning 185025 clauses out of 370088 with flag 36038904/17381006
2239.97/2148.25	c cleaning 185997 clauses out of 372058 with flag 36426580/17568001
2259.25/2166.56	c cleaning 186961 clauses out of 374062 with flag 36816523/17756002
2279.01/2185.31	c cleaning 187963 clauses out of 376102 with flag 37211543/17945003
2298.29/2203.95	c cleaning 189030 clauses out of 378136 with flag 37606358/18135000
2318.34/2223.12	c cleaning 189955 clauses out of 380106 with flag 38004203/18326000
2339.07/2242.90	c cleaning 190990 clauses out of 382158 with flag 38405334/18518007
2358.41/2261.60	c cleaning 191994 clauses out of 384163 with flag 38808172/18711002
2382.48/2281.28	c cleaning 193068 clauses out of 386167 with flag 39213166/18905000
2402.96/2300.60	c cleaning 193952 clauses out of 388099 with flag 39618325/19100000
2423.39/2320.45	c cleaning 195022 clauses out of 390154 with flag 40026731/19296007
2443.44/2339.64	c cleaning 195970 clauses out of 392125 with flag 40435549/19493000
2464.28/2359.56	c cleaning 197052 clauses out of 394157 with flag 40847364/19691002
2484.86/2379.09	c cleaning 197919 clauses out of 396104 with flag 41260271/19890001
2505.60/2399.11	c cleaning 199010 clauses out of 398186 with flag 41674338/20090002
2525.33/2418.06	c cleaning 200038 clauses out of 400175 with flag 42090710/20291001
2546.04/2437.83	c cleaning 201062 clauses out of 402139 with flag 42512605/20493003
2568.47/2457.70	c cleaning 202030 clauses out of 404083 with flag 42934296/20696009
2592.25/2477.98	c cleaning 202943 clauses out of 406044 with flag 43359583/20900000
2612.53/2497.57	c cleaning 204010 clauses out of 408101 with flag 43785276/21105000
2633.87/2518.00	c cleaning 204957 clauses out of 410092 with flag 44214728/21311001
2681.80/2565.44	c cleaning 205946 clauses out of 412134 with flag 44632949/21518000
2704.13/2586.79	c cleaning 207087 clauses out of 414189 with flag 45068272/21726001
2724.37/2606.16	c cleaning 207926 clauses out of 416102 with flag 45501478/21935001
2745.34/2626.18	c cleaning 208997 clauses out of 418175 with flag 45941832/22145000
2766.82/2646.64	c cleaning 209981 clauses out of 420185 with flag 46380003/22356007
2793.09/2668.34	c cleaning 211018 clauses out of 422198 with flag 46821807/22568001
2814.16/2688.71	c cleaning 212028 clauses out of 424180 with flag 47263988/22781001
2835.30/2709.06	c cleaning 212985 clauses out of 426152 with flag 47709167/22995001
2857.82/2730.61	c cleaning 214035 clauses out of 428167 with flag 48156032/23210001
2879.76/2751.77	c cleaning 215009 clauses out of 430140 with flag 48609737/23426009
2903.02/2774.17	c cleaning 216048 clauses out of 432122 with flag 49064667/23643000
2925.34/2795.69	c cleaning 217038 clauses out of 434075 with flag 49517424/23861001
2947.87/2817.35	c cleaning 218018 clauses out of 436039 with flag 49972678/24080003
2970.17/2838.83	c cleaning 218954 clauses out of 438018 with flag 50429941/24300000
2992.20/2860.02	c cleaning 219972 clauses out of 440064 with flag 50888822/24521000
3019.77/2883.63	c cleaning 220975 clauses out of 442095 with flag 51352724/24743003
3043.63/2906.46	c cleaning 222030 clauses out of 444117 with flag 51817011/24966000
3067.69/2929.37	c cleaning 223044 clauses out of 446088 with flag 52283408/25190001
3090.64/2951.39	c cleaning 223954 clauses out of 448048 with flag 52752133/25415005
3113.41/2973.12	c cleaning 224985 clauses out of 450092 with flag 53223316/25641003
3142.35/3001.11	c cleaning 225930 clauses out of 452105 with flag 53690025/25868001
3166.73/3024.40	c cleaning 227028 clauses out of 454176 with flag 54166024/26096002
3190.75/3047.51	c cleaning 227992 clauses out of 456147 with flag 54641587/26325001
3217.13/3070.03	c cleaning 229046 clauses out of 458163 with flag 55118468/26555009
3242.56/3094.24	c cleaning 229987 clauses out of 460112 with flag 55599807/26786004
3267.86/3118.38	c cleaning 231059 clauses out of 462129 with flag 56081955/27018008
3292.89/3142.46	c cleaning 231971 clauses out of 464062 with flag 56567510/27251000
3317.26/3165.91	c cleaning 232944 clauses out of 466093 with flag 57054113/27485002
3342.38/3189.81	c cleaning 233989 clauses out of 468147 with flag 57543813/27720000
3367.65/3214.11	c cleaning 235079 clauses out of 470159 with flag 58035712/27956001
3393.11/3238.71	c cleaning 235970 clauses out of 472079 with flag 58529721/28193000
3421.98/3263.41	c cleaning 236928 clauses out of 474109 with flag 59024783/28431000
3446.82/3287.21	c cleaning 238049 clauses out of 476184 with flag 59521695/28670003
3472.70/3312.02	c cleaning 239041 clauses out of 478133 with flag 60021033/28910001
3498.06/3336.22	c cleaning 239990 clauses out of 480091 with flag 60522113/29151000
3521.75/3358.95	c cleaning 240998 clauses out of 482103 with flag 61029469/29393002
3545.83/3382.11	c cleaning 242011 clauses out of 484103 with flag 61535774/29636000
3570.45/3405.69	c cleaning 243022 clauses out of 486092 with flag 62043275/29880000
3600.19/3432.05	c starts		: 33754
3600.19/3432.05	c conflicts		: 30099067
3600.19/3432.06	c decisions		: 722746990
3600.19/3432.06	c propagations		: 1420261315
3600.19/3432.06	c inspects		: 6033910226
3600.19/3432.06	c shortcuts		: 0
3600.19/3432.06	c learnt literals	: 0
3600.19/3432.06	c learnt binary clauses	: 0
3600.19/3432.06	c learnt ternary clauses	: 0
3600.19/3432.06	c learnt constraints	: 30099068
3600.19/3432.06	c ignored constraints	: 0
3600.19/3432.06	c root simplifications	: 0
3600.19/3432.06	c removed literals (reason simplification)	: 54192894
3600.19/3432.06	c reason swapping (by a shorter reason)	: 0
3600.19/3432.06	c Calls to reduceDB	: 240
3600.19/3432.06	c Number of update (reduction) of LBD	: 690979
3600.19/3432.06	c Imported unit clauses	: 0
3600.19/3432.06	c No decision after first conflict	: false
3600.19/3432.06	c number of reductions to clauses (during analyze)	: 0
3600.19/3432.06	c number of learned constraints concerned by reduction	: 0
3600.19/3432.06	c number of learning phase by resolution	: 0
3600.19/3432.06	c number of learning phase by cutting planes	: 0
3600.19/3432.06	c number of rounding to 1 operations	: 0
3600.19/3432.06	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.19/3432.06	c number of reductions of the coefficients by power 2 	: 0
3600.19/3432.06	c number of right shift for reduction by power 2 	: 0
3600.19/3432.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.19/3432.06	c number of ending skipping 	: 0
3600.19/3432.06	c number of internal skipping 	: 0
3600.19/3432.06	c number of derivation steps 	: 0
3600.19/3432.06	c number of skipped derivation steps 	: 0
3600.19/3432.06	c number of remaining unassigned 	: 0
3600.19/3432.06	c number of remaining assigned 	: 0
3600.19/3432.06	c number of falsified literals weakened from reason	: 0
3600.19/3432.06	c number of falsified literals weakened from conflict	: 0
3600.19/3432.06	c time for arithmetic operations	: 0
3600.19/3432.07	c minimum degree of deleted constraints	: null
3600.19/3432.07	c maximum degree of deleted constraints	: null
3600.19/3432.07	c number of deleted constraints	: 0
3600.19/3432.07	c speed (assignments/second)	: 413868.48776092596
3600.19/3432.07	c non guided choices	: 145512016
3600.19/3432.08	c timeout
3600.39/3432.14	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 462138
3600.39/3432.14	s UNKNOWN
3600.39/3432.14	c Total wall clock time (in seconds): 3432.002

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62083 MiB free)
  memory of node 1: 64465 MiB (62784 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515318-1751235489/watcher-4515318-1751235489 -o /tmp/evaluation-result-4515318-1751235489/solver-4515318-1751235489 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751235489-32354 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4515318-1751235489.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
solver pid=32400, runsolver pid=32392
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 1.13 1.59 2.62 11/334 32478
/proc/meminfo: memFree=127779000/131249996 swapFree=33010684/33010684
[pid=32400] ppid=32392 vsize=18930384 memory=55336 CPUtime=0.11 cores=5,7
/proc/32400/stat : 32400 (java) S 32392 32400 29257 0 -1 4194304 6518 0 0 0 9 2 0 0 20 0 18 0 39226822 19384713216 13834 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
/proc/32400/statm: 4732596 13834 5316 1 0 547579 0
[pid=32400/tid=32421] ppid=32392 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=5,7
/proc/32400/task/32421/stat : 32421 (java) R 32392 32400 29257 0 -1 4194368 5021 0 0 0 5 1 0 0 20 0 18 0 39226824 19384713216 13866 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32440] ppid=32392 vsize=18930384 memory=16099 CPUtime=0 cores=5,7
/proc/32400/task/32440/stat : 32440 (Finalizer) S 32392 32400 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39226826 19384713216 13866 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32450] ppid=32392 vsize=18930384 memory=57385981051877 CPUtime=0 cores=5,7
/proc/32400/task/32450/stat : 32450 (Common-Cleaner) S 32392 32400 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39226827 19384713216 13866 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55336 KiB

[startup+0.205801 s]*
/proc/loadavg: 1.13 1.59 2.62 10/334 32478
/proc/meminfo: memFree=127723140/131249996 swapFree=33010684/33010684
[pid=32400] ppid=32392 vsize=18930384 memory=70796 CPUtime=0.3 cores=5,7
/proc/32400/stat : 32400 (java) S 32392 32400 29257 0 -1 4194304 7184 0 0 0 28 2 0 0 20 0 18 0 39226822 19384713216 17699 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
/proc/32400/statm: 4732596 17699 5444 1 0 548097 0
[pid=32400/tid=32421] ppid=32392 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/32400/task/32421/stat : 32421 (java) R 32392 32400 29257 0 -1 4194368 5255 0 0 0 15 2 0 0 20 0 18 0 39226824 19384713216 17699 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32440] ppid=32392 vsize=18930384 memory=16099 CPUtime=0 cores=5,7
/proc/32400/task/32440/stat : 32440 (Finalizer) S 32392 32400 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39226826 19384713216 17699 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32450] ppid=32392 vsize=18930384 memory=57385981051877 CPUtime=0 cores=5,7
/proc/32400/task/32450/stat : 32450 (Common-Cleaner) S 32392 32400 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39226827 19384713216 17699 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 70796 KiB

[startup+0.305809 s]*
/proc/loadavg: 1.76 1.71 2.65 9/336 32480
/proc/meminfo: memFree=127513996/131249996 swapFree=33010684/33010684
[pid=32400] ppid=32392 vsize=18930384 memory=108880 CPUtime=0.51 cores=5,7
/proc/32400/stat : 32400 (java) S 32392 32400 29257 0 -1 4194304 9420 0 0 0 47 4 0 0 20 0 18 0 39226822 19384713216 27220 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
/proc/32400/statm: 4732596 27220 5444 1 0 549372 0
[pid=32400/tid=32421] ppid=32392 vsize=18930384 memory=-6000919489886448236 CPUtime=0.25 cores=5,7
/proc/32400/task/32421/stat : 32421 (java) R 32392 32400 29257 0 -1 4194368 5289 0 0 0 23 2 0 0 20 0 18 0 39226824 19384713216 27220 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32440] ppid=32392 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/32400/task/32440/stat : 32440 (Finalizer) S 32392 32400 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39226826 19384713216 27220 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32450] ppid=32392 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/32400/task/32450/stat : 32450 (Common-Cleaner) S 32392 32400 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39226827 19384713216 27220 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 108880 KiB

[startup+0.700237 s]
/proc/loadavg: 1.76 1.71 2.65 9/339 32483
/proc/meminfo: memFree=127093964/131249996 swapFree=33010684/33010684
[pid=32400] ppid=32392 vsize=18996948 memory=157232 CPUtime=1.27 cores=5,7
/proc/32400/stat : 32400 (java) S 32392 32400 29257 0 -1 4194304 15073 0 0 0 121 6 0 0 20 0 19 0 39226822 19452874752 39308 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
/proc/32400/statm: 4749237 39308 5444 1 0 551959 0
[pid=32400/tid=32421] ppid=32392 vsize=18996948 memory=17536 CPUtime=0.58 cores=5,7
/proc/32400/task/32421/stat : 32421 (java) R 32392 32400 29257 0 -1 4194368 5337 0 0 0 55 3 0 0 20 0 19 0 39226824 19452874752 39308 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32440] ppid=32392 vsize=18996948 memory=10880 CPUtime=0 cores=5,7
/proc/32400/task/32440/stat : 32440 (Finalizer) S 32392 32400 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39226826 19452874752 39308 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32450] ppid=32392 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/32400/task/32450/stat : 32450 (Common-Cleaner) S 32392 32400 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39226827 19452874752 39308 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32481] ppid=32392 vsize=18996948 memory=4752 CPUtime=0 cores=5,7
/proc/32400/task/32481/stat : 32481 (Timer-0) S 32392 32400 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39226862 19452874752 39308 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 157232 KiB

[startup+1.50025 s]
/proc/loadavg: 1.76 1.71 2.65 10/341 32485
/proc/meminfo: memFree=126220804/131249996 swapFree=33010684/33010684
[pid=32400] ppid=32392 vsize=19063512 memory=191024 CPUtime=2.51 cores=5,7
/proc/32400/stat : 32400 (java) S 32392 32400 29257 0 -1 4194304 16711 0 0 0 244 7 0 0 20 0 20 0 39226822 19521036288 47756 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
/proc/32400/statm: 4765878 47756 5476 1 0 553313 0
[pid=32400/tid=32421] ppid=32392 vsize=19063512 memory=10880 CPUtime=1.36 cores=5,7
/proc/32400/task/32421/stat : 32421 (java) R 32392 32400 29257 0 -1 4194368 5348 0 0 0 132 4 0 0 20 0 20 0 39226824 19521036288 47756 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32440] ppid=32392 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/32400/task/32440/stat : 32440 (Finalizer) S 32392 32400 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39226826 19521036288 47756 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32450] ppid=32392 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/32400/task/32450/stat : 32450 (Common-Cleaner) S 32392 32400 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39226827 19521036288 47756 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32481] ppid=32392 vsize=19063512 memory=4752 CPUtime=0 cores=5,7
/proc/32400/task/32481/stat : 32481 (Timer-0) S 32392 32400 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39226862 19521036288 47756 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
Current children cumulated CPU time: 2.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191024 KiB

[startup+3.10575 s]
/proc/loadavg: 1.76 1.71 2.65 6/342 32486
/proc/meminfo: memFree=125682964/131249996 swapFree=33010684/33010684
[pid=32400] ppid=32392 vsize=19063512 memory=278120 CPUtime=4.97 cores=5,7
/proc/32400/stat : 32400 (java) S 32392 32400 29257 0 -1 4194304 20848 0 0 0 487 10 0 0 20 0 20 0 39226822 19521036288 69530 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
/proc/32400/statm: 4765878 69530 5508 1 0 553375 0
[pid=32400/tid=32421] ppid=32392 vsize=19063512 memory=10880 CPUtime=2.84 cores=5,7
/proc/32400/task/32421/stat : 32421 (java) R 32392 32400 29257 0 -1 4194368 5774 0 0 0 280 4 0 0 20 0 20 0 39226824 19521036288 69530 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32440] ppid=32392 vsize=19063512 memory=-6000919498409339500 CPUtime=0 cores=5,7
/proc/32400/task/32440/stat : 32440 (Finalizer) S 32392 32400 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39226826 19521036288 69530 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32450] ppid=32392 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/32400/task/32450/stat : 32450 (Common-Cleaner) S 32392 32400 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39226827 19521036288 69530 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32481] ppid=32392 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/32400/task/32481/stat : 32481 (Timer-0) S 32392 32400 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39226862 19521036288 69530 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
Current children cumulated CPU time: 4.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 278120 KiB

[startup+6.30021 s]
/proc/loadavg: 1.94 1.75 2.66 5/342 32486
/proc/meminfo: memFree=125318260/131249996 swapFree=33010684/33010684
[pid=32400] ppid=32392 vsize=19063512 memory=561864 CPUtime=8.36 cores=5,7
/proc/32400/stat : 32400 (java) S 32392 32400 29257 0 -1 4194304 23105 0 0 0 821 15 0 0 20 0 20 0 39226822 19521036288 140466 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
/proc/32400/statm: 4765878 140466 5508 1 0 716296 0
[pid=32400/tid=32421] ppid=32392 vsize=19063512 memory=0 CPUtime=5.85 cores=5,7
/proc/32400/task/32421/stat : 32421 (java) R 32392 32400 29257 0 -1 4194368 6261 0 0 0 579 6 0 0 20 0 20 0 39226824 19521036288 140466 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32440] ppid=32392 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/32400/task/32440/stat : 32440 (Finalizer) S 32392 32400 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39226826 19521036288 140466 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32450] ppid=32392 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/32400/task/32450/stat : 32450 (Common-Cleaner) S 32392 32400 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39226827 19521036288 140466 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32481] ppid=32392 vsize=19063512 memory=191408 CPUtime=0 cores=5,7
/proc/32400/task/32481/stat : 32481 (Timer-0) S 32392 32400 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39226862 19521036288 140466 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
Current children cumulated CPU time: 8.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 561864 KiB

[startup+12.7002 s]
/proc/loadavg: 2.10 1.79 2.67 5/342 32486
/proc/meminfo: memFree=124294624/131249996 swapFree=33010684/33010684
[pid=32400] ppid=32392 vsize=19063512 memory=1201820 CPUtime=15.14 cores=5,7
/proc/32400/stat : 32400 (java) S 32392 32400 29257 0 -1 4194304 24577 0 0 0 1484 30 0 0 20 0 20 0 39226822 19521036288 300455 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
/proc/32400/statm: 4765878 300455 5508 1 0 1012923 0
[pid=32400/tid=32421] ppid=32392 vsize=19063512 memory=191408 CPUtime=11.82 cores=5,7
/proc/32400/task/32421/stat : 32421 (java) R 32392 32400 29257 0 -1 4194368 6420 0 0 0 1172 10 0 0 20 0 20 0 39226824 19521036288 300455 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32440] ppid=32392 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/32400/task/32440/stat : 32440 (Finalizer) S 32392 32400 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39226826 19521036288 300455 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32450] ppid=32392 vsize=19063512 memory=-6000919498409339500 CPUtime=0 cores=5,7
/proc/32400/task/32450/stat : 32450 (Common-Cleaner) S 32392 32400 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39226827 19521036288 300455 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32481] ppid=32392 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/32400/task/32481/stat : 32481 (Timer-0) S 32392 32400 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39226862 19521036288 300455 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
Current children cumulated CPU time: 15.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1201820 KiB

[startup+25.5002 s]
/proc/loadavg: 2.40 1.86 2.68 5/343 32487
/proc/meminfo: memFree=122015056/131249996 swapFree=33010684/33010684
[pid=32400] ppid=32392 vsize=19063512 memory=2310448 CPUtime=28.59 cores=5,7
/proc/32400/stat : 32400 (java) S 32392 32400 29257 0 -1 4194304 30234 0 0 0 2807 52 0 0 20 0 20 0 39226822 19521036288 577612 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
/proc/32400/statm: 4765878 577612 5508 1 0 1297014 0
[pid=32400/tid=32421] ppid=32392 vsize=19063512 memory=0 CPUtime=23.93 cores=5,7
/proc/32400/task/32421/stat : 32421 (java) S 32392 32400 29257 0 -1 4194368 7793 0 0 0 2377 16 0 0 20 0 20 0 39226824 19521036288 577612 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32440] ppid=32392 vsize=19063512 memory=1672416 CPUtime=0 cores=5,7
/proc/32400/task/32440/stat : 32440 (Finalizer) S 32392 32400 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39226826 19521036288 577612 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32450] ppid=32392 vsize=19063512 memory=10880 CPUtime=0 cores=5,7
/proc/32400/task/32450/stat : 32450 (Common-Cleaner) S 32392 32400 29257 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39226827 19521036288 577612 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32481] ppid=32392 vsize=19063512 memory=-6000919498409339500 CPUtime=0 cores=5,7
/proc/32400/task/32481/stat : 32481 (Timer-0) S 32392 32400 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39226862 19521036288 577612 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
Current children cumulated CPU time: 28.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2310448 KiB

[startup+51.1057 s]
/proc/loadavg: 3.14 2.10 2.74 4/322 32622
/proc/meminfo: memFree=118494564/131249996 swapFree=33010684/33010684
[pid=32400] ppid=32392 vsize=19063512 memory=3833404 CPUtime=55.38 cores=5,7
/proc/32400/stat : 32400 (java) S 32392 32400 29257 0 -1 4194304 35944 0 0 0 5455 83 0 0 20 0 20 0 39226822 19521036288 958351 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
/proc/32400/statm: 4765878 958351 5508 1 0 1409828 0
[pid=32400/tid=32421] ppid=32392 vsize=19063512 memory=14156 CPUtime=48.19 cores=5,7
/proc/32400/task/32421/stat : 32421 (java) R 32392 32400 29257 0 -1 4194368 9232 0 0 0 4798 21 0 0 20 0 20 0 39226824 19521036288 958351 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32440] ppid=32392 vsize=19063512 memory=14156 CPUtime=0 cores=5,7
/proc/32400/task/32440/stat : 32440 (Finalizer) S 32392 32400 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39226826 19521036288 958351 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32450] ppid=32392 vsize=19063512 memory=3714604 CPUtime=0 cores=5,7

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

/proc/32400/task/32440/stat : 32440 (Finalizer) S 32392 32400 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39226826 19521036288 3693052 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32450] ppid=32392 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/32400/task/32450/stat : 32450 (Common-Cleaner) S 32392 32400 29257 0 -1 4194368 1604 0 0 0 0 0 0 0 20 0 20 0 39226827 19521036288 3693052 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32481] ppid=32392 vsize=19063512 memory=14772208 CPUtime=0 cores=5,7
/proc/32400/task/32481/stat : 32481 (Timer-0) S 32392 32400 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39226862 19521036288 3693052 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
Current children cumulated CPU time: 3185.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14772208 KiB

[startup+3102.3 s]
/proc/loadavg: 4.63 4.41 4.30 5/339 33177
/proc/meminfo: memFree=75299552/131249996 swapFree=33010684/33010684
[pid=32400] ppid=32392 vsize=19063512 memory=14772720 CPUtime=3250.95 cores=5,7
/proc/32400/stat : 32400 (java) S 32392 32400 29257 0 -1 4194304 366516 0 0 0 324627 468 0 0 20 0 20 0 39226822 19521036288 3693180 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
/proc/32400/statm: 4765878 3693180 5508 1 0 4086329 0
[pid=32400/tid=32421] ppid=32392 vsize=19063512 memory=4752 CPUtime=2974.26 cores=5,7
/proc/32400/task/32421/stat : 32421 (java) R 32392 32400 29257 0 -1 4194368 200122 0 0 0 297318 108 0 0 20 0 20 0 39226824 19521036288 3693180 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32440] ppid=32392 vsize=19063512 memory=14772720 CPUtime=0 cores=5,7
/proc/32400/task/32440/stat : 32440 (Finalizer) S 32392 32400 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39226826 19521036288 3693180 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32450] ppid=32392 vsize=19063512 memory=14772720 CPUtime=0 cores=5,7
/proc/32400/task/32450/stat : 32450 (Common-Cleaner) S 32392 32400 29257 0 -1 4194368 1605 0 0 0 0 0 0 0 20 0 20 0 39226827 19521036288 3693180 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32481] ppid=32392 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/32400/task/32481/stat : 32481 (Timer-0) S 32392 32400 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39226862 19521036288 3693180 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
Current children cumulated CPU time: 3250.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14772720 KiB

[startup+3162.3 s]
/proc/loadavg: 4.31 4.36 4.28 5/340 33185
/proc/meminfo: memFree=75299180/131249996 swapFree=33010684/33010684
[pid=32400] ppid=32392 vsize=19063512 memory=14772720 CPUtime=3313.67 cores=5,7
/proc/32400/stat : 32400 (java) S 32392 32400 29257 0 -1 4194304 370520 0 0 0 330897 470 0 0 20 0 20 0 39226822 19521036288 3693180 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
/proc/32400/statm: 4765878 3693180 5508 1 0 4086331 0
[pid=32400/tid=32421] ppid=32392 vsize=19063512 memory=4752 CPUtime=3031.19 cores=5,7
/proc/32400/task/32421/stat : 32421 (java) R 32392 32400 29257 0 -1 4194368 202580 0 0 0 303011 108 0 0 20 0 20 0 39226824 19521036288 3693180 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32440] ppid=32392 vsize=19063512 memory=14772720 CPUtime=0 cores=5,7
/proc/32400/task/32440/stat : 32440 (Finalizer) S 32392 32400 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39226826 19521036288 3693180 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32450] ppid=32392 vsize=19063512 memory=14772720 CPUtime=0 cores=5,7
/proc/32400/task/32450/stat : 32450 (Common-Cleaner) S 32392 32400 29257 0 -1 4194368 1639 0 0 0 0 0 0 0 20 0 20 0 39226827 19521036288 3693180 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32481] ppid=32392 vsize=19063512 memory=14772720 CPUtime=0 cores=5,7
/proc/32400/task/32481/stat : 32481 (Timer-0) S 32392 32400 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39226862 19521036288 3693180 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
Current children cumulated CPU time: 3313.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14772720 KiB

[startup+3222.3 s]
/proc/loadavg: 4.31 4.35 4.28 5/340 33189
/proc/meminfo: memFree=75299524/131249996 swapFree=33010684/33010684
[pid=32400] ppid=32392 vsize=19063512 memory=14772720 CPUtime=3375.99 cores=5,7
/proc/32400/stat : 32400 (java) S 32392 32400 29257 0 -1 4194304 377848 0 0 0 337127 472 0 0 20 0 20 0 39226822 19521036288 3693180 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
/proc/32400/statm: 4765878 3693180 5508 1 0 4086331 0
[pid=32400/tid=32421] ppid=32392 vsize=19063512 memory=4752 CPUtime=3088.49 cores=5,7
/proc/32400/task/32421/stat : 32421 (java) R 32392 32400 29257 0 -1 4194368 207768 0 0 0 308740 109 0 0 20 0 20 0 39226824 19521036288 3693180 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32440] ppid=32392 vsize=19063512 memory=14772720 CPUtime=0 cores=5,7
/proc/32400/task/32440/stat : 32440 (Finalizer) S 32392 32400 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39226826 19521036288 3693180 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32450] ppid=32392 vsize=19063512 memory=14772720 CPUtime=0 cores=5,7
/proc/32400/task/32450/stat : 32450 (Common-Cleaner) S 32392 32400 29257 0 -1 4194368 1678 0 0 0 0 0 0 0 20 0 20 0 39226827 19521036288 3693180 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32481] ppid=32392 vsize=19063512 memory=14772720 CPUtime=0 cores=5,7
/proc/32400/task/32481/stat : 32481 (Timer-0) S 32392 32400 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39226862 19521036288 3693180 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
Current children cumulated CPU time: 3375.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14772720 KiB

[startup+3282.3 s]
/proc/loadavg: 4.37 4.36 4.29 5/340 33191
/proc/meminfo: memFree=75294556/131249996 swapFree=33010684/33010684
[pid=32400] ppid=32392 vsize=19063512 memory=14773360 CPUtime=3441.54 cores=5,7
/proc/32400/stat : 32400 (java) S 32392 32400 29257 0 -1 4194304 386246 0 0 0 343676 478 0 0 20 0 20 0 39226822 19521036288 3693340 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
/proc/32400/statm: 4765878 3693340 5508 1 0 4086484 0
[pid=32400/tid=32421] ppid=32392 vsize=19063512 memory=14773360 CPUtime=3145.58 cores=5,7
/proc/32400/task/32421/stat : 32421 (java) R 32392 32400 29257 0 -1 4194368 212286 0 0 0 314448 110 0 0 20 0 20 0 39226824 19521036288 3693340 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32440] ppid=32392 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/32400/task/32440/stat : 32440 (Finalizer) S 32392 32400 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39226826 19521036288 3693340 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32450] ppid=32392 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/32400/task/32450/stat : 32450 (Common-Cleaner) S 32392 32400 29257 0 -1 4194368 1699 0 0 0 0 0 0 0 20 0 20 0 39226827 19521036288 3693340 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32481] ppid=32392 vsize=19063512 memory=14773360 CPUtime=0 cores=5,7
/proc/32400/task/32481/stat : 32481 (Timer-0) S 32392 32400 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39226862 19521036288 3693340 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
Current children cumulated CPU time: 3441.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14773360 KiB

[startup+3342.3 s]
/proc/loadavg: 4.25 4.33 4.28 5/322 33196
/proc/meminfo: memFree=81259932/131249996 swapFree=33010684/33010684
[pid=32400] ppid=32392 vsize=19063512 memory=14773360 CPUtime=3504.42 cores=5,7
/proc/32400/stat : 32400 (java) S 32392 32400 29257 0 -1 4194304 390725 0 0 0 349962 480 0 0 20 0 20 0 39226822 19521036288 3693340 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
/proc/32400/statm: 4765878 3693340 5508 1 0 4086486 0
[pid=32400/tid=32421] ppid=32392 vsize=19063512 memory=14773360 CPUtime=3202.24 cores=5,7
/proc/32400/task/32421/stat : 32421 (java) R 32392 32400 29257 0 -1 4194368 215234 0 0 0 320114 110 0 0 20 0 20 0 39226824 19521036288 3693340 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32440] ppid=32392 vsize=19063512 memory=14772720 CPUtime=0 cores=5,7
/proc/32400/task/32440/stat : 32440 (Finalizer) S 32392 32400 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39226826 19521036288 3693340 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32450] ppid=32392 vsize=19063512 memory=14773360 CPUtime=0 cores=5,7
/proc/32400/task/32450/stat : 32450 (Common-Cleaner) S 32392 32400 29257 0 -1 4194368 1740 0 0 0 0 0 0 0 20 0 20 0 39226827 19521036288 3693340 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32481] ppid=32392 vsize=19063512 memory=14773360 CPUtime=0 cores=5,7
/proc/32400/task/32481/stat : 32481 (Timer-0) S 32392 32400 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39226862 19521036288 3693340 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
Current children cumulated CPU time: 3504.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14773360 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.30 4.27 5/339 33261
/proc/meminfo: memFree=88950968/131249996 swapFree=33010684/33010684
[pid=32400] ppid=32392 vsize=19063512 memory=14773360 CPUtime=3566.77 cores=5,7
/proc/32400/stat : 32400 (java) S 32392 32400 29257 0 -1 4194304 397289 0 0 0 356194 483 0 0 20 0 20 0 39226822 19521036288 3693340 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
/proc/32400/statm: 4765878 3693340 5508 1 0 4086486 0
[pid=32400/tid=32421] ppid=32392 vsize=19063512 memory=14773360 CPUtime=3259.47 cores=5,7
/proc/32400/task/32421/stat : 32421 (java) R 32392 32400 29257 0 -1 4194368 219640 0 0 0 325836 111 0 0 20 0 20 0 39226824 19521036288 3693340 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32440] ppid=32392 vsize=19063512 memory=140682258246641 CPUtime=0 cores=5,7
/proc/32400/task/32440/stat : 32440 (Finalizer) S 32392 32400 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39226826 19521036288 3693340 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32450] ppid=32392 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/32400/task/32450/stat : 32450 (Common-Cleaner) S 32392 32400 29257 0 -1 4194368 1788 0 0 0 0 0 0 0 20 0 20 0 39226827 19521036288 3693340 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32481] ppid=32392 vsize=19063512 memory=14773360 CPUtime=0 cores=5,7
/proc/32400/task/32481/stat : 32481 (Timer-0) S 32392 32400 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39226862 19521036288 3693340 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
Current children cumulated CPU time: 3566.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14773360 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3432 s]*
/proc/loadavg: 4.26 4.30 4.27 6/339 33263
/proc/meminfo: memFree=88754464/131249996 swapFree=33010684/33010684
[pid=32400] ppid=32392 vsize=19063512 memory=14773360 CPUtime=3600.19 cores=5,7
/proc/32400/stat : 32400 (java) S 32392 32400 29257 0 -1 4194304 401222 0 0 0 359532 487 0 0 20 0 20 0 39226822 19521036288 3693340 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
/proc/32400/statm: 4765878 3693340 5508 1 0 4086486 0
[pid=32400/tid=32421] ppid=32392 vsize=19063512 memory=6880 CPUtime=3287.61 cores=5,7
/proc/32400/task/32421/stat : 32421 (java) R 32392 32400 29257 0 -1 4194368 221460 0 0 0 328649 112 0 0 20 0 20 0 39226824 19521036288 3693340 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32440] ppid=32392 vsize=19063512 memory=-6000919477035231596 CPUtime=0 cores=5,7
/proc/32400/task/32440/stat : 32440 (Finalizer) S 32392 32400 29257 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39226826 19521036288 3693340 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32450] ppid=32392 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/32400/task/32450/stat : 32450 (Common-Cleaner) S 32392 32400 29257 0 -1 4194368 1834 0 0 0 0 0 0 0 20 0 20 0 39226827 19521036288 3693340 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
[pid=32400/tid=32481] ppid=32392 vsize=19063512 memory=14156 CPUtime=0 cores=5,7
/proc/32400/task/32481/stat : 32481 (Timer-0) S 32392 32400 29257 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39226862 19521036288 3693340 18446744073709551615 94337811394560 94337811398256 140730106000128 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94337811406072 94337811406864 94337830694912 140730106005889 140730106005990 140730106005990 140730106011592 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14773360 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.59 s, system=4.91587 s

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

[startup+3432.2 s]*
/proc/loadavg: 4.26 4.30 4.27 5/318 33266
/proc/meminfo: memFree=103514244/131249996 swapFree=33010684/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): 3432.22
CPU time (s): 3600.51
CPU user time (s): 3595.59
CPU system time (s): 4.91587
CPU usage (%): 104.903
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 14774384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.59
system time used= 4.91587
maximum resident set size= 14774640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 403320
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124315
involuntary context switches= 31135


# summary of solver processes directly reported to runsolver:
#   pid: 32400
#   total CPU time (s): 3600.51
#   total CPU user time (s): 3595.59
#   total CPU system time (s): 4.91587

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.84422 second user time and 16.1234 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-06-30 00:18:10
IDJOB=4515318
IDBENCH=164400
IDSOLVER=3363
FILE ID=nodeC023/4515318-1751235489
RUNJOBID= nodeC023-1751235489-32354
SLURM_JOB_ID= 9587704
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-952987.0.d.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515318-1751235489/watcher-4515318-1751235489 -o /tmp/evaluation-result-4515318-1751235489/solver-4515318-1751235489 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751235489-32354 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4515318-1751235489.opb

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

MD5SUM BENCH= c2f3e0c6154609bf2d3178c0d208b6f5
RANDOM SEED=1937870362

nodeC023 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		: 3552.623
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        127882076 kB
MemAvailable:   129768388 kB
Buffers:            3280 kB
Cached:          2689720 kB
SwapCached:            0 kB
Active:           396416 kB
Inactive:        2384688 kB
Active(anon):     106168 kB
Inactive(anon):        0 kB
Active(file):     290248 kB
Inactive(file):  2384688 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              9748 kB
Writeback:             4 kB
AnonPages:         91256 kB
Mapped:           102624 kB
Shmem:             18064 kB
KReclaimable:     101232 kB
Slab:             188524 kB
SReclaimable:     101232 kB
SUnreclaim:        87292 kB
KernelStack:        4164 kB
PageTables:         2660 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     350600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC023 at 2025-06-30 01:15:22