Trace number 4440552

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-07? (TO) 3600.16 3644.17

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_8_mh.opb
MD5SUMa9be8bbda8fc39e79dda84fd9030ec23
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 benchmark7163838
Best CPU time to get the best result obtained on this benchmark2683.78
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31350
Total number of constraints73332
Number of constraints which are clauses57050
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints16250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 16825
Biggest coefficient in the objective function 119095488
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 17168297281
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 119095488
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 17168297281
Number of bits of the biggest sum of numbers34
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	Expensive reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4440552-1721821047.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  objective function found
1.06/0.61	c ... done. Wall clock time 0.478s.
1.06/0.61	c declared #vars     31350
1.06/0.61	c #constraints  74539
1.06/0.61	c constraints type 
1.06/0.61	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 45025
1.06/0.61	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 32
1.06/0.61	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14750
1.06/0.61	c org.sat4j.specs.Constr$1 => 3
1.06/0.61	c org.sat4j.pb.constraints.pb.UnitClausesPB => 3
1.06/0.61	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 14726
1.06/0.61	c 74539 constraints processed.
1.06/0.62	c objective function length is 16825 literals
7.61/4.74	c cleaning 2493 clauses out of 5006 with flag 22690/5006
11.13/7.88	c cleaning 4250 clauses out of 8507 with flag 52409/11000
15.08/11.62	c cleaning 5623 clauses out of 11258 with flag 88263/18001
19.25/15.77	c cleaning 6810 clauses out of 13634 with flag 139276/26000
24.05/20.57	c cleaning 7909 clauses out of 15824 with flag 202562/35000
29.44/25.97	c cleaning 8950 clauses out of 17915 with flag 279270/45000
38.53/34.62	c cleaning 9975 clauses out of 19965 with flag 347525/56000
47.10/42.97	c cleaning 10995 clauses out of 21992 with flag 402540/68002
53.49/49.39	c cleaning 11983 clauses out of 23995 with flag 462201/81000
60.59/56.43	c cleaning 13006 clauses out of 26012 with flag 531278/95000
69.61/65.54	c cleaning 14001 clauses out of 28007 with flag 606959/110001
77.40/73.41	c cleaning 14992 clauses out of 30005 with flag 684159/126000
87.15/83.07	c cleaning 16003 clauses out of 32014 with flag 759655/143001
94.41/90.27	c cleaning 16996 clauses out of 34010 with flag 840800/161000
102.08/97.99	c cleaning 18004 clauses out of 36019 with flag 963150/180005
110.66/106.58	c cleaning 19002 clauses out of 38011 with flag 1085307/200001
120.73/116.69	c cleaning 19996 clauses out of 40008 with flag 1216878/221000
124.93/120.88	c SATISFIABLE
124.93/120.88	c OPTIMIZING...
124.93/120.88	c Got one! Elapsed wall clock time (in seconds):120.756
124.93/120.88	o 270891604
125.06/120.96	c Got one! Elapsed wall clock time (in seconds):120.837
125.06/120.96	o 7843725
128.56/124.06	c cleaning 16993 clauses out of 34009 with flag 28700/235034
132.23/128.87	c cleaning 11498 clauses out of 23016 with flag 70552/241034
136.32/132.98	c cleaning 9256 clauses out of 18519 with flag 116864/248035
141.23/137.83	c cleaning 8620 clauses out of 17262 with flag 171402/256034
146.52/143.13	c cleaning 8813 clauses out of 17642 with flag 234039/265034
152.51/149.13	c cleaning 9407 clauses out of 18829 with flag 302349/275034
159.19/155.82	c cleaning 10198 clauses out of 20422 with flag 386669/286034
166.48/163.34	c cleaning 11094 clauses out of 22225 with flag 474569/298035
174.06/170.92	c cleaning 12061 clauses out of 24131 with flag 574918/311035
182.56/179.40	c cleaning 13020 clauses out of 26070 with flag 678003/325035
191.34/188.26	c cleaning 14021 clauses out of 28050 with flag 795315/340035
200.73/197.86	c cleaning 15003 clauses out of 30028 with flag 930367/356034
209.92/207.01	c cleaning 16000 clauses out of 32025 with flag 1088324/373034
219.80/216.98	c cleaning 17005 clauses out of 34025 with flag 1248115/391034
230.87/228.28	c cleaning 18002 clauses out of 36023 with flag 1422608/410037
242.95/240.47	c cleaning 19007 clauses out of 38018 with flag 1595223/430034
255.92/253.69	c cleaning 19983 clauses out of 40011 with flag 1745731/451034
261.57/259.38	c Got one! Elapsed wall clock time (in seconds):259.256
261.57/259.38	o 7836388
262.35/260.07	c Got one! Elapsed wall clock time (in seconds):259.947
262.35/260.07	o 7829884
264.52/262.10	c cleaning 17139 clauses out of 34310 with flag 20376/465318
267.41/265.05	c cleaning 11577 clauses out of 23169 with flag 58716/471316
271.08/268.76	c cleaning 9289 clauses out of 18592 with flag 114085/478316
275.33/273.01	c cleaning 8641 clauses out of 17303 with flag 176212/486316
279.99/277.76	c cleaning 8816 clauses out of 17662 with flag 247423/495316
285.39/283.39	c cleaning 9412 clauses out of 18847 with flag 317782/505317
291.27/289.22	c cleaning 10191 clauses out of 20434 with flag 394661/516316
297.87/295.82	c cleaning 11109 clauses out of 22244 with flag 483197/528317
305.06/303.09	c cleaning 12058 clauses out of 24135 with flag 571819/541317
312.84/310.83	c cleaning 13036 clauses out of 26076 with flag 666509/555316
320.88/319.05	c cleaning 14021 clauses out of 28041 with flag 778838/570317
329.36/327.54	c cleaning 14996 clauses out of 30019 with flag 910627/586316
338.96/337.13	c cleaning 16006 clauses out of 32025 with flag 1053142/603318
349.40/347.78	c cleaning 17002 clauses out of 34017 with flag 1209740/621316
360.88/359.21	c cleaning 18008 clauses out of 36016 with flag 1378028/640317
373.39/371.71	c cleaning 18993 clauses out of 38007 with flag 1570020/660316
385.84/384.35	c cleaning 20004 clauses out of 40014 with flag 1763662/681316
398.92/397.41	c cleaning 20992 clauses out of 42010 with flag 1961425/703316
411.59/411.15	c cleaning 21993 clauses out of 44016 with flag 2135703/726316
425.25/424.82	c cleaning 23002 clauses out of 46024 with flag 2307309/750317
440.30/439.91	c cleaning 24009 clauses out of 48023 with flag 2488949/775318
455.67/455.36	c cleaning 24997 clauses out of 50012 with flag 2698136/801316
471.91/471.68	c cleaning 26005 clauses out of 52015 with flag 2901964/828316
488.38/488.12	c cleaning 27001 clauses out of 54010 with flag 3113538/856316
505.41/505.28	c cleaning 27990 clauses out of 56009 with flag 3342856/885316
522.80/522.65	c cleaning 28996 clauses out of 58021 with flag 3574565/915318
540.84/540.71	c cleaning 29988 clauses out of 60024 with flag 3848890/946317
558.51/558.47	c cleaning 31002 clauses out of 62035 with flag 4149994/978316
578.19/578.18	c cleaning 31991 clauses out of 64033 with flag 4427390/1011316
599.02/599.01	c cleaning 33016 clauses out of 66043 with flag 4668545/1045317
619.19/619.21	c cleaning 34003 clauses out of 68026 with flag 4949040/1080316
639.71/639.87	c cleaning 34999 clauses out of 70023 with flag 5245659/1116316
662.75/662.92	c cleaning 35981 clauses out of 72024 with flag 5567976/1153316
685.40/685.61	c cleaning 37016 clauses out of 74042 with flag 5801982/1191316
707.66/707.98	c cleaning 38002 clauses out of 76027 with flag 6076528/1230317
730.72/731.03	c cleaning 38991 clauses out of 78024 with flag 6329505/1270317
755.08/755.44	c cleaning 40007 clauses out of 80033 with flag 6596582/1311317
780.77/781.96	c cleaning 40999 clauses out of 82025 with flag 6921353/1353316
807.10/808.35	c cleaning 42001 clauses out of 84026 with flag 7199663/1396316
835.13/836.48	c cleaning 43013 clauses out of 86027 with flag 7579355/1440318
863.31/864.69	c cleaning 43994 clauses out of 88012 with flag 8000771/1485316
893.26/894.66	c cleaning 44996 clauses out of 90018 with flag 8379976/1531316
920.81/922.22	c cleaning 45993 clauses out of 92022 with flag 8689621/1578316
949.84/951.33	c cleaning 47003 clauses out of 94030 with flag 9000172/1626317
979.20/980.73	c cleaning 48002 clauses out of 96026 with flag 9335622/1675316
1009.71/1011.38	c cleaning 49004 clauses out of 98024 with flag 9677142/1725316
1039.69/1041.37	c cleaning 50006 clauses out of 100022 with flag 10058418/1776318
1069.99/1071.82	c cleaning 50998 clauses out of 102015 with flag 10449421/1828317
1102.88/1104.80	c cleaning 51996 clauses out of 104016 with flag 10890635/1881316
1135.65/1137.67	c cleaning 53003 clauses out of 106020 with flag 11291276/1935316
1168.74/1171.05	c cleaning 53991 clauses out of 108017 with flag 11616573/1990316
1201.75/1204.33	c cleaning 55009 clauses out of 110026 with flag 11950567/2046316
1237.61/1240.54	c cleaning 55996 clauses out of 112018 with flag 12329069/2103317
1272.92/1275.99	c cleaning 57001 clauses out of 114021 with flag 12629960/2161316
1307.29/1310.32	c cleaning 57994 clauses out of 116020 with flag 12961709/2220316
1342.75/1345.87	c cleaning 59004 clauses out of 118027 with flag 13321843/2280317
1379.67/1382.92	c cleaning 59997 clauses out of 120022 with flag 13670664/2341316
1416.87/1420.59	c cleaning 61001 clauses out of 122025 with flag 14077142/2403316
1457.32/1461.10	c cleaning 61999 clauses out of 124024 with flag 14555444/2466316
1498.56/1502.36	c cleaning 63001 clauses out of 126026 with flag 14983238/2530317
1542.59/1546.46	c cleaning 64008 clauses out of 128024 with flag 15450970/2595316
1587.77/1591.80	c cleaning 64992 clauses out of 130016 with flag 15890132/2661316
1634.15/1638.45	c cleaning 66009 clauses out of 132032 with flag 16326165/2728324
1644.63/1648.93	c Got one! Elapsed wall clock time (in seconds):1648.801
1644.63/1648.93	o 7644615
1647.54/1651.72	c cleaning 42762 clauses out of 85587 with flag 33837/2747888
1650.94/1655.13	c cleaning 24377 clauses out of 48824 with flag 71113/2753887
1654.98/1659.17	c cleaning 15707 clauses out of 31448 with flag 111831/2760888
1660.07/1664.28	c cleaning 11834 clauses out of 23739 with flag 161791/2768887
1666.31/1670.54	c cleaning 10432 clauses out of 20905 with flag 224319/2777887
1673.69/1677.90	c cleaning 10224 clauses out of 20474 with flag 292501/2787888
1681.37/1685.66	c Got one! Elapsed wall clock time (in seconds):1685.533
1681.37/1685.66	o 7633938
1684.27/1688.47	c cleaning 13013 clauses out of 26036 with flag 25517/2803674
1687.67/1691.82	c cleaning 9496 clauses out of 19023 with flag 57331/2809674
1691.65/1695.88	c cleaning 8251 clauses out of 16528 with flag 92779/2816675
1696.72/1700.99	c cleaning 8124 clauses out of 16278 with flag 135615/2824676
1702.35/1706.54	c cleaning 8564 clauses out of 17153 with flag 182323/2833675
1708.43/1712.68	c cleaning 9287 clauses out of 18588 with flag 236989/2843674
1715.02/1719.29	c cleaning 10141 clauses out of 20301 with flag 290777/2854674
1722.01/1726.27	c cleaning 11080 clauses out of 22160 with flag 351375/2866674
1729.84/1734.14	c cleaning 12034 clauses out of 24080 with flag 418659/2879674
1738.63/1742.95	c cleaning 13000 clauses out of 26046 with flag 494804/2893674
1748.23/1752.68	c cleaning 14020 clauses out of 28047 with flag 583200/2908675
1758.71/1763.26	c cleaning 15006 clauses out of 30026 with flag 678774/2924674
1768.99/1773.52	c cleaning 16004 clauses out of 32020 with flag 767215/2941674
1778.81/1783.35	c cleaning 16998 clauses out of 34016 with flag 882522/2959674
1789.64/1794.24	c cleaning 18002 clauses out of 36018 with flag 996211/2978674
1800.81/1805.41	c cleaning 19002 clauses out of 38016 with flag 1092117/2998674
1812.83/1817.48	c cleaning 19990 clauses out of 40017 with flag 1204775/3019677
1824.96/1829.69	c cleaning 21007 clauses out of 42024 with flag 1330334/3041674
1837.73/1842.48	c cleaning 22005 clauses out of 44018 with flag 1470511/3064675
1851.59/1856.32	c cleaning 22993 clauses out of 46012 with flag 1587473/3088674
1866.06/1870.87	c cleaning 23990 clauses out of 48019 with flag 1718377/3113674
1881.27/1886.02	c cleaning 25001 clauses out of 50029 with flag 1862915/3139674
1897.54/1902.30	c cleaning 26008 clauses out of 52029 with flag 2010110/3166675
1914.44/1919.20	c cleaning 27006 clauses out of 54021 with flag 2167491/3194675
1931.50/1936.31	c cleaning 27996 clauses out of 56014 with flag 2317426/3223674
1949.99/1954.90	c cleaning 29011 clauses out of 58021 with flag 2530565/3253677
1969.12/1974.01	c cleaning 29999 clauses out of 60009 with flag 2708287/3284676
1988.50/1993.45	c cleaning 30990 clauses out of 62008 with flag 2884099/3316674
2008.00/2013.14	c cleaning 32003 clauses out of 64018 with flag 3067446/3349674
2028.86/2034.15	c cleaning 33008 clauses out of 66016 with flag 3276531/3383675
2049.82/2055.21	c cleaning 33998 clauses out of 68009 with flag 3500744/3418676
2071.77/2077.25	c cleaning 34984 clauses out of 70009 with flag 3716162/3454674
2094.94/2100.48	c cleaning 36009 clauses out of 72027 with flag 3943792/3491676
2119.75/2125.20	c cleaning 36995 clauses out of 74016 with flag 4190619/3529674
2146.67/2152.29	c cleaning 37994 clauses out of 76021 with flag 4396304/3568674
2173.14/2178.80	c cleaning 39010 clauses out of 78030 with flag 4644096/3608677
2198.79/2204.63	c cleaning 39989 clauses out of 80017 with flag 4921735/3649674
2224.82/2230.87	c cleaning 41005 clauses out of 82029 with flag 5210548/3691675
2253.36/2259.51	c cleaning 42006 clauses out of 84027 with flag 5499211/3734678
2283.95/2290.31	c cleaning 43007 clauses out of 86017 with flag 5826836/3778674
2313.50/2319.91	c cleaning 44000 clauses out of 88010 with flag 6121806/3823674
2343.23/2349.85	c cleaning 44987 clauses out of 90010 with flag 6432054/3869674
2374.48/2381.21	c cleaning 46009 clauses out of 92023 with flag 6767169/3916674
2407.53/2414.47	c cleaning 47003 clauses out of 94015 with flag 7115473/3964675
2441.85/2449.06	c cleaning 48006 clauses out of 96011 with flag 7467715/4013674
2477.39/2484.90	c cleaning 48999 clauses out of 98008 with flag 7876988/4063677
2512.46/2520.35	c cleaning 49995 clauses out of 100006 with flag 8265870/4114674
2549.36/2557.49	c cleaning 51001 clauses out of 102011 with flag 8680009/4166674
2583.36/2591.47	c cleaning 51989 clauses out of 104010 with flag 8981024/4219674
2615.19/2623.44	c cleaning 53004 clauses out of 106021 with flag 9249606/4273674
2647.41/2655.81	c cleaning 54003 clauses out of 108017 with flag 9590430/4328674
2682.35/2690.99	c cleaning 54999 clauses out of 110016 with flag 9945231/4384676
2720.46/2729.21	c cleaning 56009 clauses out of 112017 with flag 10285452/4441676
2758.56/2767.41	c cleaning 56996 clauses out of 114008 with flag 10630788/4499676
2795.16/2804.32	c cleaning 58000 clauses out of 116010 with flag 10970892/4558674
2834.06/2843.68	c cleaning 58993 clauses out of 118010 with flag 11295295/4618674
2872.43/2882.28	c cleaning 60000 clauses out of 120017 with flag 11649392/4679674
2911.30/2921.29	c cleaning 61005 clauses out of 122017 with flag 12011626/4741674
2952.11/2980.79	c cleaning 61988 clauses out of 124012 with flag 12383874/4804674
2992.75/3021.59	c cleaning 63006 clauses out of 126024 with flag 12753185/4868674
3034.40/3063.32	c cleaning 63990 clauses out of 128018 with flag 13194337/4933674
3076.78/3106.12	c cleaning 65001 clauses out of 130028 with flag 13586080/4999674
3118.38/3147.99	c cleaning 66010 clauses out of 132027 with flag 13896335/5066674
3163.35/3193.52	c cleaning 67001 clauses out of 134017 with flag 14235802/5134674
3207.25/3237.92	c cleaning 68002 clauses out of 136016 with flag 14539825/5203674
3250.93/3281.81	c cleaning 68991 clauses out of 138014 with flag 14830125/5273674
3295.03/3326.42	c cleaning 70001 clauses out of 140025 with flag 15181917/5344676
3338.92/3370.66	c cleaning 70995 clauses out of 142022 with flag 15567887/5416674
3382.72/3425.91	c cleaning 72006 clauses out of 144028 with flag 15952362/5489675
3431.21/3474.54	c cleaning 72987 clauses out of 146021 with flag 16373701/5563674
3483.76/3527.42	c Got one! Elapsed wall clock time (in seconds):3527.288
3483.76/3527.42	o 7625095
3487.32/3530.94	c cleaning 75513 clauses out of 151080 with flag 26153/5641720
3492.01/3535.68	c cleaning 40779 clauses out of 81567 with flag 63107/5647720
3497.41/3541.05	c cleaning 23872 clauses out of 47788 with flag 101395/5654720
3503.61/3547.31	c cleaning 15951 clauses out of 31916 with flag 145766/5662720
3506.52/3550.28	c Got one! Elapsed wall clock time (in seconds):3550.156
3506.52/3550.28	o 7620932
3507.73/3551.42	c cleaning 10900 clauses out of 21843 with flag 8148/5668598
3511.02/3554.74	c cleaning 8438 clauses out of 16941 with flag 30516/5674596
3514.92/3558.62	c cleaning 7727 clauses out of 15503 with flag 55432/5681596
3519.35/3563.00	c cleaning 7882 clauses out of 15778 with flag 83599/5689598
3524.34/3568.06	c cleaning 8438 clauses out of 16896 with flag 114026/5698598
3529.52/3573.29	c cleaning 9217 clauses out of 18457 with flag 151125/5708597
3535.62/3579.40	c cleaning 10108 clauses out of 20239 with flag 194680/5719596
3542.51/3586.34	c cleaning 11060 clauses out of 22131 with flag 242470/5731596
3549.49/3593.34	c cleaning 12030 clauses out of 24071 with flag 291178/5744596
3557.51/3601.34	c cleaning 13007 clauses out of 26041 with flag 349014/5758596
3566.40/3610.37	c cleaning 14018 clauses out of 28037 with flag 412224/5773599
3576.38/3620.31	c cleaning 14988 clauses out of 30016 with flag 483440/5789596
3586.07/3630.01	c cleaning 16000 clauses out of 32028 with flag 551168/5806596
3596.08/3640.19	c cleaning 17005 clauses out of 34028 with flag 624148/5824596
3600.08/3644.13	c starts		: 3307
3600.08/3644.13	c conflicts		: 5831479
3600.08/3644.13	c decisions		: 17905561
3600.08/3644.13	c propagations		: 3145097651
3600.08/3644.13	c inspects		: 15849743985
3600.08/3644.13	c shortcuts		: 0
3600.08/3644.13	c learnt literals	: 44
3600.08/3644.13	c learnt binary clauses	: 365
3600.08/3644.13	c learnt ternary clauses	: 316
3600.08/3644.13	c learnt constraints	: 5831435
3600.08/3644.13	c ignored constraints	: 0
3600.08/3644.13	c root simplifications	: 0
3600.08/3644.13	c removed literals (reason simplification)	: 298426229
3600.08/3644.13	c reason swapping (by a shorter reason)	: 0
3600.08/3644.13	c Calls to reduceDB	: 191
3600.08/3644.13	c Number of update (reduction) of LBD	: 2332067
3600.08/3644.13	c Imported unit clauses	: 0
3600.08/3644.13	c No decision after first conflict	: false
3600.08/3644.13	c number of reductions to clauses (during analyze)	: 0
3600.08/3644.13	c number of learned constraints concerned by reduction	: 0
3600.08/3644.13	c number of learning phase by resolution	: 0
3600.08/3644.13	c number of learning phase by cutting planes	: 0
3600.08/3644.13	c number of rounding to 1 operations	: 0
3600.08/3644.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3644.13	c number of reductions of the coefficients by power 2 	: 0
3600.08/3644.13	c number of right shift for reduction by power 2 	: 0
3600.08/3644.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3644.13	c number of ending skipping 	: 0
3600.08/3644.13	c number of internal skipping 	: 0
3600.08/3644.13	c number of derivation steps 	: 0
3600.08/3644.13	c number of skipped derivation steps 	: 0
3600.08/3644.13	c number of remaining unassigned 	: 0
3600.08/3644.13	c number of remaining assigned 	: 0
3600.08/3644.13	c number of falsified literals weakened from reason	: 0
3600.08/3644.13	c number of falsified literals weakened from conflict	: 0
3600.08/3644.13	c time for arithmetic operations	: 0
3600.08/3644.13	c minimum degree of deleted constraints	: null
3600.08/3644.13	c maximum degree of deleted constraints	: null
3600.08/3644.13	c number of deleted constraints	: 0
3600.08/3644.13	c speed (assignments/second)	: 863212.0732310466
3600.08/3644.13	c non guided choices	: 6161
3600.08/3644.13	c timeout
3600.08/3644.13	Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null
3600.08/3644.13		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962)
3600.08/3644.13		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108)
3600.08/3644.13		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099)
3600.08/3644.13		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180)
3600.08/3644.13		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.08/3644.13		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.08/3644.13		at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440552-1721821047/watcher-4440552-1721821047 -o /tmp/evaluation-result-4440552-1721821047/solver-4440552-1721821047 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721817186-193372 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440552-1721821047 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440552-1721821047.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
Current StackSize limit: 8192 KiB

solver pid=196058, runsolver pid=196055

[startup+0.100762 s]*
/proc/loadavg: 4.20 4.25 4.18 7/330 196076
/proc/meminfo: memFree=110094960/131524600 swapFree=131070960/131071996
[pid=196058] ppid=196055 vsize=18993908 memory=67912 CPUtime=0.13 cores=4,6
/proc/196058/stat : 196058 (java) S 196055 196058 193361 0 -1 1077936128 7684 0 0 0 11 2 0 0 20 0 18 0 18633015 19449761792 16978 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
/proc/196058/statm: 4748477 16978 5905 1 0 549344 0
[pid=196058/tid=196060] ppid=196055 vsize=18993908 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/196058/task/196060/stat : 196060 (java) R 196055 196058 193361 0 -1 1077936192 6261 0 0 0 7 1 0 0 20 0 18 0 18633015 19449761792 16978 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196069] ppid=196055 vsize=18993908 memory=232851243367 CPUtime=0 cores=4,6
/proc/196058/task/196069/stat : 196069 (Finalizer) S 196055 196058 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18633018 19449761792 16978 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196076] ppid=196055 vsize=18993908 memory=15534145914087927 CPUtime=0 cores=4,6
/proc/196058/task/196076/stat : 196076 (Common-Cleaner) S 196055 196058 193361 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18633018 19449761792 16978 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 67912 KiB

[startup+0.205836 s]*
/proc/loadavg: 4.20 4.25 4.18 6/330 196076
/proc/meminfo: memFree=110078972/131524600 swapFree=131070960/131071996
[pid=196058] ppid=196055 vsize=18993908 memory=82548 CPUtime=0.32 cores=4,6
/proc/196058/stat : 196058 (java) S 196055 196058 193361 0 -1 1077936128 9198 0 0 0 29 3 0 0 20 0 18 0 18633015 19449761792 20637 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
/proc/196058/statm: 4748477 20637 6108 1 0 550297 0
[pid=196058/tid=196060] ppid=196055 vsize=18993908 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/196058/task/196060/stat : 196060 (java) D 196055 196058 193361 0 -1 4194368 6453 0 0 0 16 2 0 0 20 0 18 0 18633015 19449761792 20637 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196069] ppid=196055 vsize=18993908 memory=1402783 CPUtime=0 cores=4,6
/proc/196058/task/196069/stat : 196069 (Finalizer) S 196055 196058 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18633018 19449761792 20637 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196076] ppid=196055 vsize=18993908 memory=14979970577467533 CPUtime=0 cores=4,6
/proc/196058/task/196076/stat : 196076 (Common-Cleaner) S 196055 196058 193361 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18633018 19449761792 20637 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 82548 KiB

[startup+0.310233 s]*
/proc/loadavg: 4.20 4.25 4.18 6/330 196076
/proc/meminfo: memFree=110044692/131524600 swapFree=131070960/131071996
[pid=196058] ppid=196055 vsize=18993908 memory=115600 CPUtime=0.52 cores=4,6
/proc/196058/stat : 196058 (java) S 196055 196058 193361 0 -1 1077936128 9777 0 0 0 48 4 0 0 20 0 18 0 18633015 19449761792 28900 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
/proc/196058/statm: 4748477 28900 6108 1 0 550708 0
[pid=196058/tid=196060] ppid=196055 vsize=18993908 memory=-8815913258597524156 CPUtime=0.27 cores=4,6
/proc/196058/task/196060/stat : 196060 (java) R 196055 196058 193361 0 -1 4194368 6502 0 0 0 24 3 0 0 20 0 18 0 18633015 19449761792 28900 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196069] ppid=196055 vsize=18993908 memory=0 CPUtime=0 cores=4,6
/proc/196058/task/196069/stat : 196069 (Finalizer) S 196055 196058 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18633018 19449761792 28900 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196076] ppid=196055 vsize=18993908 memory=0 CPUtime=0 cores=4,6
/proc/196058/task/196076/stat : 196076 (Common-Cleaner) S 196055 196058 193361 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18633018 19449761792 28900 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 115600 KiB

[startup+0.700903 s]
/proc/loadavg: 4.20 4.25 4.18 6/331 196077
/proc/meminfo: memFree=109980792/131524600 swapFree=131070960/131071996
[pid=196058] ppid=196055 vsize=19127036 memory=197500 CPUtime=1.25 cores=4,6
/proc/196058/stat : 196058 (java) S 196055 196058 193361 0 -1 1077936128 15894 0 0 0 118 7 0 0 20 0 20 0 18633015 19586084864 49375 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
/proc/196058/statm: 4781759 49375 6161 1 0 553535 0
[pid=196058/tid=196060] ppid=196055 vsize=19127036 memory=5640 CPUtime=0.59 cores=4,6
/proc/196058/task/196060/stat : 196060 (java) R 196055 196058 193361 0 -1 4194368 6663 0 0 0 55 4 0 0 20 0 20 0 18633015 19586084864 49375 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196069] ppid=196055 vsize=19127036 memory=12248 CPUtime=0 cores=4,6
/proc/196058/task/196069/stat : 196069 (Finalizer) S 196055 196058 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 49375 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196076] ppid=196055 vsize=19127036 memory=5041 CPUtime=0 cores=4,6
/proc/196058/task/196076/stat : 196076 (Common-Cleaner) S 196055 196058 193361 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 49375 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 197500 KiB

[startup+1.50991 s]
/proc/loadavg: 4.20 4.25 4.18 7/332 196078
/proc/meminfo: memFree=109940388/131524600 swapFree=131070960/131071996
[pid=196058] ppid=196055 vsize=19127036 memory=213964 CPUtime=2.86 cores=4,6
/proc/196058/stat : 196058 (java) S 196055 196058 193361 0 -1 1077936128 21057 0 0 0 278 8 0 0 20 0 20 0 18633015 19586084864 53491 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
/proc/196058/statm: 4781759 53491 6161 1 0 557506 0
[pid=196058/tid=196060] ppid=196055 vsize=19127036 memory=5041 CPUtime=1.35 cores=4,6
/proc/196058/task/196060/stat : 196060 (java) R 196055 196058 193361 0 -1 4194368 6684 0 0 0 131 4 0 0 20 0 20 0 18633015 19586084864 53491 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196069] ppid=196055 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/196058/task/196069/stat : 196069 (Finalizer) S 196055 196058 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 53491 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196076] ppid=196055 vsize=19127036 memory=12248 CPUtime=0 cores=4,6
/proc/196058/task/196076/stat : 196076 (Common-Cleaner) S 196055 196058 193361 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 53491 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196078] ppid=196055 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/196058/task/196078/stat : 196078 (Timer-0) S 196055 196058 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18633079 19586084864 53491 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 213964 KiB

[startup+3.10606 s]
/proc/loadavg: 4.35 4.28 4.19 7/332 196078
/proc/meminfo: memFree=109918468/131524600 swapFree=131070960/131071996
[pid=196058] ppid=196055 vsize=19127036 memory=215040 CPUtime=5.6 cores=4,6
/proc/196058/stat : 196058 (java) S 196055 196058 193361 0 -1 1077936128 26093 0 0 0 551 9 0 0 20 0 20 0 18633015 19586084864 53760 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
/proc/196058/statm: 4781759 53760 6176 1 0 557512 0
[pid=196058/tid=196060] ppid=196055 vsize=19127036 memory=12248 CPUtime=2.9 cores=4,6
/proc/196058/task/196060/stat : 196060 (java) R 196055 196058 193361 0 -1 4194368 6878 0 0 0 286 4 0 0 20 0 20 0 18633015 19586084864 53760 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196069] ppid=196055 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/196058/task/196069/stat : 196069 (Finalizer) S 196055 196058 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 53760 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196076] ppid=196055 vsize=19127036 memory=11496 CPUtime=0 cores=4,6
/proc/196058/task/196076/stat : 196076 (Common-Cleaner) S 196055 196058 193361 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 53760 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196078] ppid=196055 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/196058/task/196078/stat : 196078 (Timer-0) S 196055 196058 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18633079 19586084864 53760 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
Current children cumulated CPU time: 5.6 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 215040 KiB

[startup+6.30026 s]
/proc/loadavg: 4.35 4.28 4.19 5/332 196079
/proc/meminfo: memFree=109854844/131524600 swapFree=131070960/131071996
[pid=196058] ppid=196055 vsize=19127036 memory=209984 CPUtime=9.59 cores=4,6
/proc/196058/stat : 196058 (java) S 196055 196058 193361 0 -1 1077936128 30957 0 0 0 949 10 0 0 20 0 20 0 18633015 19586084864 52496 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
/proc/196058/statm: 4781759 52496 6176 1 0 557541 0
[pid=196058/tid=196060] ppid=196055 vsize=19127036 memory=0 CPUtime=6.1 cores=4,6
/proc/196058/task/196060/stat : 196060 (java) R 196055 196058 193361 0 -1 4194368 8257 0 0 0 605 5 0 0 20 0 20 0 18633015 19586084864 52496 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196069] ppid=196055 vsize=19127036 memory=12248 CPUtime=0 cores=4,6
/proc/196058/task/196069/stat : 196069 (Finalizer) S 196055 196058 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 52496 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196076] ppid=196055 vsize=19127036 memory=209924 CPUtime=0 cores=4,6
/proc/196058/task/196076/stat : 196076 (Common-Cleaner) S 196055 196058 193361 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 52496 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196078] ppid=196055 vsize=19127036 memory=1404943 CPUtime=0 cores=4,6
/proc/196058/task/196078/stat : 196078 (Timer-0) S 196055 196058 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18633079 19586084864 52496 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
Current children cumulated CPU time: 9.59 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 209984 KiB

[startup+12.7003 s]
/proc/loadavg: 4.32 4.27 4.19 6/332 196080
/proc/meminfo: memFree=109743748/131524600 swapFree=131070960/131071996
[pid=196058] ppid=196055 vsize=19127036 memory=214932 CPUtime=16.19 cores=4,6
/proc/196058/stat : 196058 (java) S 196055 196058 193361 0 -1 1077936128 33916 0 0 0 1608 11 0 0 20 0 20 0 18633015 19586084864 53733 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
/proc/196058/statm: 4781759 53733 6208 1 0 557541 0
[pid=196058/tid=196060] ppid=196055 vsize=19127036 memory=214932 CPUtime=12.45 cores=4,6
/proc/196058/task/196060/stat : 196060 (java) R 196055 196058 193361 0 -1 4194368 8928 0 0 0 1240 5 0 0 20 0 20 0 18633015 19586084864 53733 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196069] ppid=196055 vsize=19127036 memory=214924 CPUtime=0 cores=4,6
/proc/196058/task/196069/stat : 196069 (Finalizer) S 196055 196058 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 53733 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196076] ppid=196055 vsize=19127036 memory=214924 CPUtime=0 cores=4,6
/proc/196058/task/196076/stat : 196076 (Common-Cleaner) S 196055 196058 193361 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 53733 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196078] ppid=196055 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/196058/task/196078/stat : 196078 (Timer-0) S 196055 196058 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18633079 19586084864 53733 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
Current children cumulated CPU time: 16.19 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 214932 KiB

[startup+25.5003 s]
/proc/loadavg: 4.25 4.26 4.18 5/332 196083
/proc/meminfo: memFree=109257852/131524600 swapFree=131070960/131071996
[pid=196058] ppid=196055 vsize=19127036 memory=245720 CPUtime=29.04 cores=4,6
/proc/196058/stat : 196058 (java) S 196055 196058 193361 0 -1 1077936128 40636 0 0 0 2891 13 0 0 20 0 20 0 18633015 19586084864 61430 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
/proc/196058/statm: 4781759 61430 6208 1 0 557541 0
[pid=196058/tid=196060] ppid=196055 vsize=19127036 memory=214924 CPUtime=25.2 cores=4,6
/proc/196058/task/196060/stat : 196060 (java) R 196055 196058 193361 0 -1 4194368 10294 0 0 0 2514 6 0 0 20 0 20 0 18633015 19586084864 61430 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196069] ppid=196055 vsize=19127036 memory=245696 CPUtime=0 cores=4,6
/proc/196058/task/196069/stat : 196069 (Finalizer) S 196055 196058 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 61430 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196076] ppid=196055 vsize=19127036 memory=12248 CPUtime=0 cores=4,6
/proc/196058/task/196076/stat : 196076 (Common-Cleaner) S 196055 196058 193361 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 61430 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196078] ppid=196055 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/196058/task/196078/stat : 196078 (Timer-0) S 196055 196058 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18633079 19586084864 61430 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
Current children cumulated CPU time: 29.04 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 245720 KiB

[startup+51.1057 s]
/proc/loadavg: 4.24 4.25 4.18 5/331 196086
/proc/meminfo: memFree=108373204/131524600 swapFree=131070960/131071996
[pid=196058] ppid=196055 vsize=19127036 memory=458600 CPUtime=55.3 cores=4,6
/proc/196058/stat : 196058 (java) S 196055 196058 193361 0 -1 1077936128 55613 0 0 0 5507 23 0 0 20 0 20 0 18633015 19586084864 114650 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
/proc/196058/statm: 4781759 114650 6224 1 0 557611 0
[pid=196058/tid=196060] ppid=196055 vsize=19127036 memory=310956 CPUtime=50.7 cores=4,6
/proc/196058/task/196060/stat : 196060 (java) R 196055 196058 193361 0 -1 4194368 13100 0 0 0 5056 14 0 0 20 0 20 0 18633015 19586084864 114650 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196069] ppid=196055 vsize=19127036 memory=11496 CPUtime=0 cores=4,6
/proc/196058/task/196069/stat : 196069 (Finalizer) S 196055 196058 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 114650 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196076] ppid=196055 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/196058/task/196076/stat : 196076 (Common-Cleaner) S 196055 196058 193361 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 114650 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0

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

/proc/meminfo: memFree=91323600/131524600 swapFree=131070960/131071996
[pid=196058] ppid=196055 vsize=19127036 memory=2182056 CPUtime=3310.97 cores=4,6
/proc/196058/stat : 196058 (java) S 196055 196058 193361 0 -1 1077936128 223095 0 0 0 330538 559 0 0 20 0 20 0 18633015 19586084864 545514 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
/proc/196058/statm: 4781759 545514 6224 1 0 558344 0
[pid=196058/tid=196060] ppid=196055 vsize=19127036 memory=2182040 CPUtime=3293.62 cores=4,6
/proc/196058/task/196060/stat : 196060 (java) R 196055 196058 193361 0 -1 4194368 87570 0 0 0 328911 451 0 0 20 0 20 0 18633015 19586084864 545514 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3140 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196069] ppid=196055 vsize=19127036 memory=2182036 CPUtime=0 cores=4,6
/proc/196058/task/196069/stat : 196069 (Finalizer) S 196055 196058 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 545514 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196076] ppid=196055 vsize=19127036 memory=2182040 CPUtime=0 cores=4,6
/proc/196058/task/196076/stat : 196076 (Common-Cleaner) S 196055 196058 193361 0 -1 1077936192 3532 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 545514 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196078] ppid=196055 vsize=19127036 memory=2182040 CPUtime=0 cores=4,6
/proc/196058/task/196078/stat : 196078 (Timer-0) S 196055 196058 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18633079 19586084864 545514 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
Current children cumulated CPU time: 3310.97 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2182056 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.31 4.31 7/335 198098
/proc/meminfo: memFree=114420808/131524600 swapFree=131070960/131071996
[pid=196058] ppid=196055 vsize=19127036 memory=2182056 CPUtime=3361.52 cores=4,6
/proc/196058/stat : 196058 (java) S 196055 196058 193361 0 -1 1077936128 225487 0 0 0 335586 566 0 0 20 0 20 0 18633015 19586084864 545514 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
/proc/196058/statm: 4781759 545514 6224 1 0 558344 0
[pid=196058/tid=196060] ppid=196055 vsize=19127036 memory=2182040 CPUtime=3344.05 cores=4,6
/proc/196058/task/196060/stat : 196060 (java) R 196055 196058 193361 0 -1 4194368 88817 0 0 0 333950 455 0 0 20 0 20 0 18633015 19586084864 545514 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4077 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196069] ppid=196055 vsize=19127036 memory=5640 CPUtime=0 cores=4,6
/proc/196058/task/196069/stat : 196069 (Finalizer) S 196055 196058 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 545514 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196076] ppid=196055 vsize=19127036 memory=2182056 CPUtime=0 cores=4,6
/proc/196058/task/196076/stat : 196076 (Common-Cleaner) S 196055 196058 193361 0 -1 1077936192 3591 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 545514 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196078] ppid=196055 vsize=19127036 memory=-8815913258597524156 CPUtime=0 cores=4,6
/proc/196058/task/196078/stat : 196078 (Timer-0) S 196055 196058 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18633079 19586084864 545514 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
Current children cumulated CPU time: 3361.52 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2182056 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.29 4.31 5/334 198108
/proc/meminfo: memFree=112817864/131524600 swapFree=131070960/131071996
[pid=196058] ppid=196055 vsize=19127036 memory=2182056 CPUtime=3418.97 cores=4,6
/proc/196058/stat : 196058 (java) S 196055 196058 193361 0 -1 1077936128 228252 0 0 0 341323 574 0 0 20 0 20 0 18633015 19586084864 545514 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
/proc/196058/statm: 4781759 545514 6224 1 0 558344 0
[pid=196058/tid=196060] ppid=196055 vsize=19127036 memory=2182040 CPUtime=3401.37 cores=4,6
/proc/196058/task/196060/stat : 196060 (java) R 196055 196058 193361 0 -1 4194368 90231 0 0 0 339675 462 0 0 20 0 20 0 18633015 19586084864 545514 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4326 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196069] ppid=196055 vsize=19127036 memory=2182056 CPUtime=0 cores=4,6
/proc/196058/task/196069/stat : 196069 (Finalizer) S 196055 196058 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 545514 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196076] ppid=196055 vsize=19127036 memory=2182056 CPUtime=0 cores=4,6
/proc/196058/task/196076/stat : 196076 (Common-Cleaner) S 196055 196058 193361 0 -1 1077936192 3652 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 545514 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196078] ppid=196055 vsize=19127036 memory=11496 CPUtime=0 cores=4,6
/proc/196058/task/196078/stat : 196078 (Timer-0) S 196055 196058 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18633079 19586084864 545514 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
Current children cumulated CPU time: 3418.97 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2182056 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.27 4.30 5/330 198119
/proc/meminfo: memFree=111773060/131524600 swapFree=131070960/131071996
[pid=196058] ppid=196055 vsize=19127036 memory=2182076 CPUtime=3478.67 cores=4,6
/proc/196058/stat : 196058 (java) S 196055 196058 193361 0 -1 1077936128 230927 0 0 0 347287 580 0 0 20 0 20 0 18633015 19586084864 545519 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
/proc/196058/statm: 4781759 545519 6224 1 0 558344 0
[pid=196058/tid=196060] ppid=196055 vsize=19127036 memory=75728 CPUtime=3460.77 cores=4,6
/proc/196058/task/196060/stat : 196060 (java) R 196055 196058 193361 0 -1 4194368 91597 0 0 0 345611 466 0 0 20 0 20 0 18633015 19586084864 545519 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4358 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196069] ppid=196055 vsize=19127036 memory=2164 CPUtime=0 cores=4,6
/proc/196058/task/196069/stat : 196069 (Finalizer) S 196055 196058 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 545519 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196076] ppid=196055 vsize=19127036 memory=2182060 CPUtime=0 cores=4,6
/proc/196058/task/196076/stat : 196076 (Common-Cleaner) S 196055 196058 193361 0 -1 1077936192 3768 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 545519 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196078] ppid=196055 vsize=19127036 memory=2182076 CPUtime=0 cores=4,6
/proc/196058/task/196078/stat : 196078 (Timer-0) S 196055 196058 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18633079 19586084864 545519 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
Current children cumulated CPU time: 3478.67 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2182076 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.26 4.29 5/332 198133
/proc/meminfo: memFree=111094500/131524600 swapFree=131070960/131071996
[pid=196058] ppid=196055 vsize=19127036 memory=2182180 CPUtime=3538.51 cores=4,6
/proc/196058/stat : 196058 (java) S 196055 196058 193361 0 -1 1077936128 238376 0 0 0 353262 589 0 0 20 0 20 0 18633015 19586084864 545545 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
/proc/196058/statm: 4781759 545545 6224 1 0 558362 0
[pid=196058/tid=196060] ppid=196055 vsize=19127036 memory=11496 CPUtime=3520.44 cores=4,6
/proc/196058/task/196060/stat : 196060 (java) R 196055 196058 193361 0 -1 4194368 94168 0 0 0 351570 474 0 0 20 0 20 0 18633015 19586084864 545545 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4374 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196069] ppid=196055 vsize=19127036 memory=2182180 CPUtime=0 cores=4,6
/proc/196058/task/196069/stat : 196069 (Finalizer) S 196055 196058 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 545545 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196076] ppid=196055 vsize=19127036 memory=2182180 CPUtime=0 cores=4,6
/proc/196058/task/196076/stat : 196076 (Common-Cleaner) S 196055 196058 193361 0 -1 1077936192 3853 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 545545 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196078] ppid=196055 vsize=19127036 memory=4868 CPUtime=0 cores=4,6
/proc/196058/task/196078/stat : 196078 (Timer-0) S 196055 196058 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18633079 19586084864 545545 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
Current children cumulated CPU time: 3538.51 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2182180 KiB

[startup+3642.3 s]
/proc/loadavg: 4.12 4.23 4.27 5/332 198144
/proc/meminfo: memFree=110638792/131524600 swapFree=131070960/131071996
[pid=196058] ppid=196055 vsize=19127036 memory=2182200 CPUtime=3598.28 cores=4,6
/proc/196058/stat : 196058 (java) S 196055 196058 193361 0 -1 1077936128 241343 0 0 0 359229 599 0 0 20 0 20 0 18633015 19586084864 545550 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
/proc/196058/statm: 4781759 545550 6224 1 0 558362 0
[pid=196058/tid=196060] ppid=196055 vsize=19127036 memory=2182056 CPUtime=3580.03 cores=4,6
/proc/196058/task/196060/stat : 196060 (java) R 196055 196058 193361 0 -1 4194368 95973 0 0 0 357522 481 0 0 20 0 20 0 18633015 19586084864 545550 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4393 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196069] ppid=196055 vsize=19127036 memory=2182180 CPUtime=0 cores=4,6
/proc/196058/task/196069/stat : 196069 (Finalizer) S 196055 196058 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 545550 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196076] ppid=196055 vsize=19127036 memory=11496 CPUtime=0 cores=4,6
/proc/196058/task/196076/stat : 196076 (Common-Cleaner) S 196055 196058 193361 0 -1 1077936192 3957 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 545550 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196078] ppid=196055 vsize=19127036 memory=2182200 CPUtime=0 cores=4,6
/proc/196058/task/196078/stat : 196078 (Timer-0) S 196055 196058 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18633079 19586084864 545550 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
Current children cumulated CPU time: 3598.28 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2182200 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3644.11 s]
/proc/loadavg: 4.11 4.22 4.27 5/332 198145
/proc/meminfo: memFree=110626156/131524600 swapFree=131070960/131071996
[pid=196058] ppid=196055 vsize=19127036 memory=2182200 CPUtime=3600.08 cores=4,6
/proc/196058/stat : 196058 (java) S 196055 196058 193361 0 -1 1077936128 241343 0 0 0 359409 599 0 0 20 0 20 0 18633015 19586084864 545550 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
/proc/196058/statm: 4781759 545550 6224 1 0 558362 0
[pid=196058/tid=196060] ppid=196055 vsize=19127036 memory=2182056 CPUtime=3581.83 cores=4,6
/proc/196058/task/196060/stat : 196060 (java) R 196055 196058 193361 0 -1 4194368 95973 0 0 0 357702 481 0 0 20 0 20 0 18633015 19586084864 545550 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4393 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196069] ppid=196055 vsize=19127036 memory=2182180 CPUtime=0 cores=4,6
/proc/196058/task/196069/stat : 196069 (Finalizer) S 196055 196058 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 545550 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196076] ppid=196055 vsize=19127036 memory=2182200 CPUtime=0 cores=4,6
/proc/196058/task/196076/stat : 196076 (Common-Cleaner) S 196055 196058 193361 0 -1 1077936192 3957 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 545550 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196078] ppid=196055 vsize=19127036 memory=75728 CPUtime=0 cores=4,6
/proc/196058/task/196078/stat : 196078 (Timer-0) S 196055 196058 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18633079 19586084864 545550 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2182200 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.15 s, system=6.00864 s

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

[startup+3644.11 s]
/proc/loadavg: 4.11 4.22 4.27 5/332 198145
/proc/meminfo: memFree=110626156/131524600 swapFree=131070960/131071996
[pid=196058] ppid=196055 vsize=19127036 memory=2182200 CPUtime=3600.08 cores=4,6
/proc/196058/stat : 196058 (java) S 196055 196058 193361 0 -1 1077936128 241343 0 0 0 359409 599 0 0 20 0 20 0 18633015 19586084864 545550 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
/proc/196058/statm: 4781759 545550 6224 1 0 558362 0
[pid=196058/tid=196060] ppid=196055 vsize=19127036 memory=2182056 CPUtime=3581.83 cores=4,6
/proc/196058/task/196060/stat : 196060 (java) R 196055 196058 193361 0 -1 4194368 95973 0 0 0 357702 481 0 0 20 0 20 0 18633015 19586084864 545550 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4393 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196069] ppid=196055 vsize=19127036 memory=2182180 CPUtime=0 cores=4,6
/proc/196058/task/196069/stat : 196069 (Finalizer) S 196055 196058 193361 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 545550 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196076] ppid=196055 vsize=19127036 memory=2182200 CPUtime=0 cores=4,6
/proc/196058/task/196076/stat : 196076 (Common-Cleaner) S 196055 196058 193361 0 -1 1077936192 3957 0 0 0 0 0 0 0 20 0 20 0 18633018 19586084864 545550 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
[pid=196058/tid=196078] ppid=196055 vsize=19127036 memory=75728 CPUtime=0 cores=4,6
/proc/196058/task/196078/stat : 196078 (Timer-0) S 196055 196058 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18633079 19586084864 545550 134679101440 94318888288256 94318888291952 140726402016416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94318888299768 94318888300560 94318892044288 140726402024367 140726402024549 140726402024549 140726402031560 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2182200 KiB

Child status: 143

Real time (s): 3644.17
CPU time (s): 3600.16
CPU user time (s): 3594.15
CPU system time (s): 6.00864
CPU usage (%): 98.7925
Max. virtual memory (cumulated for all children) (KiB): 19127036
Max. memory (cumulated for all children) (KiB): 2182200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.15
system time used= 6.00864
maximum resident set size= 2184092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244101
page faults= 0
swaps= 0
block input operations= 8
block output operations= 7673360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112436
involuntary context switches= 11278


# summary of solver processes directly reported to runsolver:
#   pid: 196058
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3594.15
#   total CPU system time (s): 6.00864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.95611 second user time and 17.8101 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-24 13:37:27
IDJOB=4440552
IDBENCH=155648
IDSOLVER=3079
FILE ID=nodeC020/4440552-1721821047
RUNJOBID= nodeC020-1721817186-193372
SLURM_JOB_ID= 7816874
Free space on /tmp= 890064 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat25_6_4_8_mh.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-4440552-1721821047/watcher-4440552-1721821047 -o /tmp/evaluation-result-4440552-1721821047/solver-4440552-1721821047 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721817186-193372 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440552-1721821047 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440552-1721821047.opb

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

MD5SUM BENCH= a9be8bbda8fc39e79dda84fd9030ec23
RANDOM SEED=489637485

nodeC020.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		: 3670.068
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.31
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		: 3686.280
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.25
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		: 3631.644
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.31
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		: 3599.847
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.25
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		: 3657.952
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.31
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.312
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.25
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		: 3631.066
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        110141804 kB
MemAvailable:   118353984 kB
Buffers:          243304 kB
Cached:          8755864 kB
SwapCached:           68 kB
Active:          2589408 kB
Inactive:       18071588 kB
Active(anon):       1576 kB
Inactive(anon): 11713980 kB
Active(file):    2587832 kB
Inactive(file):  6357608 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070960 kB
Dirty:            281444 kB
Writeback:             0 kB
AnonPages:      11660676 kB
Mapped:           131540 kB
Shmem:             53952 kB
KReclaimable:     213124 kB
Slab:             337248 kB
SReclaimable:     213124 kB
SUnreclaim:       124124 kB
KernelStack:        5004 kB
PageTables:        33372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   14587120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            22592 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11374592 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:      363220 kB
DirectMap2M:    44498944 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC020 at 2024-07-24 14:38:11