Trace number 4440364

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 2024 2024-07-07SAT (TO)305 3600.21 3616.82

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
MD5SUM21e5c9aefd9c10ac1801b7f257b8155f
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 benchmark304
Best CPU time to get the best result obtained on this benchmark0.004932
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables257
Total number of constraints97
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)97
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Number of terms in the objective function 173
Biggest coefficient in the objective function 100
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 8448
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 100
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 8448
Number of bits of the biggest sum of numbers14
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.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	Expensive reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c Expensive reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4440364-1721765588.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c using VERIPB proof format
0.13/0.12	c  objective function found
0.13/0.15	c ... done. Wall clock time 0.024s.
0.13/0.15	c declared #vars     257
0.13/0.15	c #constraints  182
0.13/0.15	c constraints type 
0.13/0.15	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 80
0.13/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 56
0.13/0.15	c org.sat4j.specs.Constr$1 => 1
0.13/0.15	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.13/0.15	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 44
0.13/0.15	c 182 constraints processed.
0.13/0.16	c objective function length is 173 literals
0.13/0.16	c SATISFIABLE
0.13/0.16	c OPTIMIZING...
0.13/0.16	c Got one! Elapsed wall clock time (in seconds):0.043
0.13/0.16	o 305
1.10/0.63	c cleaning 2495 clauses out of 5001 with flag 10185/5001
1.68/0.99	c cleaning 4253 clauses out of 8506 with flag 22211/11001
2.47/1.36	c cleaning 5624 clauses out of 11253 with flag 36211/18001
3.25/1.70	c cleaning 6813 clauses out of 13628 with flag 52209/26000
3.70/2.04	c cleaning 7908 clauses out of 15816 with flag 70211/35001
4.17/2.36	c cleaning 8952 clauses out of 17908 with flag 90211/45001
4.74/2.73	c cleaning 9975 clauses out of 19956 with flag 112211/56001
5.15/3.10	c cleaning 10990 clauses out of 21981 with flag 136211/68001
5.54/3.51	c cleaning 11992 clauses out of 23991 with flag 162211/81001
5.94/3.98	c cleaning 12999 clauses out of 25999 with flag 190211/95001
6.44/4.48	c cleaning 13998 clauses out of 28000 with flag 220211/110001
7.06/5.04	c cleaning 14998 clauses out of 30002 with flag 252211/126001
7.80/5.70	c cleaning 15999 clauses out of 32004 with flag 286211/143001
8.41/6.31	c cleaning 16999 clauses out of 34005 with flag 322313/161001
9.12/7.01	c cleaning 18002 clauses out of 36006 with flag 360313/180001
9.91/7.88	c cleaning 19001 clauses out of 38004 with flag 400313/200001
10.90/8.82	c cleaning 20001 clauses out of 40003 with flag 442313/221001
11.90/9.82	c cleaning 20999 clauses out of 42001 with flag 486311/243000
12.81/10.76	c cleaning 22001 clauses out of 44002 with flag 532311/266000
13.90/11.82	c cleaning 22999 clauses out of 46001 with flag 580311/290000
15.01/12.91	c cleaning 23998 clauses out of 48003 with flag 630313/315001
16.02/13.93	c cleaning 25000 clauses out of 50005 with flag 682313/341001
17.14/15.00	c cleaning 25994 clauses out of 52004 with flag 736311/368000
18.15/16.08	c cleaning 27003 clauses out of 54011 with flag 792313/396001
19.34/17.24	c cleaning 28002 clauses out of 56007 with flag 850311/425000
20.56/18.34	c cleaning 29003 clauses out of 58005 with flag 910311/455000
21.66/19.44	c cleaning 30000 clauses out of 60002 with flag 972311/486000
23.07/20.82	c cleaning 31000 clauses out of 62002 with flag 1036311/518000
24.38/22.16	c cleaning 31996 clauses out of 64002 with flag 1102311/551000
25.97/23.71	c cleaning 33002 clauses out of 66007 with flag 1170313/585001
27.53/25.26	c cleaning 33996 clauses out of 68004 with flag 1240325/620000
29.89/27.57	c cleaning 35000 clauses out of 70008 with flag 1312325/656000
33.08/30.75	c cleaning 36000 clauses out of 72008 with flag 1386325/693000
35.39/33.00	c cleaning 37002 clauses out of 74008 with flag 1462325/731000
37.78/35.43	c cleaning 38000 clauses out of 76006 with flag 1540325/770000
39.93/38.00	c cleaning 38999 clauses out of 78007 with flag 1620327/810001
42.52/40.54	c cleaning 40002 clauses out of 80008 with flag 1702327/851001
45.22/43.28	c cleaning 41002 clauses out of 82006 with flag 1786327/893001
48.12/46.18	c cleaning 41997 clauses out of 84004 with flag 1872327/936001
51.61/49.62	c cleaning 42999 clauses out of 86007 with flag 1960327/980001
55.61/53.67	c cleaning 44003 clauses out of 88008 with flag 2050327/1025001
59.70/57.71	c cleaning 44998 clauses out of 90005 with flag 2142327/1071001
64.39/62.43	c cleaning 46002 clauses out of 92007 with flag 2236327/1118001
69.28/67.32	c cleaning 47001 clauses out of 94005 with flag 2332327/1166001
73.46/71.62	c cleaning 47996 clauses out of 96003 with flag 2430325/1215000
77.45/75.61	c cleaning 48999 clauses out of 98008 with flag 2530327/1265001
81.84/80.09	c cleaning 50000 clauses out of 100008 with flag 2632325/1316000
86.14/84.38	c cleaning 51004 clauses out of 102009 with flag 2736327/1368001
90.93/89.17	c cleaning 52001 clauses out of 104005 with flag 2842327/1421001
96.35/94.52	c cleaning 53000 clauses out of 106003 with flag 2950325/1475000
101.45/99.89	c cleaning 53999 clauses out of 108003 with flag 3060325/1530000
107.03/105.47	c cleaning 54998 clauses out of 110004 with flag 3172325/1586000
113.22/111.63	c cleaning 55999 clauses out of 112006 with flag 3286325/1643000
119.52/117.92	c cleaning 56998 clauses out of 114007 with flag 3402325/1701000
126.51/124.91	c cleaning 58005 clauses out of 116010 with flag 3520327/1760001
132.85/131.83	c cleaning 58996 clauses out of 118004 with flag 3640325/1820000
140.05/139.10	c cleaning 60003 clauses out of 120008 with flag 3762325/1881000
148.02/147.05	c cleaning 60998 clauses out of 122005 with flag 3886325/1943000
156.01/155.03	c cleaning 61998 clauses out of 124007 with flag 4012325/2006000
165.08/164.57	c cleaning 63003 clauses out of 126009 with flag 4140325/2070000
174.75/174.20	c cleaning 64000 clauses out of 128006 with flag 4270325/2135000
185.38/184.82	c cleaning 64994 clauses out of 130006 with flag 4402325/2201000
195.31/194.99	c cleaning 66006 clauses out of 132014 with flag 4536329/2268002
205.39/205.03	c cleaning 66999 clauses out of 134007 with flag 4672327/2336001
215.67/215.32	c cleaning 67999 clauses out of 136007 with flag 4810325/2405000
226.33/226.15	c cleaning 68992 clauses out of 138008 with flag 4950325/2475000
237.41/237.28	c cleaning 70006 clauses out of 140017 with flag 5092327/2546001
248.68/248.55	c cleaning 71002 clauses out of 142010 with flag 5236325/2618000
261.09/261.19	c cleaning 72003 clauses out of 144008 with flag 5382325/2691000
273.35/273.42	c cleaning 73000 clauses out of 146006 with flag 5530327/2765001
286.79/287.01	c cleaning 74003 clauses out of 148005 with flag 5680325/2840000
299.98/300.26	c cleaning 75001 clauses out of 150003 with flag 5832327/2916001
314.43/314.74	c cleaning 76001 clauses out of 152001 with flag 5986325/2993000
329.02/329.47	c cleaning 76998 clauses out of 154001 with flag 6142327/3071001
344.48/344.91	c cleaning 77997 clauses out of 156002 with flag 6300325/3150000
360.14/362.35	c cleaning 79000 clauses out of 158005 with flag 6460325/3230000
376.20/378.41	c cleaning 79999 clauses out of 160005 with flag 6622329/3311000
385.49/387.88	c cleaning 81001 clauses out of 162006 with flag 6786329/3393000
397.06/399.48	c cleaning 82000 clauses out of 164005 with flag 6952329/3476000
409.87/412.29	c cleaning 83001 clauses out of 166005 with flag 7120329/3560000
423.03/425.55	c cleaning 83997 clauses out of 168004 with flag 7290329/3645000
435.63/438.11	c cleaning 84999 clauses out of 170008 with flag 7462362/3731001
447.04/449.67	c cleaning 86002 clauses out of 172008 with flag 7636365/3818000
458.84/461.40	c cleaning 87001 clauses out of 174006 with flag 7812401/3906000
472.15/474.76	c cleaning 88003 clauses out of 176005 with flag 7990457/3995000
484.94/487.61	c cleaning 88995 clauses out of 178003 with flag 8170549/4085001
498.45/501.11	c cleaning 89998 clauses out of 180007 with flag 8352547/4176000
512.77/515.55	c cleaning 91001 clauses out of 182010 with flag 8536549/4268001
526.78/529.55	c cleaning 92004 clauses out of 184009 with flag 8722549/4361001
542.36/545.18	c cleaning 93003 clauses out of 186005 with flag 8910549/4455001
559.51/562.35	c cleaning 93995 clauses out of 188002 with flag 9100549/4550001
577.76/580.64	c cleaning 95002 clauses out of 190007 with flag 9292549/4646001
597.92/601.05	c cleaning 95996 clauses out of 192005 with flag 9486549/4743001
618.82/621.96	c cleaning 97005 clauses out of 194009 with flag 9682549/4841001
635.10/638.37	c cleaning 97998 clauses out of 196003 with flag 9880672/4940000
652.76/656.01	c cleaning 98998 clauses out of 198005 with flag 10080861/5040000
670.21/673.58	c cleaning 99999 clauses out of 200008 with flag 10283018/5141001
690.90/694.31	c cleaning 101002 clauses out of 202009 with flag 10487306/5243001
710.67/714.12	c cleaning 101998 clauses out of 204006 with flag 10694474/5346000
733.33/736.99	c cleaning 102998 clauses out of 206009 with flag 10903091/5450001
756.22/759.94	c cleaning 104005 clauses out of 208010 with flag 11113542/5555000
778.37/782.14	c cleaning 105000 clauses out of 210006 with flag 11326222/5661001
801.01/804.82	c cleaning 106001 clauses out of 212006 with flag 11540932/5768001
822.36/826.23	c cleaning 106993 clauses out of 214004 with flag 11757327/5876000
844.11/849.16	c cleaning 108003 clauses out of 216013 with flag 11975460/5985002
867.06/872.12	c cleaning 109002 clauses out of 218008 with flag 12195606/6095000
894.07/899.64	c cleaning 110001 clauses out of 220007 with flag 12417987/6206001
918.05/923.72	c cleaning 111001 clauses out of 222006 with flag 12642107/6318001
942.13/948.19	c cleaning 112000 clauses out of 224006 with flag 12868529/6431002
969.01/975.13	c cleaning 112996 clauses out of 226004 with flag 13097258/6545000
997.56/1003.73	c cleaning 114001 clauses out of 228008 with flag 13327809/6660000
1020.90/1027.11	c cleaning 114999 clauses out of 230007 with flag 13560543/6776000
1048.57/1054.91	c cleaning 116002 clauses out of 232008 with flag 13796384/6893000
1076.06/1082.53	c cleaning 116998 clauses out of 234006 with flag 14040490/7011000
1102.23/1108.85	c cleaning 118003 clauses out of 236008 with flag 14286026/7130000
1127.72/1134.51	c cleaning 119002 clauses out of 238005 with flag 14534666/7250000
1155.47/1162.32	c cleaning 119995 clauses out of 240003 with flag 14784001/7371000
1186.92/1193.82	c cleaning 121002 clauses out of 242008 with flag 15032653/7493000
1217.56/1224.59	c cleaning 122002 clauses out of 244006 with flag 15286067/7616000
1247.02/1254.13	c cleaning 122999 clauses out of 246004 with flag 15541094/7740000
1279.15/1286.38	c cleaning 123998 clauses out of 248005 with flag 15798344/7865000
1314.65/1321.90	c cleaning 125000 clauses out of 250007 with flag 16056121/7991000
1347.35/1354.73	c cleaning 125998 clauses out of 252007 with flag 16319072/8118000
1379.15/1386.64	c cleaning 127001 clauses out of 254009 with flag 16586558/8246000
1419.35/1426.93	c cleaning 128000 clauses out of 256008 with flag 16853429/8375000
1453.30/1460.93	c cleaning 129002 clauses out of 258008 with flag 17120752/8505000
1485.08/1492.89	c cleaning 130000 clauses out of 260006 with flag 17390921/8636000
1519.31/1527.21	c cleaning 131003 clauses out of 262006 with flag 17659566/8768000
1543.01/1550.96	c cleaning 132001 clauses out of 264003 with flag 17929272/8901000
1561.86/1569.84	c cleaning 132994 clauses out of 266002 with flag 18197272/9035000
1581.05/1589.19	c cleaning 133998 clauses out of 268008 with flag 18467272/9170000
1601.49/1609.64	c cleaning 135004 clauses out of 270010 with flag 18739272/9306000
1621.40/1629.68	c cleaning 135998 clauses out of 272006 with flag 19013272/9443000
1643.53/1651.86	c cleaning 137002 clauses out of 274008 with flag 19289272/9581000
1666.11/1674.46	c cleaning 138003 clauses out of 276006 with flag 19567272/9720000
1688.50/1697.00	c cleaning 139001 clauses out of 278003 with flag 19847272/9860000
1710.33/1718.84	c cleaning 139997 clauses out of 280002 with flag 20129272/10001000
1734.62/1743.23	c cleaning 141001 clauses out of 282005 with flag 20413272/10143000
1761.71/1770.33	c cleaning 141999 clauses out of 284004 with flag 20699272/10286000
1787.81/1796.51	c cleaning 142999 clauses out of 286005 with flag 20987272/10430000
1815.00/1823.94	c cleaning 143999 clauses out of 288006 with flag 21277272/10575000
1842.63/1851.69	c cleaning 145000 clauses out of 290007 with flag 21569272/10721000
1873.38/1882.41	c cleaning 146000 clauses out of 292007 with flag 21863272/10868000
1901.62/1910.72	c cleaning 147000 clauses out of 294007 with flag 22159272/11016000
1930.03/1939.22	c cleaning 147999 clauses out of 296007 with flag 22457272/11165000
1959.30/1968.56	c cleaning 149001 clauses out of 298008 with flag 22757272/11315000
1992.90/2002.27	c cleaning 150000 clauses out of 300007 with flag 23059272/11466000
2028.82/2038.29	c cleaning 151002 clauses out of 302007 with flag 23363272/11618000
2064.95/2074.44	c cleaning 151998 clauses out of 304005 with flag 23669272/11771000
2101.50/2111.01	c cleaning 153002 clauses out of 306007 with flag 23977272/11925000
2134.58/2144.12	c cleaning 154002 clauses out of 308005 with flag 24287272/12080000
2168.64/2178.21	c cleaning 155002 clauses out of 310003 with flag 24599272/12236000
2210.29/2219.92	c cleaning 155998 clauses out of 312001 with flag 24913272/12393000
2251.26/2261.10	c cleaning 156997 clauses out of 314003 with flag 25229272/12551000
2295.97/2305.82	c cleaning 158003 clauses out of 316006 with flag 25547272/12710000
2341.31/2351.35	c cleaning 159002 clauses out of 318003 with flag 25867272/12870000
2389.05/2399.42	c cleaning 159996 clauses out of 320001 with flag 26189277/13031000
2419.58/2430.06	c cleaning 160998 clauses out of 322005 with flag 26513277/13193000
2454.19/2464.87	c cleaning 162001 clauses out of 324007 with flag 26839277/13356000
2489.63/2500.31	c cleaning 163001 clauses out of 326006 with flag 27167277/13520000
2528.47/2539.25	c cleaning 164002 clauses out of 328005 with flag 27497277/13685000
2560.76/2571.67	c cleaning 164993 clauses out of 330003 with flag 27829277/13851000
2603.90/2614.91	c cleaning 166001 clauses out of 332010 with flag 28163277/14018000
2650.26/2661.42	c cleaning 167003 clauses out of 334009 with flag 28499277/14186000
2694.28/2705.57	c cleaning 167999 clauses out of 336006 with flag 28837277/14355000
2739.17/2750.53	c cleaning 169001 clauses out of 338007 with flag 29177277/14525000
2781.02/2792.53	c cleaning 169999 clauses out of 340006 with flag 29519277/14696000
2828.79/2840.48	c cleaning 171000 clauses out of 342007 with flag 29863277/14868000
2867.91/2879.66	c cleaning 172001 clauses out of 344007 with flag 30209277/15041000
2912.76/2924.67	c cleaning 173001 clauses out of 346006 with flag 30557277/15215000
2966.04/2978.09	c cleaning 173998 clauses out of 348005 with flag 30907277/15390000
3017.00/3029.44	c cleaning 175002 clauses out of 350007 with flag 31259277/15566000
3067.76/3080.33	c cleaning 176000 clauses out of 352005 with flag 31613277/15743000
3116.84/3129.69	c cleaning 177002 clauses out of 354005 with flag 31969277/15921000
3172.28/3185.28	c cleaning 178001 clauses out of 356003 with flag 32327277/16100000
3209.90/3222.93	c cleaning 178995 clauses out of 358002 with flag 32687603/16280000
3234.24/3247.71	c cleaning 180002 clauses out of 360007 with flag 33049608/16461000
3259.65/3273.60	c cleaning 180999 clauses out of 362005 with flag 33413608/16643000
3285.71/3300.12	c cleaning 181999 clauses out of 364006 with flag 33779608/16826000
3312.48/3326.81	c cleaning 182999 clauses out of 366007 with flag 34147608/17010000
3337.51/3351.94	c cleaning 184000 clauses out of 368008 with flag 34517608/17195000
3363.04/3377.51	c cleaning 185001 clauses out of 370008 with flag 34889608/17381000
3389.75/3404.38	c cleaning 186004 clauses out of 372007 with flag 35263608/17568000
3417.88/3432.66	c cleaning 187002 clauses out of 374003 with flag 35639608/17756000
3443.99/3459.00	c cleaning 187999 clauses out of 376001 with flag 36017608/17945000
3476.50/3491.54	c cleaning 188996 clauses out of 378002 with flag 36397608/18135000
3507.29/3522.56	c cleaning 190000 clauses out of 380006 with flag 36779608/18326000
3535.44/3552.02	c cleaning 190996 clauses out of 382006 with flag 37163613/18518000
3564.11/3580.76	c cleaning 192001 clauses out of 384010 with flag 37549613/18711000
3595.57/3612.24	c cleaning 193001 clauses out of 386009 with flag 37937613/18905000
3600.01/3616.71	c starts		: 103
3600.01/3616.72	c conflicts		: 18951003
3600.01/3616.72	c decisions		: 29726599
3600.01/3616.72	c propagations		: 1456545086
3600.01/3616.72	c inspects		: 33741022824
3600.01/3616.72	c shortcuts		: 0
3600.01/3616.72	c learnt literals	: 0
3600.01/3616.72	c learnt binary clauses	: 0
3600.01/3616.72	c learnt ternary clauses	: 0
3600.01/3616.72	c learnt constraints	: 18951003
3600.01/3616.72	c ignored constraints	: 0
3600.01/3616.72	c root simplifications	: 0
3600.01/3616.72	c removed literals (reason simplification)	: 207506909
3600.01/3616.72	c reason swapping (by a shorter reason)	: 0
3600.01/3616.72	c Calls to reduceDB	: 190
3600.01/3616.72	c Number of update (reduction) of LBD	: 3842
3600.01/3616.72	c Imported unit clauses	: 0
3600.01/3616.72	c No decision after first conflict	: false
3600.01/3616.72	c number of reductions to clauses (during analyze)	: 0
3600.01/3616.72	c number of learned constraints concerned by reduction	: 0
3600.01/3616.72	c number of learning phase by resolution	: 0
3600.01/3616.72	c number of learning phase by cutting planes	: 0
3600.01/3616.72	c number of rounding to 1 operations	: 0
3600.01/3616.72	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3616.72	c number of reductions of the coefficients by power 2 	: 0
3600.01/3616.72	c number of right shift for reduction by power 2 	: 0
3600.01/3616.72	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3616.72	c number of ending skipping 	: 0
3600.01/3616.72	c number of internal skipping 	: 0
3600.01/3616.72	c number of derivation steps 	: 0
3600.01/3616.72	c number of skipped derivation steps 	: 0
3600.01/3616.72	c number of remaining unassigned 	: 0
3600.01/3616.72	c number of remaining assigned 	: 0
3600.01/3616.72	c number of falsified literals weakened from reason	: 0
3600.01/3616.72	c number of falsified literals weakened from conflict	: 0
3600.01/3616.72	c time for arithmetic operations	: 0
3600.01/3616.72	c minimum degree of deleted constraints	: null
3600.01/3616.72	c maximum degree of deleted constraints	: null
3600.01/3616.72	c number of deleted constraints	: 0
3600.01/3616.72	c speed (assignments/second)	: 402743.5724087855
3600.01/3616.72	c non guided choices	: 15
3600.01/3616.78	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 239011
3600.01/3616.78	s SATISFIABLE
3600.01/3616.78	c Found 1 solution(s)
3600.01/3616.78	v x1 -x2 -x3 x4 -x5 x6 -x7 x8 x9 -x10 -x11 -x12 x13 x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 x38 -x39 x40 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 x60 -x61 x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 x113 -x114 -x115 -x116 -x117 x118 x119 -x120 x121 x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 x130 x131 x132 x133 x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 x142 x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 x153 x154 x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 x164 -x165 -x166 x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 x180 x181 x182 -x183 x184 -x185 x186 x187 x188 x189 -x190 -x191 -x192 x193 x194 x195 x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 x205 x206 -x207 -x208 -x209 -x210 x211 x212 -x213 -x214 -x215 x216 -x217 -x218 x219 -x220 -x221 -x222 x223 -x224 x225 -x226 -x227 -x228 -x229 x230 x231 x232 -x233 -x234 -x235 -x236 x237 x238 x239 x240 -x241 x242 x243 x244 -x245 -x246 x247 x248 x249 x250 -x251 -x252 x253 x254 x255 -x256 x257 
3600.01/3616.80	c objective function=305
3600.01/3616.80	c Total wall clock time (in seconds): 3616.68

Verifier Data 

OK	305

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=132241, runsolver pid=132231
Current StackSize limit: 8192 KiB


[startup+0.101224 s]*
/proc/loadavg: 2.12 2.11 2.08 12/334 132318
/proc/meminfo: memFree=107952664/131524600 swapFree=131071996/131071996
[pid=132241] ppid=132231 vsize=18975048 memory=65800 CPUtime=0.13 cores=5,7
/proc/132241/stat : 132241 (java) S 132231 132241 132177 0 -1 1077936128 7185 0 0 0 12 1 0 0 20 0 18 0 13081345 19430449152 16450 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
/proc/132241/statm: 4743762 16450 5436 1 0 549375 0
[pid=132241/tid=132252] ppid=132231 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=5,7
/proc/132241/task/132252/stat : 132252 (java) R 132231 132241 132177 0 -1 4194368 5745 0 0 0 8 1 0 0 20 0 18 0 13081345 19430449152 16450 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13081346 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132291] ppid=132231 vsize=18975048 memory=18993 CPUtime=0 cores=5,7
/proc/132241/task/132291/stat : 132291 (Finalizer) S 132231 132241 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13081348 19430449152 16450 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132318] ppid=132231 vsize=18975048 memory=15261445554177769 CPUtime=0 cores=5,7
/proc/132241/task/132318/stat : 132318 (Common-Cleaner) S 132231 132241 132177 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13081348 19430449152 16450 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65800 KiB

[startup+0.206661 s]*
/proc/loadavg: 2.12 2.11 2.08 13/337 132321
/proc/meminfo: memFree=107907624/131524600 swapFree=131071996/131071996
[pid=132241] ppid=132231 vsize=19041612 memory=73168 CPUtime=0.33 cores=5,7
/proc/132241/stat : 132241 (java) S 132231 132241 132177 0 -1 1077936128 7767 0 0 0 31 2 0 0 20 0 19 0 13081345 19498610688 18292 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
/proc/132241/statm: 4760403 18292 5739 1 0 549973 0
[pid=132241/tid=132252] ppid=132231 vsize=19041612 memory=664970851429515395 CPUtime=0.18 cores=5,7
/proc/132241/task/132252/stat : 132252 (java) R 132231 132241 132177 0 -1 4194368 6056 0 0 0 17 1 0 0 20 0 19 0 13081345 19498610688 18292 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13081346 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132291] ppid=132231 vsize=19041612 memory=18993 CPUtime=0 cores=5,7
/proc/132241/task/132291/stat : 132291 (Finalizer) S 132231 132241 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 13081348 19498610688 18292 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132318] ppid=132231 vsize=19041612 memory=15261445554177769 CPUtime=0 cores=5,7
/proc/132241/task/132318/stat : 132318 (Common-Cleaner) S 132231 132241 132177 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13081348 19498610688 18292 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132320] ppid=132231 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/132241/task/132320/stat : 132320 (Timer-0) S 132231 132241 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13081361 19498610688 18292 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73168 KiB

[startup+0.316884 s]*
/proc/loadavg: 2.12 2.11 2.08 12/338 132322
/proc/meminfo: memFree=107763520/131524600 swapFree=131071996/131071996
[pid=132241] ppid=132231 vsize=19041612 memory=92512 CPUtime=0.54 cores=5,7
/proc/132241/stat : 132241 (java) S 132231 132241 132177 0 -1 1077936128 9802 0 0 0 52 2 0 0 20 0 19 0 13081345 19498610688 23128 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
/proc/132241/statm: 4760403 23128 5842 1 0 551108 0
[pid=132241/tid=132252] ppid=132231 vsize=19041612 memory=-8888531620846150332 CPUtime=0.29 cores=5,7
/proc/132241/task/132252/stat : 132252 (java) R 132231 132241 132177 0 -1 4194368 6090 0 0 0 28 1 0 0 20 0 19 0 13081345 19498610688 23128 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13081346 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132291] ppid=132231 vsize=19041612 memory=7726608604345751876 CPUtime=0 cores=5,7
/proc/132241/task/132291/stat : 132291 (Finalizer) S 132231 132241 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 13081348 19498610688 23128 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132318] ppid=132231 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/132241/task/132318/stat : 132318 (Common-Cleaner) S 132231 132241 132177 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13081348 19498610688 23128 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132320] ppid=132231 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/132241/task/132320/stat : 132320 (Timer-0) S 132231 132241 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13081361 19498610688 23128 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 92512 KiB

[startup+0.700941 s]
/proc/loadavg: 2.12 2.11 2.08 15/340 132324
/proc/meminfo: memFree=107639400/131524600 swapFree=131071996/131071996
[pid=132241] ppid=132231 vsize=19041612 memory=153852 CPUtime=1.28 cores=5,7
/proc/132241/stat : 132241 (java) S 132231 132241 132177 0 -1 1077936128 12857 0 0 0 124 4 0 0 20 0 19 0 13081345 19498610688 38463 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
/proc/132241/statm: 4760403 38463 5858 1 0 553502 0
[pid=132241/tid=132252] ppid=132231 vsize=19041612 memory=52816 CPUtime=0.65 cores=5,7
/proc/132241/task/132252/stat : 132252 (java) R 132231 132241 132177 0 -1 4194368 6147 0 0 0 62 3 0 0 20 0 19 0 13081345 19498610688 38463 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13081346 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132291] ppid=132231 vsize=19041612 memory=13048 CPUtime=0 cores=5,7
/proc/132241/task/132291/stat : 132291 (Finalizer) S 132231 132241 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 13081348 19498610688 38463 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132318] ppid=132231 vsize=19041612 memory=2268 CPUtime=0 cores=5,7
/proc/132241/task/132318/stat : 132318 (Common-Cleaner) S 132231 132241 132177 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13081348 19498610688 38463 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132320] ppid=132231 vsize=19041612 memory=39748 CPUtime=0 cores=5,7
/proc/132241/task/132320/stat : 132320 (Timer-0) S 132231 132241 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13081361 19498610688 38463 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 153852 KiB

[startup+1.50194 s]
/proc/loadavg: 2.12 2.11 2.08 13/343 132327
/proc/meminfo: memFree=107463988/131524600 swapFree=131071996/131071996
[pid=132241] ppid=132231 vsize=19108176 memory=182036 CPUtime=2.87 cores=5,7
/proc/132241/stat : 132241 (java) S 132231 132241 132177 0 -1 1077936128 20416 0 0 0 281 6 0 0 20 0 20 0 13081345 19566772224 45509 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
/proc/132241/statm: 4777044 45509 5914 1 0 554839 0
[pid=132241/tid=132252] ppid=132231 vsize=19108176 memory=13048 CPUtime=1.43 cores=5,7
/proc/132241/task/132252/stat : 132252 (java) R 132231 132241 132177 0 -1 4194368 6564 0 0 0 139 4 0 0 20 0 20 0 13081345 19566772224 45509 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13081346 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132291] ppid=132231 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/132241/task/132291/stat : 132291 (Finalizer) S 132231 132241 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 45509 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132318] ppid=132231 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/132241/task/132318/stat : 132318 (Common-Cleaner) S 132231 132241 132177 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 45509 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132320] ppid=132231 vsize=19108176 memory=39748 CPUtime=0 cores=5,7
/proc/132241/task/132320/stat : 132320 (Timer-0) S 132231 132241 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13081361 19566772224 45509 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182036 KiB

[startup+3.10667 s]
/proc/loadavg: 2.43 2.17 2.11 7/343 132327
/proc/meminfo: memFree=106043424/131524600 swapFree=131071996/131071996
[pid=132241] ppid=132231 vsize=19108176 memory=299520 CPUtime=5.15 cores=5,7
/proc/132241/stat : 132241 (java) S 132231 132241 132177 0 -1 1077936128 22163 0 0 0 505 10 0 0 20 0 20 0 13081345 19566772224 74880 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
/proc/132241/statm: 4777044 74880 5918 1 0 554844 0
[pid=132241/tid=132252] ppid=132231 vsize=19108176 memory=0 CPUtime=3 cores=5,7
/proc/132241/task/132252/stat : 132252 (java) R 132231 132241 132177 0 -1 4194368 7010 0 0 0 293 7 0 0 20 0 20 0 13081345 19566772224 74880 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13081346 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132291] ppid=132231 vsize=19108176 memory=-9104704402959934140 CPUtime=0 cores=5,7
/proc/132241/task/132291/stat : 132291 (Finalizer) S 132231 132241 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 74880 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132318] ppid=132231 vsize=19108176 memory=13048 CPUtime=0 cores=5,7
/proc/132241/task/132318/stat : 132318 (Common-Cleaner) S 132231 132241 132177 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 74880 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132320] ppid=132231 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/132241/task/132320/stat : 132320 (Timer-0) S 132231 132241 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13081361 19566772224 74880 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
Current children cumulated CPU time: 5.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 299520 KiB

[startup+6.30028 s]
/proc/loadavg: 2.43 2.17 2.11 6/345 132331
/proc/meminfo: memFree=103144164/131524600 swapFree=131071996/131071996
[pid=132241] ppid=132231 vsize=19108176 memory=653160 CPUtime=8.41 cores=5,7
/proc/132241/stat : 132241 (java) S 132231 132241 132177 0 -1 1077936128 22592 0 0 0 820 21 0 0 20 0 20 0 13081345 19566772224 163290 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
/proc/132241/statm: 4777044 163290 5918 1 0 554846 0
[pid=132241/tid=132252] ppid=132231 vsize=19108176 memory=13048 CPUtime=6.13 cores=5,7
/proc/132241/task/132252/stat : 132252 (java) R 132231 132241 132177 0 -1 4194368 7327 0 0 0 595 18 0 0 20 0 20 0 13081345 19566772224 163290 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13081351 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132291] ppid=132231 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/132241/task/132291/stat : 132291 (Finalizer) S 132231 132241 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 163290 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132318] ppid=132231 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/132241/task/132318/stat : 132318 (Common-Cleaner) S 132231 132241 132177 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 163290 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132320] ppid=132231 vsize=19108176 memory=182036 CPUtime=0 cores=5,7
/proc/132241/task/132320/stat : 132320 (Timer-0) S 132231 132241 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13081361 19566772224 163290 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
Current children cumulated CPU time: 8.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 653160 KiB

[startup+12.7003 s]
/proc/loadavg: 2.56 2.20 2.12 8/345 132331
/proc/meminfo: memFree=98277208/131524600 swapFree=131071996/131071996
[pid=132241] ppid=132231 vsize=19108176 memory=1316848 CPUtime=14.82 cores=5,7
/proc/132241/stat : 132241 (java) S 132231 132241 132177 0 -1 1077936128 25225 0 0 0 1444 38 0 0 20 0 20 0 13081345 19566772224 329212 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
/proc/132241/statm: 4777044 329212 5918 1 0 554846 0
[pid=132241/tid=132252] ppid=132231 vsize=19108176 memory=182036 CPUtime=12.5 cores=5,7
/proc/132241/task/132252/stat : 132252 (java) R 132231 132241 132177 0 -1 4194368 8650 0 0 0 1216 34 0 0 20 0 20 0 13081345 19566772224 329212 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13081351 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132291] ppid=132231 vsize=19108176 memory=1312720 CPUtime=0 cores=5,7
/proc/132241/task/132291/stat : 132291 (Finalizer) S 132231 132241 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 329212 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132318] ppid=132231 vsize=19108176 memory=13048 CPUtime=0 cores=5,7
/proc/132241/task/132318/stat : 132318 (Common-Cleaner) S 132231 132241 132177 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 329212 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132320] ppid=132231 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/132241/task/132320/stat : 132320 (Timer-0) S 132231 132241 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13081361 19566772224 329212 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
Current children cumulated CPU time: 14.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1316848 KiB

[startup+25.5003 s]
/proc/loadavg: 2.88 2.29 2.15 6/344 132334
/proc/meminfo: memFree=95335372/131524600 swapFree=131071996/131071996
[pid=132241] ppid=132231 vsize=19108176 memory=1325216 CPUtime=27.89 cores=5,7
/proc/132241/stat : 132241 (java) S 132231 132241 132177 0 -1 1077936128 33258 0 0 0 2742 47 0 0 20 0 20 0 13081345 19566772224 331304 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
/proc/132241/statm: 4777044 331304 5918 1 0 554846 0
[pid=132241/tid=132252] ppid=132231 vsize=19108176 memory=1325160 CPUtime=25.23 cores=5,7
/proc/132241/task/132252/stat : 132252 (java) R 132231 132241 132177 0 -1 4194368 10087 0 0 0 2481 42 0 0 20 0 20 0 13081345 19566772224 331304 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13081351 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132291] ppid=132231 vsize=19108176 memory=-9104704402959934140 CPUtime=0 cores=5,7
/proc/132241/task/132291/stat : 132291 (Finalizer) S 132231 132241 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 331304 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132318] ppid=132231 vsize=19108176 memory=6944652177228980320 CPUtime=0 cores=5,7
/proc/132241/task/132318/stat : 132318 (Common-Cleaner) S 132231 132241 132177 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 331304 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132320] ppid=132231 vsize=19108176 memory=1325160 CPUtime=0 cores=5,7
/proc/132241/task/132320/stat : 132320 (Timer-0) S 132231 132241 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13081361 19566772224 331304 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
Current children cumulated CPU time: 27.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1325216 KiB

[startup+51.1069 s]
/proc/loadavg: 3.34 2.45 2.20 6/343 132337
/proc/meminfo: memFree=89133076/131524600 swapFree=131071996/131071996
[pid=132241] ppid=132231 vsize=19108176 memory=1329424 CPUtime=53.12 cores=5,7
/proc/132241/stat : 132241 (java) S 132231 132241 132177 0 -1 1077936128 39176 0 0 0 5257 55 0 0 20 0 20 0 13081345 19566772224 332356 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
/proc/132241/statm: 4777044 332356 5933 1 0 554846 0

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

[startup+3282.3 s]
/proc/loadavg: 4.48 4.47 4.37 6/338 134127
/proc/meminfo: memFree=570336/131524600 swapFree=131071472/131071996
[pid=132241] ppid=132231 vsize=19108176 memory=2050640 CPUtime=3268.38 cores=5,7
/proc/132241/stat : 132241 (java) S 132231 132241 132177 0 -1 1077936128 154745 0 0 0 326206 632 0 0 20 0 20 0 13081345 19566772224 512660 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
/proc/132241/statm: 4777044 512660 5933 1 0 554846 0
[pid=132241/tid=132252] ppid=132231 vsize=19108176 memory=13048 CPUtime=3255.53 cores=5,7
/proc/132241/task/132252/stat : 132252 (java) R 132231 132241 132177 0 -1 4194368 64126 0 0 0 325038 515 0 0 20 0 20 0 13081345 19566772224 512660 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13082571 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132291] ppid=132231 vsize=19108176 memory=1816 CPUtime=0 cores=5,7
/proc/132241/task/132291/stat : 132291 (Finalizer) S 132231 132241 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 512660 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132318] ppid=132231 vsize=19108176 memory=2050640 CPUtime=0 cores=5,7
/proc/132241/task/132318/stat : 132318 (Common-Cleaner) S 132231 132241 132177 0 -1 1077936192 3462 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 512660 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132320] ppid=132231 vsize=19108176 memory=40312 CPUtime=0 cores=5,7
/proc/132241/task/132320/stat : 132320 (Timer-0) S 132231 132241 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13081361 19566772224 512660 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
Current children cumulated CPU time: 3268.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2050640 KiB

[startup+3342.3 s]
/proc/loadavg: 4.50 4.46 4.37 7/338 134139
/proc/meminfo: memFree=674060/131524600 swapFree=131071216/131071996
[pid=132241] ppid=132231 vsize=19108176 memory=2122320 CPUtime=3327.93 cores=5,7
/proc/132241/stat : 132241 (java) S 132231 132241 132177 0 -1 1077936128 156658 0 0 0 332148 645 0 0 20 0 20 0 13081345 19566772224 530580 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
/proc/132241/statm: 4777044 530580 5933 1 0 554846 0
[pid=132241/tid=132252] ppid=132231 vsize=19108176 memory=2079312 CPUtime=3314.59 cores=5,7
/proc/132241/task/132252/stat : 132252 (java) R 132231 132241 132177 0 -1 4194368 64718 0 0 0 330934 525 0 0 20 0 20 0 13081345 19566772224 530580 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13082625 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132291] ppid=132231 vsize=19108176 memory=2079312 CPUtime=0 cores=5,7
/proc/132241/task/132291/stat : 132291 (Finalizer) S 132231 132241 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 530580 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132318] ppid=132231 vsize=19108176 memory=39748 CPUtime=0 cores=5,7
/proc/132241/task/132318/stat : 132318 (Common-Cleaner) S 132231 132241 132177 0 -1 1077936192 3523 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 530580 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132320] ppid=132231 vsize=19108176 memory=2122320 CPUtime=0 cores=5,7
/proc/132241/task/132320/stat : 132320 (Timer-0) S 132231 132241 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13081361 19566772224 530580 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
Current children cumulated CPU time: 3327.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2122320 KiB

[startup+3402.3 s]
/proc/loadavg: 4.86 4.57 4.42 6/338 134218
/proc/meminfo: memFree=59567112/131524600 swapFree=131071216/131071996
[pid=132241] ppid=132231 vsize=19108176 memory=2130512 CPUtime=3387.75 cores=5,7
/proc/132241/stat : 132241 (java) S 132231 132241 132177 0 -1 1077936128 158758 0 0 0 338117 658 0 0 20 0 20 0 13081345 19566772224 532628 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
/proc/132241/statm: 4777044 532628 5933 1 0 554846 0
[pid=132241/tid=132252] ppid=132231 vsize=19108176 memory=2079312 CPUtime=3374.22 cores=5,7
/proc/132241/task/132252/stat : 132252 (java) R 132231 132241 132177 0 -1 4194368 65816 0 0 0 336886 536 0 0 20 0 20 0 13081345 19566772224 532628 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13082638 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132291] ppid=132231 vsize=19108176 memory=2079312 CPUtime=0 cores=5,7
/proc/132241/task/132291/stat : 132291 (Finalizer) S 132231 132241 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 532628 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132318] ppid=132231 vsize=19108176 memory=7480 CPUtime=0 cores=5,7
/proc/132241/task/132318/stat : 132318 (Common-Cleaner) S 132231 132241 132177 0 -1 1077936192 3525 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 532628 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132320] ppid=132231 vsize=19108176 memory=2130512 CPUtime=0 cores=5,7
/proc/132241/task/132320/stat : 132320 (Timer-0) S 132231 132241 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13081361 19566772224 532628 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
Current children cumulated CPU time: 3387.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2130512 KiB

[startup+3462.3 s]
/proc/loadavg: 4.57 4.54 4.42 7/339 134234
/proc/meminfo: memFree=57927552/131524600 swapFree=131071216/131071996
[pid=132241] ppid=132231 vsize=19108176 memory=2130512 CPUtime=3447.44 cores=5,7
/proc/132241/stat : 132241 (java) S 132231 132241 132177 0 -1 1077936128 161125 0 0 0 344075 669 0 0 20 0 20 0 13081345 19566772224 532628 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
/proc/132241/statm: 4777044 532628 5933 1 0 554846 0
[pid=132241/tid=132252] ppid=132231 vsize=19108176 memory=2079312 CPUtime=3433.63 cores=5,7
/proc/132241/task/132252/stat : 132252 (java) R 132231 132241 132177 0 -1 4194368 67046 0 0 0 342818 545 0 0 20 0 20 0 13081345 19566772224 532628 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13082669 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132291] ppid=132231 vsize=19108176 memory=2079312 CPUtime=0 cores=5,7
/proc/132241/task/132291/stat : 132291 (Finalizer) S 132231 132241 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 532628 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132318] ppid=132231 vsize=19108176 memory=2130512 CPUtime=0 cores=5,7
/proc/132241/task/132318/stat : 132318 (Common-Cleaner) S 132231 132241 132177 0 -1 1077936192 3585 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 532628 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132320] ppid=132231 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/132241/task/132320/stat : 132320 (Timer-0) S 132231 132241 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13081361 19566772224 532628 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
Current children cumulated CPU time: 3447.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2130512 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.47 4.40 6/339 134311
/proc/meminfo: memFree=98116596/131524600 swapFree=131071216/131071996
[pid=132241] ppid=132231 vsize=19108176 memory=2130524 CPUtime=3507.09 cores=5,7
/proc/132241/stat : 132241 (java) S 132231 132241 132177 0 -1 1077936128 162220 0 0 0 350031 678 0 0 20 0 20 0 13081345 19566772224 532631 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
/proc/132241/statm: 4777044 532631 5933 1 0 554846 0
[pid=132241/tid=132252] ppid=132231 vsize=19108176 memory=2130524 CPUtime=3492.99 cores=5,7
/proc/132241/task/132252/stat : 132252 (java) R 132231 132241 132177 0 -1 4194368 67851 0 0 0 348746 553 0 0 20 0 20 0 13081345 19566772224 532631 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13082682 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132291] ppid=132231 vsize=19108176 memory=2130524 CPUtime=0 cores=5,7
/proc/132241/task/132291/stat : 132291 (Finalizer) S 132231 132241 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 532631 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132318] ppid=132231 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/132241/task/132318/stat : 132318 (Common-Cleaner) S 132231 132241 132177 0 -1 1077936192 3645 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 532631 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132320] ppid=132231 vsize=19108176 memory=-9104704402959934140 CPUtime=0 cores=5,7
/proc/132241/task/132320/stat : 132320 (Timer-0) S 132231 132241 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13081361 19566772224 532631 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
Current children cumulated CPU time: 3507.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2130524 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.42 4.38 6/338 134323
/proc/meminfo: memFree=96801404/131524600 swapFree=131071216/131071996
[pid=132241] ppid=132231 vsize=19108176 memory=2130552 CPUtime=3565.7 cores=5,7
/proc/132241/stat : 132241 (java) S 132231 132241 132177 0 -1 1077936128 164185 0 0 0 355882 688 0 0 20 0 20 0 13081345 19566772224 532638 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
/proc/132241/statm: 4777044 532638 5933 1 0 554846 0
[pid=132241/tid=132252] ppid=132231 vsize=19108176 memory=16140 CPUtime=3551.44 cores=5,7
/proc/132241/task/132252/stat : 132252 (java) R 132231 132241 132177 0 -1 4194368 68865 0 0 0 354583 561 0 0 20 0 20 0 13081345 19566772224 532638 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13082816 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132291] ppid=132231 vsize=19108176 memory=2130552 CPUtime=0 cores=5,7
/proc/132241/task/132291/stat : 132291 (Finalizer) S 132231 132241 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 532638 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132318] ppid=132231 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/132241/task/132318/stat : 132318 (Common-Cleaner) S 132231 132241 132177 0 -1 1077936192 3705 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 532638 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132320] ppid=132231 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/132241/task/132320/stat : 132320 (Timer-0) S 132231 132241 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13081361 19566772224 532638 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
Current children cumulated CPU time: 3565.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2130552 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3616.7 s]
/proc/loadavg: 4.27 4.40 4.38 6/337 134330
/proc/meminfo: memFree=95987032/131524600 swapFree=131071216/131071996
[pid=132241] ppid=132231 vsize=19108176 memory=2130556 CPUtime=3600.01 cores=5,7
/proc/132241/stat : 132241 (java) S 132231 132241 132177 0 -1 1077936128 166067 0 0 0 359306 695 0 0 20 0 20 0 13081345 19566772224 532639 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
/proc/132241/statm: 4777044 532639 5933 1 0 554846 0
[pid=132241/tid=132252] ppid=132231 vsize=19108176 memory=16140 CPUtime=3585.59 cores=5,7
/proc/132241/task/132252/stat : 132252 (java) R 132231 132241 132177 0 -1 4194368 69524 0 0 0 357992 567 0 0 20 0 20 0 13081345 19566772224 532639 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13082825 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132291] ppid=132231 vsize=19108176 memory=-9104704402959934140 CPUtime=0 cores=5,7
/proc/132241/task/132291/stat : 132291 (Finalizer) S 132231 132241 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 532639 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132318] ppid=132231 vsize=19108176 memory=7480 CPUtime=0 cores=5,7
/proc/132241/task/132318/stat : 132318 (Common-Cleaner) S 132231 132241 132177 0 -1 1077936192 3842 0 0 0 0 0 0 0 20 0 20 0 13081348 19566772224 532639 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132320] ppid=132231 vsize=19108176 memory=11684 CPUtime=0 cores=5,7
/proc/132241/task/132320/stat : 132320 (Timer-0) S 132231 132241 132177 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13081361 19566772224 532639 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2130556 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.25 s, system=6.96709 s

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

[startup+3616.8 s]
/proc/loadavg: 4.27 4.40 4.38 6/337 134330
/proc/meminfo: memFree=95987032/131524600 swapFree=131071216/131071996
[pid=132241] ppid=132231 vsize=19307868 memory=2131328 CPUtime=3600.19 cores=5,7
/proc/132241/stat : 132241 (java) S 132231 132241 132177 0 -1 1077936128 169253 0 0 0 359324 695 0 0 20 0 15 0 13081345 19771256832 532832 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
/proc/132241/statm: 4826967 532832 5934 1 0 555820 0
[pid=132241/tid=132252] ppid=132231 vsize=19307868 memory=13048 CPUtime=3585.67 cores=5,7
/proc/132241/task/132252/stat : 132252 (java) S 132231 132241 132177 0 -1 1077936192 69666 0 0 0 357999 568 0 0 20 0 15 0 13081345 19771256832 532832 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 13082825 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132291] ppid=132231 vsize=19307868 memory=5520 CPUtime=0 cores=5,7
/proc/132241/task/132291/stat : 132291 (Finalizer) S 132231 132241 132177 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 15 0 13081348 19771256832 532832 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
[pid=132241/tid=132318] ppid=132231 vsize=19307868 memory=16140 CPUtime=0 cores=5,7
/proc/132241/task/132318/stat : 132318 (Common-Cleaner) S 132231 132241 132177 0 -1 1077936192 3842 0 0 0 0 0 0 0 20 0 15 0 13081348 19771256832 532832 134679101440 93952186892288 93952186895984 140735867672560 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93952186903800 93952186904592 93952204148736 140735867679659 140735867679841 140735867679841 140735867686856 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2131328 KiB

Child status: 143

Real time (s): 3616.82
CPU time (s): 3600.21
CPU user time (s): 3593.25
CPU system time (s): 6.96709
CPU usage (%): 99.5407
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2131328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.25
system time used= 6.96709
maximum resident set size= 2132268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169302
page faults= 0
swaps= 0
block input operations= 56
block output operations= 7638984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109531
involuntary context switches= 6800


# summary of solver processes directly reported to runsolver:
#   pid: 132241
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3593.25
#   total CPU system time (s): 6.96709

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.00754 second user time and 21.4941 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-23 22:13:08
IDJOB=4440364
IDBENCH=146651
IDSOLVER=3079
FILE ID=nodeC017/4440364-1721765588
RUNJOBID= nodeC017-1721765588-132190
SLURM_JOB_ID= 7770662
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440364-1721765588/watcher-4440364-1721765588 -o /tmp/evaluation-result-4440364-1721765588/solver-4440364-1721765588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721765588-132190 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440364-1721765588 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440364-1721765588.opb

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

MD5SUM BENCH= 21e5c9aefd9c10ac1801b7f257b8155f
RANDOM SEED=613724501

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        108136580 kB
MemAvailable:   129673596 kB
Buffers:          195080 kB
Cached:         22076044 kB
SwapCached:            0 kB
Active:          1261344 kB
Inactive:       21354212 kB
Active(anon):       1440 kB
Inactive(anon):   388900 kB
Active(file):    1259904 kB
Inactive(file): 20965312 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1760 kB
Writeback:             0 kB
AnonPages:        343008 kB
Mapped:           108084 kB
Shmem:             45912 kB
KReclaimable:     303248 kB
Slab:             416068 kB
SReclaimable:     303248 kB
SUnreclaim:       112820 kB
KernelStack:        4036 kB
PageTables:         9724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     755880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21248 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 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:      305876 kB
DirectMap2M:    28827648 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC017 at 2024-07-23 23:13:25