Trace number 4432468

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 Default 2024-07-07? (TO) 3600.23 3431.64

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_4.opb
MD5SUM21308a801a9cbe43fb5a50efc40ff8ff
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 benchmark5141383
Best CPU time to get the best result obtained on this benchmark66218.4
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14620
Total number of constraints21851
Number of constraints which are clauses170
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints21675
Minimum length of a constraint2
Maximum length of a constraint3570
Number of terms in the objective function 14365
Biggest coefficient in the objective function 169112377
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 146273936801
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 169112377
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 146273936801
Number of bits of the biggest sum of numbers38
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4432468-1721141433.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.74/0.43	c ... done. Wall clock time 0.306s.
0.74/0.43	c declared #vars     14620
0.74/0.43	c #constraints  36137
0.74/0.43	c constraints type 
0.74/0.43	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 28645
0.74/0.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
0.74/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3825
0.74/0.43	c org.sat4j.specs.Constr$1 => 2
0.74/0.43	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
0.74/0.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3656
0.74/0.43	c 36137 constraints processed.
0.74/0.44	c objective function length is 14365 literals
2.26/1.38	c cleaning 2490 clauses out of 5003 with flag 12061/5003
3.12/2.05	c cleaning 4250 clauses out of 8515 with flag 24065/11005
4.07/2.85	c cleaning 5622 clauses out of 11265 with flag 38065/18005
5.18/3.81	c cleaning 6807 clauses out of 13638 with flag 54055/26000
6.08/4.79	c cleaning 7902 clauses out of 15833 with flag 72059/35002
7.72/6.11	c cleaning 8950 clauses out of 17931 with flag 92059/45002
9.02/7.35	c cleaning 9975 clauses out of 19979 with flag 114055/56000
10.50/8.71	c cleaning 10989 clauses out of 22004 with flag 138055/68000
11.90/10.14	c cleaning 11995 clauses out of 24017 with flag 164059/81002
13.77/11.85	c cleaning 13000 clauses out of 26021 with flag 192057/95001
15.76/13.69	c cleaning 14001 clauses out of 28027 with flag 222069/110007
18.03/15.75	c cleaning 14997 clauses out of 30020 with flag 254057/126001
20.33/17.89	c cleaning 15999 clauses out of 32024 with flag 288059/143002
22.81/20.12	c cleaning 16999 clauses out of 34024 with flag 324057/161001
25.33/22.49	c cleaning 17999 clauses out of 36026 with flag 362059/180002
27.42/24.58	c cleaning 19002 clauses out of 38030 with flag 402065/200005
29.91/26.93	c cleaning 20001 clauses out of 40023 with flag 444055/221000
32.57/29.43	c cleaning 20999 clauses out of 42023 with flag 488057/243001
35.18/31.90	c cleaning 21999 clauses out of 44025 with flag 534059/266002
38.09/34.74	c cleaning 22997 clauses out of 46026 with flag 582059/290002
41.27/37.73	c cleaning 24000 clauses out of 48027 with flag 632055/315000
44.65/40.93	c cleaning 25002 clauses out of 50033 with flag 684067/341006
47.96/44.10	c cleaning 26001 clauses out of 52027 with flag 738059/368002
51.93/47.23	c cleaning 27002 clauses out of 54025 with flag 794057/396001
55.45/50.62	c cleaning 27997 clauses out of 56022 with flag 852055/425000
58.72/53.88	c cleaning 29000 clauses out of 58028 with flag 912061/455003
62.72/57.60	c cleaning 30001 clauses out of 60028 with flag 974061/486003
67.00/61.58	c cleaning 31004 clauses out of 62032 with flag 1038071/518008
71.39/65.72	c cleaning 31996 clauses out of 64020 with flag 1104055/551000
75.88/70.03	c cleaning 33000 clauses out of 66027 with flag 1172061/585003
80.37/74.32	c cleaning 34000 clauses out of 68025 with flag 1242057/620001
85.51/79.12	c cleaning 34996 clauses out of 70027 with flag 1314061/656003
90.49/83.97	c cleaning 36004 clauses out of 72030 with flag 1388059/693002
96.34/89.44	c cleaning 37001 clauses out of 74024 with flag 1464055/731000
102.32/94.31	c cleaning 37999 clauses out of 76024 with flag 1542057/770001
107.46/99.37	c cleaning 38998 clauses out of 78026 with flag 1622059/810002
113.53/105.06	c cleaning 40005 clauses out of 80036 with flag 1704075/851010
119.62/110.75	c cleaning 40997 clauses out of 82021 with flag 1788055/893000
125.21/116.14	c cleaning 42003 clauses out of 84025 with flag 1874057/936001
131.08/121.60	c cleaning 42998 clauses out of 86022 with flag 1962057/980001
136.47/126.81	c cleaning 43997 clauses out of 88023 with flag 2052055/1025000
143.72/132.69	c cleaning 44998 clauses out of 90028 with flag 2144059/1071002
149.23/138.01	c cleaning 46000 clauses out of 92028 with flag 2238055/1118000
155.42/143.84	c cleaning 46999 clauses out of 94029 with flag 2334057/1166001
162.21/150.24	c cleaning 48003 clauses out of 96029 with flag 2432055/1215000
168.33/156.12	c cleaning 49000 clauses out of 98029 with flag 2532061/1265003
174.72/162.20	c cleaning 49998 clauses out of 100029 with flag 2634061/1316003
182.20/169.12	c cleaning 50996 clauses out of 102028 with flag 2738055/1368000
189.39/176.16	c cleaning 52005 clauses out of 104034 with flag 2844059/1421002
197.20/183.52	c cleaning 53000 clauses out of 106028 with flag 2952057/1475001
205.53/191.41	c cleaning 54002 clauses out of 108027 with flag 3062055/1530000
213.07/198.53	c cleaning 54997 clauses out of 110025 with flag 3174055/1586000
220.68/205.70	c cleaning 55996 clauses out of 112028 with flag 3288055/1643000
231.10/214.20	c cleaning 57002 clauses out of 114035 with flag 3404061/1701003
239.87/222.75	c cleaning 58006 clauses out of 116031 with flag 3522057/1760001
248.75/231.12	c cleaning 58992 clauses out of 118025 with flag 3642057/1820001
256.82/239.06	c cleaning 59997 clauses out of 120034 with flag 3764059/1881002
265.62/247.51	c cleaning 61002 clauses out of 122035 with flag 3888055/1943000
275.07/256.58	c cleaning 61997 clauses out of 124034 with flag 4014057/2006001
283.68/264.95	c cleaning 63001 clauses out of 126036 with flag 4142055/2070000
292.89/273.74	c cleaning 64001 clauses out of 128035 with flag 4272055/2135000
302.10/282.56	c cleaning 65000 clauses out of 130034 with flag 4404055/2201000
314.06/293.98	c cleaning 66007 clauses out of 132034 with flag 4538055/2268000
325.32/304.67	c cleaning 66999 clauses out of 134028 with flag 4674057/2336001
336.00/315.01	c cleaning 67998 clauses out of 136031 with flag 4812061/2405003
347.66/326.27	c cleaning 69004 clauses out of 138032 with flag 4952059/2475002
360.45/338.68	c cleaning 70004 clauses out of 140032 with flag 5094067/2546006
370.67/348.49	c cleaning 70998 clauses out of 142025 with flag 5238061/2618003
382.31/358.38	c cleaning 72000 clauses out of 144025 with flag 5384057/2691001
392.48/368.11	c cleaning 72995 clauses out of 146024 with flag 5532055/2765000
402.85/378.36	c cleaning 74001 clauses out of 148031 with flag 5682059/2840002
414.40/389.44	c cleaning 75001 clauses out of 150031 with flag 5834061/2916003
425.91/400.72	c cleaning 75996 clauses out of 152028 with flag 5988057/2993001
438.01/412.14	c cleaning 77002 clauses out of 154033 with flag 6144059/3071002
450.42/424.32	c cleaning 77998 clauses out of 156030 with flag 6302057/3150001
465.42/438.77	c cleaning 79005 clauses out of 158031 with flag 6462055/3230000
481.60/454.15	c cleaning 80005 clauses out of 160027 with flag 6624057/3311001
494.52/466.84	c cleaning 81000 clauses out of 162021 with flag 6788055/3393000
507.42/479.18	c cleaning 81998 clauses out of 164021 with flag 6954055/3476000
520.25/491.38	c cleaning 82998 clauses out of 166027 with flag 7122063/3560004
532.69/503.51	c cleaning 83997 clauses out of 168026 with flag 7292057/3645001
545.86/516.04	c cleaning 84999 clauses out of 170028 with flag 7464055/3731000
558.84/528.28	c cleaning 85997 clauses out of 172029 with flag 7638055/3818000
571.24/540.20	c cleaning 86998 clauses out of 174033 with flag 7814057/3906001
586.77/553.48	c cleaning 87999 clauses out of 176034 with flag 7992055/3995000
600.34/566.66	c cleaning 89007 clauses out of 178035 with flag 8172055/4085000
614.63/580.32	c cleaning 90004 clauses out of 180032 with flag 8354063/4176004
627.33/592.62	c cleaning 90998 clauses out of 182026 with flag 8538059/4268002
641.08/606.13	c cleaning 91999 clauses out of 184026 with flag 8724055/4361000
654.28/618.73	c cleaning 92995 clauses out of 186027 with flag 8912055/4455000
668.51/632.69	c cleaning 94002 clauses out of 188034 with flag 9102059/4550002
684.81/648.03	c cleaning 95001 clauses out of 190032 with flag 9294059/4646002
699.44/662.31	c cleaning 96004 clauses out of 192036 with flag 9488069/4743007
715.72/677.76	c cleaning 96994 clauses out of 194025 with flag 9684055/4841000
730.81/692.56	c cleaning 98001 clauses out of 196031 with flag 9882055/4940000
747.49/708.70	c cleaning 98999 clauses out of 198030 with flag 10082055/5040000
764.22/724.46	c cleaning 99997 clauses out of 200032 with flag 10284057/5141001
779.78/739.53	c cleaning 101000 clauses out of 202035 with flag 10488057/5243001
799.72/758.87	c cleaning 102009 clauses out of 204038 with flag 10694063/5346004
818.98/775.82	c cleaning 103000 clauses out of 206025 with flag 10902055/5450000
835.36/791.79	c cleaning 103994 clauses out of 208026 with flag 11112057/5555001
851.38/807.05	c cleaning 105000 clauses out of 210032 with flag 11324057/5661001
868.03/823.24	c cleaning 105999 clauses out of 212031 with flag 11538055/5768000
885.11/839.63	c cleaning 107004 clauses out of 214032 with flag 11754055/5876000
901.01/855.28	c cleaning 107997 clauses out of 216030 with flag 11972059/5985002
919.57/873.24	c cleaning 109003 clauses out of 218031 with flag 12192055/6095000
937.99/890.72	c cleaning 110001 clauses out of 220031 with flag 12414061/6206003
955.99/908.46	c cleaning 110999 clauses out of 222027 with flag 12638055/6318000
974.47/926.43	c cleaning 111995 clauses out of 224029 with flag 12864057/6431001
994.44/945.78	c cleaning 113001 clauses out of 226033 with flag 13092055/6545000
1012.99/963.59	c cleaning 114000 clauses out of 228032 with flag 13322055/6660000
1031.75/981.56	c cleaning 114998 clauses out of 230032 with flag 13554055/6776000
1049.67/999.08	c cleaning 115999 clauses out of 232034 with flag 13788055/6893000
1071.41/1018.46	c cleaning 117000 clauses out of 234035 with flag 14024055/7011000
1089.97/1036.36	c cleaning 118006 clauses out of 236039 with flag 14262063/7130004
1111.37/1057.06	c cleaning 118995 clauses out of 238031 with flag 14502059/7250002
1133.85/1078.67	c cleaning 120006 clauses out of 240037 with flag 14744061/7371003
1156.14/1100.16	c cleaning 120997 clauses out of 242028 with flag 14988055/7493000
1176.89/1120.19	c cleaning 122002 clauses out of 244033 with flag 15234059/7616002
1199.61/1141.98	c cleaning 123000 clauses out of 246029 with flag 15482055/7740000
1220.01/1161.44	c cleaning 124004 clauses out of 248031 with flag 15732059/7865002
1241.00/1181.69	c cleaning 125000 clauses out of 250027 with flag 15984059/7991002
1262.93/1202.70	c cleaning 125999 clauses out of 252028 with flag 16238061/8118003
1287.14/1223.73	c cleaning 127000 clauses out of 254027 with flag 16494057/8246001
1310.40/1246.06	c cleaning 127995 clauses out of 256028 with flag 16752059/8375002
1333.24/1268.47	c cleaning 129001 clauses out of 258036 with flag 17012065/8505005
1355.02/1289.47	c cleaning 130006 clauses out of 260031 with flag 17274057/8636001
1376.76/1310.51	c cleaning 130999 clauses out of 262026 with flag 17538059/8768002
1398.87/1332.12	c cleaning 131997 clauses out of 264025 with flag 17804055/8901000
1419.94/1352.53	c cleaning 133002 clauses out of 266030 with flag 18072059/9035002
1441.92/1374.12	c cleaning 134001 clauses out of 268030 with flag 18342063/9170004
1465.61/1397.42	c cleaning 135002 clauses out of 270027 with flag 18614059/9306002
1488.86/1420.06	c cleaning 135995 clauses out of 272025 with flag 18888059/9443002
1510.70/1441.55	c cleaning 136996 clauses out of 274028 with flag 19164055/9581000
1532.44/1462.82	c cleaning 138003 clauses out of 276034 with flag 19442059/9720002
1560.13/1487.35	c cleaning 138996 clauses out of 278029 with flag 19722055/9860000
1588.72/1515.06	c cleaning 140007 clauses out of 280035 with flag 20004059/10001002
1611.29/1536.85	c cleaning 140997 clauses out of 282026 with flag 20288055/10143000
1636.52/1561.36	c cleaning 141998 clauses out of 284031 with flag 20574059/10286002
1662.07/1586.20	c cleaning 142995 clauses out of 286032 with flag 20862057/10430001
1689.68/1612.86	c cleaning 144007 clauses out of 288036 with flag 21152055/10575000
1715.04/1637.31	c cleaning 145000 clauses out of 290034 with flag 21444065/10721005
1739.11/1660.62	c cleaning 146004 clauses out of 292036 with flag 21738069/10868007
1762.73/1683.54	c cleaning 147000 clauses out of 294025 with flag 22034055/11016000
1793.56/1711.17	c cleaning 147997 clauses out of 296026 with flag 22332057/11165001
1821.14/1737.88	c cleaning 149001 clauses out of 298028 with flag 22632055/11315000
1845.02/1761.06	c cleaning 150004 clauses out of 300029 with flag 22934059/11466002
1873.85/1788.71	c cleaning 150996 clauses out of 302024 with flag 23238057/11618001
1899.37/1813.43	c cleaning 152000 clauses out of 304029 with flag 23544059/11771002
1929.21/1842.21	c cleaning 153000 clauses out of 306028 with flag 23852057/11925001
1957.49/1869.87	c cleaning 154004 clauses out of 308029 with flag 24162059/12080002
1985.09/1896.81	c cleaning 154997 clauses out of 310025 with flag 24474059/12236002
2018.81/1925.49	c cleaning 155999 clauses out of 312028 with flag 24788059/12393002
2046.34/1952.15	c cleaning 156998 clauses out of 314028 with flag 25104057/12551001
2075.91/1980.59	c cleaning 158004 clauses out of 316030 with flag 25422057/12710001
2105.65/2009.57	c cleaning 158999 clauses out of 318026 with flag 25742057/12870001
2137.77/2040.63	c cleaning 159995 clauses out of 320026 with flag 26064055/13031000
2168.26/2070.47	c cleaning 161005 clauses out of 322034 with flag 26388061/13193003
2198.15/2099.49	c cleaning 161999 clauses out of 324026 with flag 26714055/13356000
2225.83/2126.09	c cleaning 163002 clauses out of 326030 with flag 27042061/13520003
2256.58/2153.38	c cleaning 163992 clauses out of 328025 with flag 27372055/13685000
2284.96/2180.75	c cleaning 164999 clauses out of 330033 with flag 27704055/13851000
2314.46/2209.08	c cleaning 166003 clauses out of 332035 with flag 28038057/14018001
2342.24/2235.92	c cleaning 167000 clauses out of 334033 with flag 28374059/14186002
2371.46/2264.09	c cleaning 167997 clauses out of 336031 with flag 28712055/14355000
2399.08/2290.48	c cleaning 169000 clauses out of 338036 with flag 29052059/14525002
2427.64/2318.38	c cleaning 170000 clauses out of 340035 with flag 29394057/14696001
2459.69/2345.19	c cleaning 171001 clauses out of 342037 with flag 29738061/14868003
2488.72/2373.09	c cleaning 171998 clauses out of 344034 with flag 30084057/15041001
2517.90/2401.37	c cleaning 173000 clauses out of 346037 with flag 30432059/15215002
2548.10/2430.55	c cleaning 174000 clauses out of 348036 with flag 30782057/15390001
2579.22/2460.48	c cleaning 175004 clauses out of 350037 with flag 31134059/15566002
2612.03/2492.45	c cleaning 176004 clauses out of 352036 with flag 31488065/15743005
2643.63/2522.90	c cleaning 177000 clauses out of 354029 with flag 31844059/15921002
2679.17/2554.61	c cleaning 177998 clauses out of 356027 with flag 32202055/16100000
2711.87/2586.06	c cleaning 178999 clauses out of 358031 with flag 32562059/16280002
2745.37/2618.12	c cleaning 180001 clauses out of 360030 with flag 32924055/16461000
2774.88/2646.69	c cleaning 181000 clauses out of 362029 with flag 33288055/16643000
2806.31/2677.10	c cleaning 181994 clauses out of 364029 with flag 33654055/16826000
2839.92/2709.52	c cleaning 182999 clauses out of 366037 with flag 34022059/17010002
2881.74/2746.11	c cleaning 184006 clauses out of 368037 with flag 34392057/17195001
2919.01/2782.56	c cleaning 184999 clauses out of 370032 with flag 34764059/17381002
2959.76/2822.20	c cleaning 186001 clauses out of 372031 with flag 35138055/17568000
2999.49/2860.54	c cleaning 187003 clauses out of 374031 with flag 35514057/17756001
3037.14/2897.00	c cleaning 188000 clauses out of 376030 with flag 35892061/17945003
3074.21/2932.86	c cleaning 188998 clauses out of 378029 with flag 36272059/18135002
3111.36/2965.97	c cleaning 189995 clauses out of 380032 with flag 36654061/18326003
3146.15/2999.78	c cleaning 190997 clauses out of 382036 with flag 37038059/18518002
3183.63/3036.18	c cleaning 192004 clauses out of 384037 with flag 37424055/18711000
3222.30/3073.54	c cleaning 193002 clauses out of 386033 with flag 37812055/18905000
3257.14/3107.31	c cleaning 194000 clauses out of 388032 with flag 38202057/19100001
3294.48/3143.51	c cleaning 195004 clauses out of 390031 with flag 38594055/19296000
3337.12/3179.88	c cleaning 196001 clauses out of 392033 with flag 38988067/19493006
3376.39/3218.07	c cleaning 196997 clauses out of 394028 with flag 39384059/19691002
3416.47/3256.79	c cleaning 198001 clauses out of 396030 with flag 39782057/19890001
3453.07/3292.39	c cleaning 198993 clauses out of 398028 with flag 40182055/20090000
3488.45/3326.62	c cleaning 199997 clauses out of 400037 with flag 40584059/20291002
3526.67/3363.92	c cleaning 200995 clauses out of 402040 with flag 40988059/20493002
3570.09/3403.06	c cleaning 202001 clauses out of 404043 with flag 41394055/20696000
3600.05/3431.51	c starts		: 5
3600.05/3431.52	c conflicts		: 20896886
3600.05/3431.52	c decisions		: 20925450
3600.05/3431.52	c propagations		: 1622709543
3600.05/3431.52	c inspects		: 11507128864
3600.05/3431.52	c shortcuts		: 0
3600.05/3431.52	c learnt literals	: 0
3600.05/3431.52	c learnt binary clauses	: 0
3600.05/3431.52	c learnt ternary clauses	: 1
3600.05/3431.52	c learnt constraints	: 20896886
3600.05/3431.52	c ignored constraints	: 0
3600.05/3431.52	c root simplifications	: 0
3600.05/3431.52	c removed literals (reason simplification)	: 0
3600.05/3431.52	c reason swapping (by a shorter reason)	: 0
3600.05/3431.52	c Calls to reduceDB	: 199
3600.05/3431.52	c Number of update (reduction) of LBD	: 109
3600.05/3431.52	c Imported unit clauses	: 0
3600.05/3431.52	c No decision after first conflict	: false
3600.05/3431.52	c number of reductions to clauses (during analyze)	: 0
3600.05/3431.52	c number of learned constraints concerned by reduction	: 0
3600.05/3431.52	c number of learning phase by resolution	: 0
3600.05/3431.52	c number of learning phase by cutting planes	: 0
3600.05/3431.52	c number of rounding to 1 operations	: 0
3600.05/3431.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3431.52	c number of reductions of the coefficients by power 2 	: 0
3600.05/3431.52	c number of right shift for reduction by power 2 	: 0
3600.05/3431.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3431.52	c number of ending skipping 	: 0
3600.05/3431.52	c number of internal skipping 	: 0
3600.05/3431.52	c number of derivation steps 	: 0
3600.05/3431.52	c number of skipped derivation steps 	: 0
3600.05/3431.52	c number of remaining unassigned 	: 0
3600.05/3431.52	c number of remaining assigned 	: 0
3600.05/3431.52	c number of falsified literals weakened from reason	: 0
3600.05/3431.52	c number of falsified literals weakened from conflict	: 0
3600.05/3431.52	c time for arithmetic operations	: 0
3600.05/3431.52	c minimum degree of deleted constraints	: null
3600.05/3431.52	c maximum degree of deleted constraints	: null
3600.05/3431.52	c number of deleted constraints	: 0
3600.05/3431.52	c speed (assignments/second)	: 472946.1756200551
3600.05/3431.52	c non guided choices	: 0
3600.05/3431.52	c timeout
3600.05/3431.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 402928
3600.05/3431.58	s UNKNOWN
3600.05/3431.58	c Total wall clock time (in seconds): 3431.462

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: 63968 MiB (62634 MiB free)
  memory of node 1: 64473 MiB (58929 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432468-1721141433/watcher-4432468-1721141433 -o /tmp/evaluation-result-4432468-1721141433/solver-4432468-1721141433 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721137841-861880 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432468-1721141433.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=864037, runsolver pid=864034
Current StackSize limit: 8192 KiB


[startup+0.100437 s]*
/proc/loadavg: 4.14 4.25 4.19 5/330 864055
/proc/meminfo: memFree=124437672/131524600 swapFree=131071996/131071996
[pid=864037] ppid=864034 vsize=18975048 memory=65356 CPUtime=0.14 cores=4,6
/proc/864037/stat : 864037 (java) S 864034 864037 861869 0 -1 1077936128 7737 0 0 0 12 2 0 0 20 0 18 0 166314181 19430449152 16339 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
/proc/864037/statm: 4743762 16339 5681 1 0 549341 0
[pid=864037/tid=864039] ppid=864034 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/864037/task/864039/stat : 864039 (java) R 864034 864037 861869 0 -1 4194368 6263 0 0 0 7 1 0 0 20 0 18 0 166314181 19430449152 16339 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864048] ppid=864034 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/864037/task/864048/stat : 864048 (Finalizer) S 864034 864037 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 166314184 19430449152 16339 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864055] ppid=864034 vsize=18975048 memory=14971178779437607 CPUtime=0 cores=4,6
/proc/864037/task/864055/stat : 864055 (Common-Cleaner) S 864034 864037 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 166314184 19430449152 16339 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65356 KiB

[startup+0.213785 s]*
/proc/loadavg: 4.14 4.25 4.19 7/330 864055
/proc/meminfo: memFree=124418912/131524600 swapFree=131071996/131071996
[pid=864037] ppid=864034 vsize=18975048 memory=84408 CPUtime=0.35 cores=4,6
/proc/864037/stat : 864037 (java) S 864034 864037 861869 0 -1 1077936128 9318 0 0 0 33 2 0 0 20 0 18 0 166314181 19430449152 21102 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
/proc/864037/statm: 4743762 21102 5823 1 0 550327 0
[pid=864037/tid=864039] ppid=864034 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/864037/task/864039/stat : 864039 (java) R 864034 864037 861869 0 -1 4194368 6428 0 0 0 17 2 0 0 20 0 18 0 166314181 19430449152 21102 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864048] ppid=864034 vsize=18975048 memory=15997 CPUtime=0 cores=4,6
/proc/864037/task/864048/stat : 864048 (Finalizer) S 864034 864037 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 166314184 19430449152 21102 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864055] ppid=864034 vsize=18975048 memory=14689703802701563 CPUtime=0 cores=4,6
/proc/864037/task/864055/stat : 864055 (Common-Cleaner) S 864034 864037 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 166314184 19430449152 21102 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 84408 KiB

[startup+0.310096 s]*
/proc/loadavg: 4.14 4.25 4.19 6/330 864055
/proc/meminfo: memFree=124392472/131524600 swapFree=131071996/131071996
[pid=864037] ppid=864034 vsize=18975048 memory=112596 CPUtime=0.54 cores=4,6
/proc/864037/stat : 864037 (java) S 864034 864037 861869 0 -1 1077936128 10571 0 0 0 51 3 0 0 20 0 18 0 166314181 19430449152 28149 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
/proc/864037/statm: 4743762 28149 5823 1 0 551148 0
[pid=864037/tid=864039] ppid=864034 vsize=18975048 memory=-8888533811228680892 CPUtime=0.25 cores=4,6
/proc/864037/task/864039/stat : 864039 (java) R 864034 864037 861869 0 -1 4194368 6445 0 0 0 23 2 0 0 20 0 18 0 166314181 19430449152 28149 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864048] ppid=864034 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/864037/task/864048/stat : 864048 (Finalizer) S 864034 864037 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 166314184 19430449152 28149 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864055] ppid=864034 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/864037/task/864055/stat : 864055 (Common-Cleaner) S 864034 864037 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 166314184 19430449152 28149 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 112596 KiB

[startup+0.700799 s]
/proc/loadavg: 4.14 4.25 4.19 7/331 864056
/proc/meminfo: memFree=124345908/131524600 swapFree=131071996/131071996
[pid=864037] ppid=864034 vsize=19041612 memory=159468 CPUtime=1.29 cores=4,6
/proc/864037/stat : 864037 (java) S 864034 864037 861869 0 -1 1077936128 11036 0 0 0 125 4 0 0 20 0 19 0 166314181 19498610688 39867 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
/proc/864037/statm: 4760403 39867 5861 1 0 551708 0
[pid=864037/tid=864039] ppid=864034 vsize=19041612 memory=5472 CPUtime=0.6 cores=4,6
/proc/864037/task/864039/stat : 864039 (java) R 864034 864037 861869 0 -1 4194368 6578 0 0 0 57 3 0 0 20 0 19 0 166314181 19498610688 39867 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864048] ppid=864034 vsize=19041612 memory=13184 CPUtime=0 cores=4,6
/proc/864037/task/864048/stat : 864048 (Finalizer) S 864034 864037 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 166314184 19498610688 39867 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864055] ppid=864034 vsize=19041612 memory=280289297621672 CPUtime=0 cores=4,6
/proc/864037/task/864055/stat : 864055 (Common-Cleaner) S 864034 864037 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 166314184 19498610688 39867 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864056] ppid=864034 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/864037/task/864056/stat : 864056 (Timer-0) S 864034 864037 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 166314226 19498610688 39867 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 159468 KiB

[startup+1.50079 s]
/proc/loadavg: 4.21 4.27 4.19 6/332 864057
/proc/meminfo: memFree=124309660/131524600 swapFree=131071996/131071996
[pid=864037] ppid=864034 vsize=19108176 memory=192788 CPUtime=2.54 cores=4,6
/proc/864037/stat : 864037 (java) S 864034 864037 861869 0 -1 1077936128 13225 0 0 0 248 6 0 0 20 0 20 0 166314181 19566772224 48197 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
/proc/864037/statm: 4777044 48197 5893 1 0 553567 0
[pid=864037/tid=864039] ppid=864034 vsize=19108176 memory=13184 CPUtime=1.38 cores=4,6
/proc/864037/task/864039/stat : 864039 (java) R 864034 864037 861869 0 -1 4194368 6623 0 0 0 134 4 0 0 20 0 20 0 166314181 19566772224 48197 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864048] ppid=864034 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/864037/task/864048/stat : 864048 (Finalizer) S 864034 864037 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 48197 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864055] ppid=864034 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/864037/task/864055/stat : 864055 (Common-Cleaner) S 864034 864037 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 48197 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864056] ppid=864034 vsize=19108176 memory=280289297474832 CPUtime=0 cores=4,6
/proc/864037/task/864056/stat : 864056 (Timer-0) S 864034 864037 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166314226 19566772224 48197 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 192788 KiB

[startup+3.10578 s]
/proc/loadavg: 4.21 4.27 4.19 5/310 864064
/proc/meminfo: memFree=127623068/131524600 swapFree=131071996/131071996
[pid=864037] ppid=864034 vsize=19108176 memory=349592 CPUtime=4.42 cores=4,6
/proc/864037/stat : 864037 (java) S 864034 864037 861869 0 -1 1077936128 14676 0 0 0 433 9 0 0 20 0 20 0 166314181 19566772224 87398 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
/proc/864037/statm: 4777044 87398 5941 1 0 553574 0
[pid=864037/tid=864039] ppid=864034 vsize=19108176 memory=0 CPUtime=2.81 cores=4,6
/proc/864037/task/864039/stat : 864039 (java) R 864034 864037 861869 0 -1 4194368 6968 0 0 0 277 4 0 0 20 0 20 0 166314181 19566772224 87398 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864048] ppid=864034 vsize=19108176 memory=13184 CPUtime=0 cores=4,6
/proc/864037/task/864048/stat : 864048 (Finalizer) S 864034 864037 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 87398 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864055] ppid=864034 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/864037/task/864055/stat : 864055 (Common-Cleaner) S 864034 864037 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 87398 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864056] ppid=864034 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/864037/task/864056/stat : 864056 (Timer-0) S 864034 864037 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166314226 19566772224 87398 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
Current children cumulated CPU time: 4.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 349592 KiB

[startup+6.3008 s]
/proc/loadavg: 4.20 4.26 4.19 6/311 864076
/proc/meminfo: memFree=127114392/131524600 swapFree=131071996/131071996
[pid=864037] ppid=864034 vsize=19108176 memory=854956 CPUtime=7.91 cores=4,6
/proc/864037/stat : 864037 (java) S 864034 864037 861869 0 -1 1077936128 18178 0 0 0 772 19 0 0 20 0 20 0 166314181 19566772224 213739 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
/proc/864037/statm: 4777044 213739 5941 1 0 860629 0
[pid=864037/tid=864039] ppid=864034 vsize=19108176 memory=13184 CPUtime=5.66 cores=4,6
/proc/864037/task/864039/stat : 864039 (java) R 864034 864037 861869 0 -1 4194368 7382 0 0 0 559 7 0 0 20 0 20 0 166314181 19566772224 213739 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864048] ppid=864034 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/864037/task/864048/stat : 864048 (Finalizer) S 864034 864037 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 213739 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864055] ppid=864034 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=4,6
/proc/864037/task/864055/stat : 864055 (Common-Cleaner) S 864034 864037 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 213739 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864056] ppid=864034 vsize=19108176 memory=238064 CPUtime=0 cores=4,6
/proc/864037/task/864056/stat : 864056 (Timer-0) S 864034 864037 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166314226 19566772224 213739 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
Current children cumulated CPU time: 7.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 854956 KiB

[startup+12.7008 s]
/proc/loadavg: 4.26 4.27 4.20 5/332 864127
/proc/meminfo: memFree=125919244/131524600 swapFree=131071996/131071996
[pid=864037] ppid=864034 vsize=19108176 memory=1633776 CPUtime=14.73 cores=4,6
/proc/864037/stat : 864037 (java) S 864034 864037 861869 0 -1 1077936128 20124 0 0 0 1440 33 0 0 20 0 20 0 166314181 19566772224 408444 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
/proc/864037/statm: 4777044 408444 5941 1 0 1445522 0
[pid=864037/tid=864039] ppid=864034 vsize=19108176 memory=13184 CPUtime=11.56 cores=4,6
/proc/864037/task/864039/stat : 864039 (java) S 864034 864037 861869 0 -1 1077936192 7761 0 0 0 1146 10 0 0 20 0 20 0 166314181 19566772224 408444 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864048] ppid=864034 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/864037/task/864048/stat : 864048 (Finalizer) S 864034 864037 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 408444 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864055] ppid=864034 vsize=19108176 memory=1564144 CPUtime=0 cores=4,6
/proc/864037/task/864055/stat : 864055 (Common-Cleaner) S 864034 864037 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 408444 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864056] ppid=864034 vsize=19108176 memory=2164 CPUtime=0 cores=4,6
/proc/864037/task/864056/stat : 864056 (Timer-0) S 864034 864037 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166314226 19566772224 408444 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
Current children cumulated CPU time: 14.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1633776 KiB

[startup+25.5003 s]
/proc/loadavg: 4.37 4.30 4.20 5/332 864128
/proc/meminfo: memFree=123681420/131524600 swapFree=131071996/131071996
[pid=864037] ppid=864034 vsize=19108176 memory=3004172 CPUtime=28.51 cores=4,6
/proc/864037/stat : 864037 (java) S 864034 864037 861869 0 -1 1077936128 23574 0 0 0 2791 60 0 0 20 0 20 0 166314181 19566772224 751043 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
/proc/864037/statm: 4777044 751043 5941 1 0 1666946 0
[pid=864037/tid=864039] ppid=864034 vsize=19108176 memory=1564144 CPUtime=23.31 cores=4,6
/proc/864037/task/864039/stat : 864039 (java) R 864034 864037 861869 0 -1 4194368 8425 0 0 0 2315 16 0 0 20 0 20 0 166314181 19566772224 751043 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864048] ppid=864034 vsize=19108176 memory=13184 CPUtime=0 cores=4,6
/proc/864037/task/864048/stat : 864048 (Finalizer) S 864034 864037 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 751043 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864055] ppid=864034 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/864037/task/864055/stat : 864055 (Common-Cleaner) S 864034 864037 861869 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 751043 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864056] ppid=864034 vsize=19108176 memory=2711000 CPUtime=0 cores=4,6
/proc/864037/task/864056/stat : 864056 (Timer-0) S 864034 864037 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166314226 19566772224 751043 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
Current children cumulated CPU time: 28.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3004172 KiB

[startup+51.1056 s]
/proc/loadavg: 4.35 4.30 4.21 5/332 864133
/proc/meminfo: memFree=120556132/131524600 swapFree=131071996/131071996
[pid=864037] ppid=864034 vsize=19108176 memory=4677076 CPUtime=55.96 cores=4,6
/proc/864037/stat : 864037 (java) S 864034 864037 861869 0 -1 1077936128 43425 0 0 0 5497 99 0 0 20 0 20 0 166314181 19566772224 1169269 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
/proc/864037/statm: 4777044 1169269 5945 1 0 1766313 0
[pid=864037/tid=864039] ppid=864034 vsize=19108176 memory=13184 CPUtime=47.34 cores=4,6
/proc/864037/task/864039/stat : 864039 (java) R 864034 864037 861869 0 -1 4194368 10940 0 0 0 4711 23 0 0 20 0 20 0 166314181 19566772224 1169269 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864048] ppid=864034 vsize=19108176 memory=4156064 CPUtime=0 cores=4,6
/proc/864037/task/864048/stat : 864048 (Finalizer) S 864034 864037 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 1169269 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0

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

/proc/864037/task/864048/stat : 864048 (Finalizer) S 864034 864037 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864055] ppid=864034 vsize=19108176 memory=15489796 CPUtime=0 cores=4,6
/proc/864037/task/864055/stat : 864055 (Common-Cleaner) S 864034 864037 861869 0 -1 1077936192 1129 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864056] ppid=864034 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/864037/task/864056/stat : 864056 (Timer-0) S 864034 864037 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166314226 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
Current children cumulated CPU time: 3189.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15489796 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.24 4.26 5/333 865875
/proc/meminfo: memFree=87969128/131524600 swapFree=131071996/131071996
[pid=864037] ppid=864034 vsize=19108176 memory=15489796 CPUtime=3252.18 cores=4,6
/proc/864037/stat : 864037 (java) S 864034 864037 861869 0 -1 1077936128 480477 0 0 0 324772 446 0 0 20 0 20 0 166314181 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
/proc/864037/statm: 4777044 3872449 5960 1 0 4087328 0
[pid=864037/tid=864039] ppid=864034 vsize=19108176 memory=15489796 CPUtime=2959.84 cores=4,6
/proc/864037/task/864039/stat : 864039 (java) R 864034 864037 861869 0 -1 4194368 104971 0 0 0 295904 80 0 0 20 0 20 0 166314181 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 19 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864048] ppid=864034 vsize=19108176 memory=15489796 CPUtime=0 cores=4,6
/proc/864037/task/864048/stat : 864048 (Finalizer) S 864034 864037 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864055] ppid=864034 vsize=19108176 memory=15489796 CPUtime=0 cores=4,6
/proc/864037/task/864055/stat : 864055 (Common-Cleaner) S 864034 864037 861869 0 -1 1077936192 1138 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864056] ppid=864034 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/864037/task/864056/stat : 864056 (Timer-0) S 864034 864037 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166314226 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
Current children cumulated CPU time: 3252.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15489796 KiB

[startup+3162.3 s]
/proc/loadavg: 4.46 4.31 4.28 5/333 865886
/proc/meminfo: memFree=86362604/131524600 swapFree=131071996/131071996
[pid=864037] ppid=864034 vsize=19108176 memory=15489796 CPUtime=3314.02 cores=4,6
/proc/864037/stat : 864037 (java) S 864034 864037 861869 0 -1 1077936128 481405 0 0 0 330953 449 0 0 20 0 20 0 166314181 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
/proc/864037/statm: 4777044 3872449 5960 1 0 4087328 0
[pid=864037/tid=864039] ppid=864034 vsize=19108176 memory=15489796 CPUtime=3017.47 cores=4,6
/proc/864037/task/864039/stat : 864039 (java) R 864034 864037 861869 0 -1 4194368 105502 0 0 0 301667 80 0 0 20 0 20 0 166314181 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864048] ppid=864034 vsize=19108176 memory=15489796 CPUtime=0 cores=4,6
/proc/864037/task/864048/stat : 864048 (Finalizer) S 864034 864037 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864055] ppid=864034 vsize=19108176 memory=41544 CPUtime=0 cores=4,6
/proc/864037/task/864055/stat : 864055 (Common-Cleaner) S 864034 864037 861869 0 -1 1077936192 1138 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864056] ppid=864034 vsize=19108176 memory=41544 CPUtime=0 cores=4,6
/proc/864037/task/864056/stat : 864056 (Timer-0) S 864034 864037 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166314226 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
Current children cumulated CPU time: 3314.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15489796 KiB

[startup+3222.3 s]
/proc/loadavg: 4.34 4.31 4.28 5/333 865897
/proc/meminfo: memFree=85793216/131524600 swapFree=131071996/131071996
[pid=864037] ppid=864034 vsize=19108176 memory=15489796 CPUtime=3381.18 cores=4,6
/proc/864037/stat : 864037 (java) S 864034 864037 861869 0 -1 1077936128 505630 0 0 0 337662 456 0 0 20 0 20 0 166314181 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
/proc/864037/statm: 4777044 3872449 5960 1 0 4087328 0
[pid=864037/tid=864039] ppid=864034 vsize=19108176 memory=15489796 CPUtime=3074.7 cores=4,6
/proc/864037/task/864039/stat : 864039 (java) R 864034 864037 861869 0 -1 4194368 112010 0 0 0 307389 81 0 0 20 0 20 0 166314181 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 19 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864048] ppid=864034 vsize=19108176 memory=15489796 CPUtime=0 cores=4,6
/proc/864037/task/864048/stat : 864048 (Finalizer) S 864034 864037 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864055] ppid=864034 vsize=19108176 memory=15489796 CPUtime=0 cores=4,6
/proc/864037/task/864055/stat : 864055 (Common-Cleaner) S 864034 864037 861869 0 -1 1077936192 1143 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864056] ppid=864034 vsize=19108176 memory=15489796 CPUtime=0 cores=4,6
/proc/864037/task/864056/stat : 864056 (Timer-0) S 864034 864037 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166314226 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
Current children cumulated CPU time: 3381.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15489796 KiB

[startup+3282.3 s]
/proc/loadavg: 4.40 4.33 4.28 5/332 865908
/proc/meminfo: memFree=85792252/131524600 swapFree=131071996/131071996
[pid=864037] ppid=864034 vsize=19108176 memory=15489796 CPUtime=3443.15 cores=4,6
/proc/864037/stat : 864037 (java) S 864034 864037 861869 0 -1 1077936128 507583 0 0 0 343858 457 0 0 20 0 20 0 166314181 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
/proc/864037/statm: 4777044 3872449 5960 1 0 4087328 0
[pid=864037/tid=864039] ppid=864034 vsize=19108176 memory=15489796 CPUtime=3131.96 cores=4,6
/proc/864037/task/864039/stat : 864039 (java) R 864034 864037 861869 0 -1 4194368 112496 0 0 0 313115 81 0 0 20 0 20 0 166314181 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 25 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864048] ppid=864034 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/864037/task/864048/stat : 864048 (Finalizer) S 864034 864037 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864055] ppid=864034 vsize=19108176 memory=15489796 CPUtime=0 cores=4,6
/proc/864037/task/864055/stat : 864055 (Common-Cleaner) S 864034 864037 861869 0 -1 1077936192 1148 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864056] ppid=864034 vsize=19108176 memory=-8888533811228680892 CPUtime=0 cores=4,6
/proc/864037/task/864056/stat : 864056 (Timer-0) S 864034 864037 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166314226 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
Current children cumulated CPU time: 3443.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15489796 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.30 4.27 5/332 865919
/proc/meminfo: memFree=85791412/131524600 swapFree=131071996/131071996
[pid=864037] ppid=864034 vsize=19108176 memory=15489796 CPUtime=3504.7 cores=4,6
/proc/864037/stat : 864037 (java) S 864034 864037 861869 0 -1 1077936128 508906 0 0 0 350012 458 0 0 20 0 20 0 166314181 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
/proc/864037/statm: 4777044 3872449 5960 1 0 4087328 0
[pid=864037/tid=864039] ppid=864034 vsize=19108176 memory=15489796 CPUtime=3189.98 cores=4,6
/proc/864037/task/864039/stat : 864039 (java) R 864034 864037 861869 0 -1 4194368 113376 0 0 0 318917 81 0 0 20 0 20 0 166314181 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 25 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864048] ppid=864034 vsize=19108176 memory=15489796 CPUtime=0 cores=4,6
/proc/864037/task/864048/stat : 864048 (Finalizer) S 864034 864037 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864055] ppid=864034 vsize=19108176 memory=1928 CPUtime=0 cores=4,6
/proc/864037/task/864055/stat : 864055 (Common-Cleaner) S 864034 864037 861869 0 -1 1077936192 1149 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864056] ppid=864034 vsize=19108176 memory=15489796 CPUtime=0 cores=4,6
/proc/864037/task/864056/stat : 864056 (Timer-0) S 864034 864037 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166314226 19566772224 3872449 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
Current children cumulated CPU time: 3504.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15489796 KiB

[startup+3402.3 s]
/proc/loadavg: 4.31 4.30 4.28 5/330 865931
/proc/meminfo: memFree=85790420/131524600 swapFree=131071996/131071996
[pid=864037] ppid=864034 vsize=19108176 memory=15490180 CPUtime=3569.38 cores=4,6
/proc/864037/stat : 864037 (java) S 864034 864037 861869 0 -1 1077936128 532980 0 0 0 356476 462 0 0 20 0 20 0 166314181 19566772224 3872545 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
/proc/864037/statm: 4777044 3872545 5960 1 0 4087328 0
[pid=864037/tid=864039] ppid=864034 vsize=19108176 memory=15489796 CPUtime=3247.43 cores=4,6
/proc/864037/task/864039/stat : 864039 (java) R 864034 864037 861869 0 -1 4194368 115286 0 0 0 324662 81 0 0 20 0 20 0 166314181 19566772224 3872545 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 25 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864048] ppid=864034 vsize=19108176 memory=15489796 CPUtime=0 cores=4,6
/proc/864037/task/864048/stat : 864048 (Finalizer) S 864034 864037 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 3872545 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864055] ppid=864034 vsize=19108176 memory=15490180 CPUtime=0 cores=4,6
/proc/864037/task/864055/stat : 864055 (Common-Cleaner) S 864034 864037 861869 0 -1 1077936192 1252 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 3872545 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864056] ppid=864034 vsize=19108176 memory=15490180 CPUtime=0 cores=4,6
/proc/864037/task/864056/stat : 864056 (Timer-0) S 864034 864037 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166314226 19566772224 3872545 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
Current children cumulated CPU time: 3569.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15490180 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3431.5 s]
/proc/loadavg: 4.27 4.30 4.27 5/330 865935
/proc/meminfo: memFree=85790200/131524600 swapFree=131071996/131071996
[pid=864037] ppid=864034 vsize=19108176 memory=15490180 CPUtime=3600.05 cores=4,6
/proc/864037/stat : 864037 (java) S 864034 864037 861869 0 -1 1077936128 534308 0 0 0 359542 463 0 0 20 0 20 0 166314181 19566772224 3872545 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
/proc/864037/statm: 4777044 3872545 5960 1 0 4087328 0
[pid=864037/tid=864039] ppid=864034 vsize=19108176 memory=15489796 CPUtime=3274.99 cores=4,6
/proc/864037/task/864039/stat : 864039 (java) R 864034 864037 861869 0 -1 4194368 115610 0 0 0 327418 81 0 0 20 0 20 0 166314181 19566772224 3872545 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 25 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864048] ppid=864034 vsize=19108176 memory=13184 CPUtime=0 cores=4,6
/proc/864037/task/864048/stat : 864048 (Finalizer) S 864034 864037 861869 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 3872545 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864055] ppid=864034 vsize=19108176 memory=15490180 CPUtime=0 cores=4,6
/proc/864037/task/864055/stat : 864055 (Common-Cleaner) S 864034 864037 861869 0 -1 1077936192 1252 0 0 0 0 0 0 0 20 0 20 0 166314184 19566772224 3872545 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
[pid=864037/tid=864056] ppid=864034 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/864037/task/864056/stat : 864056 (Timer-0) S 864034 864037 861869 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166314226 19566772224 3872545 134679101440 94328611815424 94328611819120 140729698845680 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94328611826936 94328611827728 94328640716800 140729698853895 140729698853985 140729698853985 140729698861000 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15490180 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.54 s, system=4.68022 s

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

[startup+3431.63 s]*
/proc/loadavg: 4.25 4.29 4.27 5/312 865938
/proc/meminfo: memFree=100911468/131524600 swapFree=131071996/131071996
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): 3431.64
CPU time (s): 3600.23
CPU user time (s): 3595.54
CPU system time (s): 4.68022
CPU usage (%): 104.913
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 15490180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.54
system time used= 4.68023
maximum resident set size= 15491976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 536269
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120745
involuntary context switches= 23055


# summary of solver processes directly reported to runsolver:
#   pid: 864037
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3595.54
#   total CPU system time (s): 4.68022

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.9538 second user time and 16.5805 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-16 16:50:46
IDJOB=4432468
IDBENCH=155628
IDSOLVER=3058
FILE ID=nodeC035/4432468-1721141433
RUNJOBID= nodeC035-1721137841-861880
SLURM_JOB_ID= 7505712
Free space on /tmp= 890016 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat85_4_27_4.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432468-1721141433/watcher-4432468-1721141433 -o /tmp/evaluation-result-4432468-1721141433/solver-4432468-1721141433 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721137841-861880 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432468-1721141433.opb

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

MD5SUM BENCH= 21308a801a9cbe43fb5a50efc40ff8ff
RANDOM SEED=780762676

nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3632.523
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
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.951
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
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		: 3632.540
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
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		: 3686.614
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
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.862
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
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		: 3686.716
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
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.827
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.092
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124481708 kB
MemAvailable:   125130844 kB
Buffers:          396988 kB
Cached:          1088584 kB
SwapCached:            0 kB
Active:           760592 kB
Inactive:        5674808 kB
Active(anon):       1536 kB
Inactive(anon):  4986008 kB
Active(file):     759056 kB
Inactive(file):   688800 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4096 kB
Writeback:             0 kB
AnonPages:       4949900 kB
Mapped:           124876 kB
Shmem:             37724 kB
KReclaimable:      82208 kB
Slab:             187676 kB
SReclaimable:      82208 kB
SUnreclaim:       105468 kB
KernelStack:        5040 kB
PageTables:        19784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9691300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64224 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4624384 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      199380 kB
DirectMap2M:    18448384 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC035 at 2024-07-16 17:47:58