Trace number 4440565

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)125 3600.29 3629.4

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_16x16_001.opb.metafix.opb
MD5SUM5c8bdd7bf429ca5545e1ed59def685f5
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 benchmark125
Best CPU time to get the best result obtained on this benchmark0.016237
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables256
Total number of constraints94
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)94
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Number of terms in the objective function 256
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 256
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 12
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 256
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	Expensive reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c Expensive reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4440565-1721824822.opb
0.14/0.12	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  objective function found
0.14/0.16	c ... done. Wall clock time 0.032s.
0.14/0.16	c declared #vars     256
0.14/0.16	c #constraints  188
0.14/0.16	c constraints type 
0.14/0.16	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4
0.14/0.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 158
0.14/0.16	c org.sat4j.specs.Constr$1 => 10
0.14/0.16	c org.sat4j.pb.constraints.pb.UnitClausesPB => 6
0.14/0.16	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6
0.14/0.16	c org.sat4j.pb.constraints.pb.UnitClausePB => 4
0.14/0.16	c 188 constraints processed.
0.14/0.17	c objective function length is 256 literals
1.28/0.70	c cleaning 2496 clauses out of 5000 with flag 23212/5000
1.28/0.75	c SATISFIABLE
1.28/0.75	c OPTIMIZING...
1.28/0.75	c Got one! Elapsed wall clock time (in seconds):0.615
1.28/0.75	o 125
1.85/1.06	c cleaning 4085 clauses out of 8180 with flag 19736/10676
2.42/1.38	c cleaning 5035 clauses out of 10095 with flag 50525/16676
3.22/1.71	c cleaning 6031 clauses out of 12062 with flag 82048/23678
3.71/2.08	c cleaning 7010 clauses out of 14029 with flag 126214/31676
4.24/2.56	c cleaning 8009 clauses out of 16021 with flag 181144/40678
4.91/3.05	c cleaning 9001 clauses out of 18012 with flag 240426/50678
5.76/3.75	c cleaning 9995 clauses out of 20009 with flag 314387/61676
6.57/4.50	c cleaning 10986 clauses out of 22018 with flag 403532/73680
7.27/5.23	c cleaning 11997 clauses out of 24028 with flag 482436/86676
7.98/5.92	c cleaning 12994 clauses out of 26031 with flag 544974/100676
8.68/6.62	c cleaning 14009 clauses out of 28038 with flag 620353/115677
9.56/7.41	c cleaning 15011 clauses out of 30028 with flag 700681/131676
10.51/8.32	c cleaning 16005 clauses out of 32019 with flag 781450/148678
11.51/9.38	c cleaning 17002 clauses out of 34016 with flag 889239/166680
12.61/10.46	c cleaning 17999 clauses out of 36010 with flag 983523/185676
13.81/11.67	c cleaning 19002 clauses out of 38012 with flag 1098007/205677
15.10/12.91	c cleaning 19990 clauses out of 40009 with flag 1198045/226676
16.80/14.63	c cleaning 20998 clauses out of 42022 with flag 1335972/248679
18.69/16.50	c cleaning 21996 clauses out of 44021 with flag 1473201/271676
20.89/18.75	c cleaning 23003 clauses out of 46025 with flag 1657763/295676
22.89/20.70	c cleaning 23997 clauses out of 48022 with flag 1836159/320676
24.68/22.51	c cleaning 24976 clauses out of 50025 with flag 1991361/346676
26.58/24.41	c cleaning 26008 clauses out of 52049 with flag 2121963/373676
28.88/26.70	c cleaning 27012 clauses out of 54042 with flag 2288825/401677
30.97/28.83	c cleaning 28005 clauses out of 56029 with flag 2456241/430676
33.46/31.39	c cleaning 28997 clauses out of 58026 with flag 2659319/460678
36.38/34.72	c cleaning 30008 clauses out of 60027 with flag 2912079/491676
38.58/36.99	c cleaning 31005 clauses out of 62019 with flag 3085629/523676
40.98/39.39	c cleaning 32003 clauses out of 64014 with flag 3273268/556676
43.97/42.37	c cleaning 32995 clauses out of 66013 with flag 3484594/590678
46.96/45.31	c cleaning 33973 clauses out of 68016 with flag 3688505/625676
49.66/48.01	c cleaning 35025 clauses out of 70049 with flag 3879281/661682
52.66/51.09	c cleaning 35999 clauses out of 72019 with flag 4100384/698677
56.55/54.90	c cleaning 36990 clauses out of 74019 with flag 4370733/736676
60.53/58.96	c cleaning 38008 clauses out of 76030 with flag 4668467/775677
63.84/62.24	c cleaning 39002 clauses out of 78024 with flag 4884198/815679
67.25/65.72	c cleaning 39996 clauses out of 80020 with flag 5106295/856677
70.75/69.25	c cleaning 41004 clauses out of 82023 with flag 5349469/898676
75.34/73.85	c cleaning 41994 clauses out of 84019 with flag 5671125/941676
79.23/77.73	c cleaning 42982 clauses out of 86025 with flag 5959697/985676
83.31/81.82	c cleaning 44013 clauses out of 88043 with flag 6201300/1030676
87.82/86.36	c cleaning 45002 clauses out of 90030 with flag 6530987/1076676
92.10/90.64	c cleaning 46003 clauses out of 92028 with flag 6770432/1123676
96.50/95.06	c cleaning 46997 clauses out of 94027 with flag 6990169/1171678
101.09/99.76	c cleaning 48007 clauses out of 96028 with flag 7222454/1220676
105.87/104.51	c cleaning 48996 clauses out of 98022 with flag 7475710/1270677
110.78/109.46	c cleaning 50007 clauses out of 100025 with flag 7744762/1321676
116.07/114.79	c cleaning 50993 clauses out of 102018 with flag 8024935/1373676
121.77/120.49	c cleaning 52010 clauses out of 104027 with flag 8349911/1426678
127.36/126.08	c cleaning 53005 clauses out of 106017 with flag 8702728/1480678
133.25/132.03	c cleaning 53996 clauses out of 108014 with flag 9063322/1535680
138.93/137.70	c cleaning 54987 clauses out of 110016 with flag 9387629/1591678
144.82/143.61	c cleaning 56006 clauses out of 112029 with flag 9683120/1648678
150.99/149.87	c cleaning 57002 clauses out of 114024 with flag 10039846/1706679
159.91/159.53	c cleaning 58001 clauses out of 116019 with flag 10479036/1765676
166.69/166.33	c cleaning 59004 clauses out of 118019 with flag 10825931/1825677
173.77/173.47	c cleaning 59996 clauses out of 120014 with flag 11177099/1886676
182.15/181.86	c cleaning 61008 clauses out of 122019 with flag 11665187/1948677
189.69/189.41	c cleaning 62000 clauses out of 124012 with flag 11992768/2011678
197.57/197.32	c cleaning 62991 clauses out of 126010 with flag 12302051/2075676
205.27/205.03	c cleaning 64000 clauses out of 128019 with flag 12661442/2140676
213.14/212.95	c cleaning 65000 clauses out of 130021 with flag 13021060/2206678
221.67/221.51	c cleaning 66001 clauses out of 132023 with flag 13442406/2273680
230.04/229.94	c cleaning 66996 clauses out of 134018 with flag 13864785/2341676
239.33/239.25	c cleaning 67994 clauses out of 136022 with flag 14329868/2410676
248.74/248.66	c cleaning 69003 clauses out of 138028 with flag 14766757/2480676
257.95/257.77	c cleaning 70008 clauses out of 140025 with flag 15138746/2551676
268.25/268.10	c cleaning 70999 clauses out of 142018 with flag 15553772/2623677
278.15/277.97	c cleaning 71988 clauses out of 144019 with flag 16023226/2696677
288.96/288.89	c cleaning 72972 clauses out of 146031 with flag 16471291/2770677
299.35/299.20	c cleaning 74018 clauses out of 148058 with flag 16856826/2845676
310.80/310.70	c cleaning 75016 clauses out of 150040 with flag 17304193/2921676
322.17/322.12	c cleaning 76006 clauses out of 152024 with flag 17774554/2998676
333.37/333.30	c cleaning 77004 clauses out of 154018 with flag 18197441/3076676
345.01/345.02	c cleaning 77993 clauses out of 156014 with flag 18636677/3155676
358.70/358.83	c cleaning 78999 clauses out of 158022 with flag 19152261/3235677
371.15/371.37	c cleaning 80004 clauses out of 160024 with flag 19629931/3316678
384.40/384.61	c cleaning 80997 clauses out of 162020 with flag 20139642/3398678
397.56/397.86	c cleaning 82005 clauses out of 164022 with flag 20598478/3481677
410.91/411.20	c cleaning 83008 clauses out of 166017 with flag 21055783/3565677
425.01/425.35	c cleaning 83985 clauses out of 168008 with flag 21502732/3650676
438.58/438.91	c cleaning 85005 clauses out of 170024 with flag 21992115/3736677
451.80/452.15	c cleaning 86003 clauses out of 172018 with flag 22430885/3823676
466.51/466.98	c cleaning 87006 clauses out of 174015 with flag 22865580/3911676
482.19/482.68	c cleaning 87995 clauses out of 176009 with flag 23336677/4000676
497.94/498.45	c cleaning 88993 clauses out of 178014 with flag 24008751/4090676
513.34/513.81	c cleaning 89997 clauses out of 180025 with flag 24591707/4181680
530.53/531.01	c cleaning 90995 clauses out of 182024 with flag 25192187/4273676
546.28/546.82	c cleaning 92006 clauses out of 184029 with flag 25745454/4366676
563.74/564.32	c cleaning 93007 clauses out of 186023 with flag 26438078/4460676
581.24/581.84	c cleaning 94003 clauses out of 188017 with flag 27026135/4555677
598.81/599.43	c cleaning 94997 clauses out of 190013 with flag 27615999/4651676
617.13/619.42	c cleaning 95990 clauses out of 192017 with flag 28243773/4748677
635.20/637.57	c cleaning 97009 clauses out of 194026 with flag 28778490/4846676
655.59/658.12	c cleaning 98003 clauses out of 196017 with flag 29553660/4945676
674.91/677.60	c cleaning 98993 clauses out of 198014 with flag 30183901/5045676
695.33/698.20	c cleaning 100007 clauses out of 200022 with flag 30863290/5146677
715.27/718.30	c cleaning 100991 clauses out of 202014 with flag 31475569/5248676
735.51/738.77	c cleaning 102003 clauses out of 204023 with flag 32171317/5351676
756.86/760.35	c cleaning 102996 clauses out of 206022 with flag 32789405/5455678
778.00/781.53	c cleaning 104001 clauses out of 208027 with flag 33472150/5560679
800.68/804.26	c cleaning 104995 clauses out of 210023 with flag 34066011/5666676
822.43/826.03	c cleaning 105998 clauses out of 212028 with flag 34736561/5773676
844.37/848.01	c cleaning 107007 clauses out of 214031 with flag 35393429/5881677
867.30/871.06	c cleaning 107994 clauses out of 216024 with flag 36180868/5990677
891.07/894.95	c cleaning 108996 clauses out of 218029 with flag 36880006/6100676
916.06/920.03	c cleaning 110006 clauses out of 220033 with flag 37675538/6211676
938.48/942.51	c cleaning 111001 clauses out of 222027 with flag 38323332/6323676
963.08/967.22	c cleaning 112003 clauses out of 224027 with flag 38966283/6436677
986.92/991.18	c cleaning 113007 clauses out of 226023 with flag 39591104/6550676
1011.85/1016.23	c cleaning 113998 clauses out of 228016 with flag 40284320/6665676
1037.58/1045.34	c cleaning 114997 clauses out of 230018 with flag 40969119/6781676
1063.55/1071.67	c cleaning 115991 clauses out of 232021 with flag 41665142/6898676
1090.49/1098.86	c cleaning 117007 clauses out of 234030 with flag 42527735/7016676
1121.52/1130.03	c cleaning 117999 clauses out of 236027 with flag 43380444/7135680
1149.74/1158.38	c cleaning 118993 clauses out of 238024 with flag 44048407/7255676
1177.78/1190.93	c cleaning 120010 clauses out of 240031 with flag 44871318/7376676
1207.26/1220.55	c cleaning 121005 clauses out of 242021 with flag 45539179/7498676
1237.36/1250.79	c cleaning 121999 clauses out of 244016 with flag 46333657/7621676
1266.08/1279.52	c cleaning 123004 clauses out of 246017 with flag 47032545/7745676
1296.06/1309.69	c cleaning 124000 clauses out of 248014 with flag 47798015/7870677
1337.49/1351.17	c cleaning 124993 clauses out of 250016 with flag 49087088/7996679
1374.00/1387.74	c cleaning 125988 clauses out of 252020 with flag 50312459/8123676
1407.12/1420.93	c cleaning 126999 clauses out of 254035 with flag 51115807/8251679
1440.28/1454.39	c cleaning 128007 clauses out of 256036 with flag 51825387/8380679
1473.01/1487.31	c cleaning 129008 clauses out of 258027 with flag 52551894/8510677
1506.70/1521.32	c cleaning 130003 clauses out of 260018 with flag 53365386/8641676
1541.85/1556.89	c cleaning 130997 clauses out of 262015 with flag 54244601/8773676
1575.65/1590.95	c cleaning 131980 clauses out of 264018 with flag 55144560/8906676
1610.50/1626.09	c cleaning 133013 clauses out of 266038 with flag 56007272/9040676
1645.60/1661.25	c cleaning 133992 clauses out of 268027 with flag 56815369/9175678
1685.19/1700.93	c cleaning 135012 clauses out of 270033 with flag 57835372/9311676
1722.35/1738.38	c cleaning 135980 clauses out of 272023 with flag 58700430/9448678
1757.20/1773.50	c cleaning 137018 clauses out of 274045 with flag 59630667/9586680
1793.34/1810.05	c cleaning 138001 clauses out of 276023 with flag 60475909/9725676
1829.46/1846.57	c cleaning 139003 clauses out of 278022 with flag 61353612/9865676
1867.78/1885.27	c cleaning 140006 clauses out of 280020 with flag 62309812/10006677
1907.63/1925.25	c cleaning 140957 clauses out of 282014 with flag 63292018/10148677
1947.96/1965.74	c cleaning 142023 clauses out of 284056 with flag 64140155/10291676
1983.00/2000.95	c cleaning 143010 clauses out of 286033 with flag 65101023/10435676
2022.44/2040.78	c cleaning 143991 clauses out of 288023 with flag 66020884/10580676
2064.08/2082.59	c cleaning 144999 clauses out of 290033 with flag 67010576/10726677
2103.43/2122.03	c cleaning 146006 clauses out of 292033 with flag 68106116/10873676
2146.19/2165.20	c cleaning 147010 clauses out of 294028 with flag 69118617/11021677
2187.13/2207.80	c cleaning 147993 clauses out of 296018 with flag 70063235/11170677
2233.71/2254.52	c cleaning 148993 clauses out of 298024 with flag 71116200/11320676
2278.54/2299.52	c cleaning 150013 clauses out of 300033 with flag 71993294/11471678
2321.64/2342.77	c cleaning 151001 clauses out of 302018 with flag 72943634/11623676
2367.41/2388.60	c cleaning 151993 clauses out of 304018 with flag 74033578/11776677
2415.95/2438.24	c cleaning 153007 clauses out of 306024 with flag 75150833/11930676
2462.05/2484.41	c cleaning 154006 clauses out of 308017 with flag 76099034/12085676
2508.47/2530.97	c cleaning 154992 clauses out of 310012 with flag 77214245/12241677
2558.78/2581.41	c cleaning 155997 clauses out of 312020 with flag 78240625/12398677
2607.59/2630.61	c cleaning 156995 clauses out of 314022 with flag 79294943/12556676
2655.11/2678.30	c cleaning 158000 clauses out of 316028 with flag 80382289/12715677
2703.77/2728.17	c cleaning 159005 clauses out of 318028 with flag 81286498/12875677
2749.57/2774.20	c cleaning 160004 clauses out of 320025 with flag 82454039/13036679
2801.49/2826.31	c cleaning 161004 clauses out of 322018 with flag 83514478/13198676
2852.10/2877.07	c cleaning 161998 clauses out of 324016 with flag 84475940/13361678
2902.31/2927.56	c cleaning 162996 clauses out of 326017 with flag 85480116/13525677
2955.05/2980.71	c cleaning 163993 clauses out of 328020 with flag 86495682/13690676
3013.78/3040.04	c cleaning 165000 clauses out of 330027 with flag 87795782/13856676
3062.82/3089.53	c cleaning 165993 clauses out of 332027 with flag 88952109/14023676
3107.96/3134.94	c cleaning 167009 clauses out of 334035 with flag 89982004/14191677
3154.81/3182.13	c cleaning 168002 clauses out of 336025 with flag 91186554/14360676
3200.59/3228.14	c cleaning 168997 clauses out of 338023 with flag 92239338/14530676
3246.35/3273.95	c cleaning 170009 clauses out of 340026 with flag 93299338/14701676
3290.53/3318.20	c cleaning 170990 clauses out of 342018 with flag 94401067/14873677
3337.97/3366.07	c cleaning 172012 clauses out of 344028 with flag 95421169/15046677
3394.90/3423.26	c cleaning 172999 clauses out of 346015 with flag 97072616/15220676
3439.40/3467.89	c cleaning 173999 clauses out of 348016 with flag 98402958/15395676
3489.10/3517.70	c cleaning 175001 clauses out of 350019 with flag 99485524/15571678
3539.47/3568.29	c cleaning 176001 clauses out of 352017 with flag 100752083/15748677
3590.25/3619.37	c cleaning 177002 clauses out of 354015 with flag 101949008/15926676
3600.07/3629.12	c starts		: 23993
3600.07/3629.12	c conflicts		: 15972292
3600.07/3629.12	c decisions		: 20999604
3600.07/3629.12	c propagations		: 723005934
3600.07/3629.12	c inspects		: 45592733095
3600.07/3629.12	c shortcuts		: 0
3600.07/3629.12	c learnt literals	: 0
3600.07/3629.12	c learnt binary clauses	: 0
3600.07/3629.12	c learnt ternary clauses	: 0
3600.07/3629.12	c learnt constraints	: 15972292
3600.07/3629.12	c ignored constraints	: 0
3600.07/3629.12	c root simplifications	: 0
3600.07/3629.12	c removed literals (reason simplification)	: 71987783
3600.07/3629.12	c reason swapping (by a shorter reason)	: 0
3600.07/3629.12	c Calls to reduceDB	: 175
3600.07/3629.12	c Number of update (reduction) of LBD	: 6586367
3600.07/3629.12	c Imported unit clauses	: 0
3600.07/3629.12	c No decision after first conflict	: false
3600.07/3629.12	c number of reductions to clauses (during analyze)	: 0
3600.07/3629.12	c number of learned constraints concerned by reduction	: 0
3600.07/3629.12	c number of learning phase by resolution	: 0
3600.07/3629.12	c number of learning phase by cutting planes	: 0
3600.07/3629.12	c number of rounding to 1 operations	: 0
3600.07/3629.12	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3629.12	c number of reductions of the coefficients by power 2 	: 0
3600.07/3629.12	c number of right shift for reduction by power 2 	: 0
3600.07/3629.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3629.13	c number of ending skipping 	: 0
3600.07/3629.13	c number of internal skipping 	: 0
3600.07/3629.13	c number of derivation steps 	: 0
3600.07/3629.13	c number of skipped derivation steps 	: 0
3600.07/3629.13	c number of remaining unassigned 	: 0
3600.07/3629.13	c number of remaining assigned 	: 0
3600.07/3629.13	c number of falsified literals weakened from reason	: 0
3600.07/3629.13	c number of falsified literals weakened from conflict	: 0
3600.07/3629.13	c time for arithmetic operations	: 0
3600.07/3629.13	c minimum degree of deleted constraints	: null
3600.07/3629.13	c maximum degree of deleted constraints	: null
3600.07/3629.13	c number of deleted constraints	: 0
3600.07/3629.13	c speed (assignments/second)	: 199232.65305447605
3600.07/3629.13	c non guided choices	: 0
3600.24/3629.21	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 222629
3600.24/3629.21	s SATISFIABLE
3600.24/3629.21	c Found 1 solution(s)
3600.24/3629.21	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 
3600.24/3629.21	c objective function=125
3600.24/3629.21	c Total wall clock time (in seconds): 3629.086

Verifier Data 

OK	125

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100712 s]*
/proc/loadavg: 4.27 4.18 4.17 6/332 190108
/proc/meminfo: memFree=113011964/131524600 swapFree=131071472/131071996
[pid=190090] ppid=190087 vsize=18975048 memory=65008 CPUtime=0.14 cores=0,2
/proc/190090/stat : 190090 (java) S 190087 190090 185303 0 -1 1077936128 7243 0 0 0 12 2 0 0 20 0 18 0 19011254 19430449152 16252 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
/proc/190090/statm: 4743762 16252 5608 1 0 549375 0
[pid=190090/tid=190092] ppid=190087 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/190090/task/190092/stat : 190092 (java) R 190087 190090 185303 0 -1 4194368 5778 0 0 0 7 1 0 0 20 0 18 0 19011254 19430449152 16252 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190101] ppid=190087 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/190090/task/190101/stat : 190101 (Finalizer) S 190087 190090 185303 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 19011257 19430449152 16252 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190108] ppid=190087 vsize=18975048 memory=14973373508739867 CPUtime=0 cores=0,2
/proc/190090/task/190108/stat : 190108 (Common-Cleaner) S 190087 190090 185303 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 19011257 19430449152 16252 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65008 KiB

[startup+0.206328 s]*
/proc/loadavg: 4.27 4.18 4.17 7/333 190109
/proc/meminfo: memFree=113004544/131524600 swapFree=131071472/131071996
[pid=190090] ppid=190087 vsize=19041612 memory=71984 CPUtime=0.32 cores=0,2
/proc/190090/stat : 190090 (java) S 190087 190090 185303 0 -1 1077936128 7830 0 0 0 30 2 0 0 20 0 19 0 19011254 19498610688 17996 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
/proc/190090/statm: 4760403 17996 5779 1 0 549972 0
[pid=190090/tid=190092] ppid=190087 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/190090/task/190092/stat : 190092 (java) R 190087 190090 185303 0 -1 4194368 6092 0 0 0 16 2 0 0 20 0 19 0 19011254 19498610688 17996 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190101] ppid=190087 vsize=19041612 memory=1015694 CPUtime=0 cores=0,2
/proc/190090/task/190101/stat : 190101 (Finalizer) S 190087 190090 185303 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 19011257 19498610688 17996 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190108] ppid=190087 vsize=19041612 memory=14690799019361963 CPUtime=0 cores=0,2
/proc/190090/task/190108/stat : 190108 (Common-Cleaner) S 190087 190090 185303 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 19011257 19498610688 17996 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190109] ppid=190087 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/190090/task/190109/stat : 190109 (Timer-0) S 190087 190090 185303 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 19011271 19498610688 17996 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71984 KiB

[startup+0.308631 s]*
/proc/loadavg: 4.27 4.18 4.17 6/333 190109
/proc/meminfo: memFree=112991032/131524600 swapFree=131071472/131071996
[pid=190090] ppid=190087 vsize=19041612 memory=85316 CPUtime=0.52 cores=0,2
/proc/190090/stat : 190090 (java) S 190087 190090 185303 0 -1 1077936128 9878 0 0 0 49 3 0 0 20 0 19 0 19011254 19498610688 21329 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
/proc/190090/statm: 4760403 21329 5848 1 0 551169 0
[pid=190090/tid=190092] ppid=190087 vsize=19041612 memory=-8670953671361340092 CPUtime=0.25 cores=0,2
/proc/190090/task/190092/stat : 190092 (java) R 190087 190090 185303 0 -1 4194368 6115 0 0 0 23 2 0 0 20 0 19 0 19011254 19498610688 21329 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190101] ppid=190087 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/190090/task/190101/stat : 190101 (Finalizer) S 190087 190090 185303 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 19011257 19498610688 21329 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190108] ppid=190087 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/190090/task/190108/stat : 190108 (Common-Cleaner) S 190087 190090 185303 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 19011257 19498610688 21329 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190109] ppid=190087 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/190090/task/190109/stat : 190109 (Timer-0) S 190087 190090 185303 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 19011271 19498610688 21329 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 85316 KiB

[startup+0.700249 s]
/proc/loadavg: 4.41 4.21 4.18 7/333 190109
/proc/meminfo: memFree=112954576/131524600 swapFree=131071472/131071996
[pid=190090] ppid=190087 vsize=19041612 memory=146252 CPUtime=1.28 cores=0,2
/proc/190090/stat : 190090 (java) S 190087 190090 185303 0 -1 1077936128 12357 0 0 0 123 5 0 0 20 0 19 0 19011254 19498610688 36563 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
/proc/190090/statm: 4760403 36563 5884 1 0 552850 0
[pid=190090/tid=190092] ppid=190087 vsize=19041612 memory=69436 CPUtime=0.58 cores=0,2
/proc/190090/task/190092/stat : 190092 (java) R 190087 190090 185303 0 -1 4194368 6181 0 0 0 55 3 0 0 20 0 19 0 19011254 19498610688 36563 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190101] ppid=190087 vsize=19041612 memory=12404 CPUtime=0 cores=0,2
/proc/190090/task/190101/stat : 190101 (Finalizer) S 190087 190090 185303 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 19011257 19498610688 36563 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190108] ppid=190087 vsize=19041612 memory=2308 CPUtime=0 cores=0,2
/proc/190090/task/190108/stat : 190108 (Common-Cleaner) S 190087 190090 185303 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 19011257 19498610688 36563 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190109] ppid=190087 vsize=19041612 memory=1932 CPUtime=0 cores=0,2
/proc/190090/task/190109/stat : 190109 (Timer-0) S 190087 190090 185303 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 19011271 19498610688 36563 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 146252 KiB

[startup+1.50033 s]
/proc/loadavg: 4.41 4.21 4.18 6/334 190110
/proc/meminfo: memFree=112892956/131524600 swapFree=131071472/131071996
[pid=190090] ppid=190087 vsize=19108176 memory=181212 CPUtime=2.82 cores=0,2
/proc/190090/stat : 190090 (java) S 190087 190090 185303 0 -1 1077936128 18676 0 0 0 275 7 0 0 20 0 20 0 19011254 19566772224 45303 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
/proc/190090/statm: 4777044 45303 5900 1 0 554115 0
[pid=190090/tid=190092] ppid=190087 vsize=19108176 memory=12404 CPUtime=1.34 cores=0,2
/proc/190090/task/190092/stat : 190092 (java) R 190087 190090 185303 0 -1 4194368 6619 0 0 0 129 5 0 0 20 0 20 0 19011254 19566772224 45303 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190101] ppid=190087 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/190090/task/190101/stat : 190101 (Finalizer) S 190087 190090 185303 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 45303 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190108] ppid=190087 vsize=19108176 memory=2308 CPUtime=0 cores=0,2
/proc/190090/task/190108/stat : 190108 (Common-Cleaner) S 190087 190090 185303 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 45303 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190109] ppid=190087 vsize=19108176 memory=1932 CPUtime=0 cores=0,2
/proc/190090/task/190109/stat : 190109 (Timer-0) S 190087 190090 185303 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19011271 19566772224 45303 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181212 KiB

[startup+3.10573 s]
/proc/loadavg: 4.41 4.21 4.18 5/334 190112
/proc/meminfo: memFree=112819204/131524600 swapFree=131071472/131071996
[pid=190090] ppid=190087 vsize=19108176 memory=232916 CPUtime=5.01 cores=0,2
/proc/190090/stat : 190090 (java) S 190087 190090 185303 0 -1 1077936128 20702 0 0 0 492 9 0 0 20 0 20 0 19011254 19566772224 58229 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
/proc/190090/statm: 4777044 58229 5916 1 0 554121 0
[pid=190090/tid=190092] ppid=190087 vsize=19108176 memory=0 CPUtime=2.92 cores=0,2
/proc/190090/task/190092/stat : 190092 (java) R 190087 190090 185303 0 -1 4194368 6939 0 0 0 285 7 0 0 20 0 20 0 19011254 19566772224 58229 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190101] ppid=190087 vsize=19108176 memory=-8670953671361340092 CPUtime=0 cores=0,2
/proc/190090/task/190101/stat : 190101 (Finalizer) S 190087 190090 185303 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 58229 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190108] ppid=190087 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/190090/task/190108/stat : 190108 (Common-Cleaner) S 190087 190090 185303 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 58229 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190109] ppid=190087 vsize=19108176 memory=2308 CPUtime=0 cores=0,2
/proc/190090/task/190109/stat : 190109 (Timer-0) S 190087 190090 185303 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19011271 19566772224 58229 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
Current children cumulated CPU time: 5.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 232916 KiB

[startup+6.30023 s]
/proc/loadavg: 4.38 4.21 4.18 5/334 190112
/proc/meminfo: memFree=112335108/131524600 swapFree=131071472/131071996
[pid=190090] ppid=190087 vsize=19108176 memory=689508 CPUtime=8.38 cores=0,2
/proc/190090/stat : 190090 (java) S 190087 190090 185303 0 -1 1077936128 22324 0 0 0 818 20 0 0 20 0 20 0 19011254 19566772224 172377 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
/proc/190090/statm: 4777044 172377 5916 1 0 554628 0
[pid=190090/tid=190092] ppid=190087 vsize=19108176 memory=2308 CPUtime=6.09 cores=0,2
/proc/190090/task/190092/stat : 190092 (java) R 190087 190090 185303 0 -1 4194368 7546 0 0 0 593 16 0 0 20 0 20 0 19011254 19566772224 172377 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190101] ppid=190087 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/190090/task/190101/stat : 190101 (Finalizer) S 190087 190090 185303 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 172377 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190108] ppid=190087 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/190090/task/190108/stat : 190108 (Common-Cleaner) S 190087 190090 185303 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 172377 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190109] ppid=190087 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=0,2
/proc/190090/task/190109/stat : 190109 (Timer-0) S 190087 190090 185303 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19011271 19566772224 172377 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
Current children cumulated CPU time: 8.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 689508 KiB

[startup+12.7002 s]
/proc/loadavg: 4.35 4.20 4.18 5/336 190116
/proc/meminfo: memFree=111677700/131524600 swapFree=131071472/131071996
[pid=190090] ppid=190087 vsize=19108176 memory=1310452 CPUtime=14.9 cores=0,2
/proc/190090/stat : 190090 (java) S 190087 190090 185303 0 -1 1077936128 27734 0 0 0 1452 38 0 0 20 0 20 0 19011254 19566772224 327613 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
/proc/190090/statm: 4777044 327613 5916 1 0 554628 0
[pid=190090/tid=190092] ppid=190087 vsize=19108176 memory=12404 CPUtime=12.45 cores=0,2
/proc/190090/task/190092/stat : 190092 (java) R 190087 190090 185303 0 -1 4194368 8696 0 0 0 1212 33 0 0 20 0 20 0 19011254 19566772224 327613 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190101] ppid=190087 vsize=19108176 memory=788096 CPUtime=0 cores=0,2
/proc/190090/task/190101/stat : 190101 (Finalizer) S 190087 190090 185303 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 327613 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190108] ppid=190087 vsize=19108176 memory=69436 CPUtime=0 cores=0,2
/proc/190090/task/190108/stat : 190108 (Common-Cleaner) S 190087 190090 185303 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 327613 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190109] ppid=190087 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/190090/task/190109/stat : 190109 (Timer-0) S 190087 190090 185303 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19011271 19566772224 327613 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
Current children cumulated CPU time: 14.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1310452 KiB

[startup+25.5003 s]
/proc/loadavg: 4.37 4.21 4.19 5/336 190119
/proc/meminfo: memFree=111538112/131524600 swapFree=131071472/131071996
[pid=190090] ppid=190087 vsize=19108176 memory=1316600 CPUtime=27.67 cores=0,2
/proc/190090/stat : 190090 (java) S 190087 190090 185303 0 -1 1077936128 31006 0 0 0 2723 44 0 0 20 0 20 0 19011254 19566772224 329150 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
/proc/190090/statm: 4777044 329150 5916 1 0 554628 0
[pid=190090/tid=190092] ppid=190087 vsize=19108176 memory=6943526294502006880 CPUtime=25.2 cores=0,2
/proc/190090/task/190092/stat : 190092 (java) R 190087 190090 185303 0 -1 4194368 10147 0 0 0 2481 39 0 0 20 0 20 0 19011254 19566772224 329150 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190101] ppid=190087 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/190090/task/190101/stat : 190101 (Finalizer) S 190087 190090 185303 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 329150 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190108] ppid=190087 vsize=19108176 memory=3548 CPUtime=0 cores=0,2
/proc/190090/task/190108/stat : 190108 (Common-Cleaner) S 190087 190090 185303 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 329150 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190109] ppid=190087 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/190090/task/190109/stat : 190109 (Timer-0) S 190087 190090 185303 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19011271 19566772224 329150 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
Current children cumulated CPU time: 27.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1316600 KiB

[startup+51.1061 s]
/proc/loadavg: 4.29 4.21 4.18 5/336 190124
/proc/meminfo: memFree=111337400/131524600 swapFree=131071472/131071996
[pid=190090] ppid=190087 vsize=19108176 memory=1326848 CPUtime=52.76 cores=0,2
/proc/190090/stat : 190090 (java) S 190087 190090 185303 0 -1 1077936128 35320 0 0 0 5220 56 0 0 20 0 20 0 19011254 19566772224 331712 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
/proc/190090/statm: 4777044 331712 5916 1 0 554628 0

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

/proc/190090/task/190092/stat : 190092 (java) R 190087 190090 185303 0 -1 4194368 74099 0 0 0 323096 749 0 0 20 0 20 0 19011254 19566772224 543258 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2062 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190101] ppid=190087 vsize=19108176 memory=2137296 CPUtime=0 cores=0,2
/proc/190090/task/190101/stat : 190101 (Finalizer) S 190087 190090 185303 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 543258 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190108] ppid=190087 vsize=19108176 memory=2137296 CPUtime=0 cores=0,2
/proc/190090/task/190108/stat : 190108 (Common-Cleaner) S 190087 190090 185303 0 -1 1077936192 3703 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 543258 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190109] ppid=190087 vsize=19108176 memory=2173032 CPUtime=0 cores=0,2
/proc/190090/task/190109/stat : 190109 (Timer-0) S 190087 190090 185303 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19011271 19566772224 543258 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
Current children cumulated CPU time: 3254.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2173032 KiB

[startup+3342.3 s]
/proc/loadavg: 2.26 3.27 3.87 3/293 192163
/proc/meminfo: memFree=56949548/131524600 swapFree=131071216/131071996
[pid=190090] ppid=190087 vsize=19108176 memory=2173080 CPUtime=3314.41 cores=0,2
/proc/190090/stat : 190090 (java) S 190087 190090 185303 0 -1 1077936128 174679 0 0 0 330555 886 0 0 20 0 20 0 19011254 19566772224 543270 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
/proc/190090/statm: 4777044 543270 5932 1 0 556026 0
[pid=190090/tid=190092] ppid=190087 vsize=19108176 memory=2173048 CPUtime=3297.9 cores=0,2
/proc/190090/task/190092/stat : 190092 (java) R 190087 190090 185303 0 -1 4194368 75208 0 0 0 329033 757 0 0 20 0 20 0 19011254 19566772224 543270 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2085 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190101] ppid=190087 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/190090/task/190101/stat : 190101 (Finalizer) S 190087 190090 185303 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 543270 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190108] ppid=190087 vsize=19108176 memory=2173060 CPUtime=0 cores=0,2
/proc/190090/task/190108/stat : 190108 (Common-Cleaner) S 190087 190090 185303 0 -1 1077936192 3745 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 543270 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190109] ppid=190087 vsize=19108176 memory=2173060 CPUtime=0 cores=0,2
/proc/190090/task/190109/stat : 190109 (Timer-0) S 190087 190090 185303 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19011271 19566772224 543270 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
Current children cumulated CPU time: 3314.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2173080 KiB

[startup+3402.3 s]
/proc/loadavg: 2.21 3.07 3.76 3/288 192174
/proc/meminfo: memFree=59146160/131524600 swapFree=131071216/131071996
[pid=190090] ppid=190087 vsize=19108176 memory=2173112 CPUtime=3374.11 cores=0,2
/proc/190090/stat : 190090 (java) S 190087 190090 185303 0 -1 1077936128 176090 0 0 0 336516 895 0 0 20 0 20 0 19011254 19566772224 543278 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
/proc/190090/statm: 4777044 543278 5932 1 0 556030 0
[pid=190090/tid=190092] ppid=190087 vsize=19108176 memory=11360 CPUtime=3357.52 cores=0,2
/proc/190090/task/190092/stat : 190092 (java) R 190087 190090 185303 0 -1 4194368 76276 0 0 0 334987 765 0 0 20 0 20 0 19011254 19566772224 543278 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2098 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190101] ppid=190087 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/190090/task/190101/stat : 190101 (Finalizer) S 190087 190090 185303 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 543278 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190108] ppid=190087 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/190090/task/190108/stat : 190108 (Common-Cleaner) S 190087 190090 185303 0 -1 1077936192 3821 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 543278 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190109] ppid=190087 vsize=19108176 memory=2173112 CPUtime=0 cores=0,2
/proc/190090/task/190109/stat : 190109 (Timer-0) S 190087 190090 185303 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19011271 19566772224 543278 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
Current children cumulated CPU time: 3374.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2173112 KiB

[startup+3462.3 s]
/proc/loadavg: 2.20 2.90 3.66 3/288 192185
/proc/meminfo: memFree=58542884/131524600 swapFree=131071216/131071996
[pid=190090] ppid=190087 vsize=19108176 memory=2173116 CPUtime=3433.91 cores=0,2
/proc/190090/stat : 190090 (java) S 190087 190090 185303 0 -1 1077936128 179271 0 0 0 342487 904 0 0 20 0 20 0 19011254 19566772224 543279 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
/proc/190090/statm: 4777044 543279 5932 1 0 556030 0
[pid=190090/tid=190092] ppid=190087 vsize=19108176 memory=2173112 CPUtime=3417.07 cores=0,2
/proc/190090/task/190092/stat : 190092 (java) R 190087 190090 185303 0 -1 4194368 77444 0 0 0 340935 772 0 0 20 0 20 0 19011254 19566772224 543279 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2109 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190101] ppid=190087 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/190090/task/190101/stat : 190101 (Finalizer) S 190087 190090 185303 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 543279 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190108] ppid=190087 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/190090/task/190108/stat : 190108 (Common-Cleaner) S 190087 190090 185303 0 -1 1077936192 3952 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 543279 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190109] ppid=190087 vsize=19108176 memory=2173116 CPUtime=0 cores=0,2
/proc/190090/task/190109/stat : 190109 (Timer-0) S 190087 190090 185303 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19011271 19566772224 543279 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
Current children cumulated CPU time: 3433.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2173116 KiB

[startup+3522.3 s]
/proc/loadavg: 2.27 2.80 3.58 3/288 192196
/proc/meminfo: memFree=57238372/131524600 swapFree=131071216/131071996
[pid=190090] ppid=190087 vsize=19108176 memory=2173116 CPUtime=3493.71 cores=0,2
/proc/190090/stat : 190090 (java) S 190087 190090 185303 0 -1 1077936128 181631 0 0 0 348456 915 0 0 20 0 20 0 19011254 19566772224 543279 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
/proc/190090/statm: 4777044 543279 5932 1 0 556030 0
[pid=190090/tid=190092] ppid=190087 vsize=19108176 memory=2173096 CPUtime=3476.64 cores=0,2
/proc/190090/task/190092/stat : 190092 (java) R 190087 190090 185303 0 -1 4194368 78717 0 0 0 346883 781 0 0 20 0 20 0 19011254 19566772224 543279 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2118 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190101] ppid=190087 vsize=19108176 memory=2173116 CPUtime=0 cores=0,2
/proc/190090/task/190101/stat : 190101 (Finalizer) S 190087 190090 185303 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 543279 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190108] ppid=190087 vsize=19108176 memory=5616 CPUtime=0 cores=0,2
/proc/190090/task/190108/stat : 190108 (Common-Cleaner) S 190087 190090 185303 0 -1 1077936192 4016 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 543279 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190109] ppid=190087 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/190090/task/190109/stat : 190109 (Timer-0) S 190087 190090 185303 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19011271 19566772224 543279 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
Current children cumulated CPU time: 3493.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2173116 KiB

[startup+3582.3 s]
/proc/loadavg: 2.31 2.71 3.50 3/288 192207
/proc/meminfo: memFree=54175328/131524600 swapFree=131071216/131071996
[pid=190090] ppid=190087 vsize=19108176 memory=2173116 CPUtime=3553.44 cores=0,2
/proc/190090/stat : 190090 (java) S 190087 190090 185303 0 -1 1077936128 183052 0 0 0 354418 926 0 0 20 0 20 0 19011254 19566772224 543279 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
/proc/190090/statm: 4777044 543279 5932 1 0 556030 0
[pid=190090/tid=190092] ppid=190087 vsize=19108176 memory=2173116 CPUtime=3536.23 cores=0,2
/proc/190090/task/190092/stat : 190092 (java) R 190087 190090 185303 0 -1 4194368 79910 0 0 0 352833 790 0 0 20 0 20 0 19011254 19566772224 543279 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2133 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190101] ppid=190087 vsize=19108176 memory=2173116 CPUtime=0 cores=0,2
/proc/190090/task/190101/stat : 190101 (Finalizer) S 190087 190090 185303 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 543279 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190108] ppid=190087 vsize=19108176 memory=2173116 CPUtime=0 cores=0,2
/proc/190090/task/190108/stat : 190108 (Common-Cleaner) S 190087 190090 185303 0 -1 1077936192 4080 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 543279 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190109] ppid=190087 vsize=19108176 memory=2173116 CPUtime=0 cores=0,2
/proc/190090/task/190109/stat : 190109 (Timer-0) S 190087 190090 185303 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19011271 19566772224 543279 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
Current children cumulated CPU time: 3553.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2173116 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3629.11 s]
/proc/loadavg: 2.26 2.64 3.43 3/286 192219
/proc/meminfo: memFree=52461540/131524600 swapFree=131071216/131071996
[pid=190090] ppid=190087 vsize=19108176 memory=2173128 CPUtime=3600.07 cores=0,2
/proc/190090/stat : 190090 (java) S 190087 190090 185303 0 -1 1077936128 185100 0 0 0 359071 936 0 0 20 0 20 0 19011254 19566772224 543282 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
/proc/190090/statm: 4777044 543282 5932 1 0 556030 0
[pid=190090/tid=190092] ppid=190087 vsize=19108176 memory=69436 CPUtime=3582.63 cores=0,2
/proc/190090/task/190092/stat : 190092 (java) R 190087 190090 185303 0 -1 4194368 80817 0 0 0 357465 798 0 0 20 0 20 0 19011254 19566772224 543282 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2145 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190101] ppid=190087 vsize=19108176 memory=2173116 CPUtime=0 cores=0,2
/proc/190090/task/190101/stat : 190101 (Finalizer) S 190087 190090 185303 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 543282 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190108] ppid=190087 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/190090/task/190108/stat : 190108 (Common-Cleaner) S 190087 190090 185303 0 -1 1077936192 4143 0 0 0 0 0 0 0 20 0 20 0 19011257 19566772224 543282 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190109] ppid=190087 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/190090/task/190109/stat : 190109 (Timer-0) S 190087 190090 185303 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 19011271 19566772224 543282 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2173128 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.91 s, system=9.37707 s

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

[startup+3629.21 s]
/proc/loadavg: 2.26 2.64 3.43 3/286 192219
/proc/meminfo: memFree=52461540/131524600 swapFree=131071216/131071996
[pid=190090] ppid=190087 vsize=19307868 memory=2173992 CPUtime=3600.24 cores=0,2
/proc/190090/stat : 190090 (java) S 190087 190090 185303 0 -1 1077936128 188278 0 0 0 359088 936 0 0 20 0 21 0 19011254 19771256832 543498 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
/proc/190090/statm: 4826967 543498 5931 1 0 556970 0
[pid=190090/tid=190092] ppid=190087 vsize=19307868 memory=69436 CPUtime=3582.71 cores=0,2
/proc/190090/task/190092/stat : 190092 (java) R 190087 190090 185303 0 -1 4194368 81014 0 0 0 357473 798 0 0 20 0 21 0 19011254 19771256832 543498 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 2145 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190101] ppid=190087 vsize=19307868 memory=12404 CPUtime=0 cores=0,2
/proc/190090/task/190101/stat : 190101 (Finalizer) S 190087 190090 185303 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 19011257 19771256832 543498 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
[pid=190090/tid=190108] ppid=190087 vsize=19307868 memory=5616 CPUtime=0 cores=0,2
/proc/190090/task/190108/stat : 190108 (Common-Cleaner) S 190087 190090 185303 0 -1 1077936192 4143 0 0 0 0 0 0 0 20 0 21 0 19011257 19771256832 543498 134679101440 94276141326336 94276141330032 140731808011136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94276141337848 94276141338640 94276168118272 140731808015275 140731808015457 140731808015457 140731808022472 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2173992 KiB

[startup+3629.3 s]*
/proc/loadavg: 2.26 2.64 3.43 2/268 192222
/proc/meminfo: memFree=54607164/131524600 swapFree=131071216/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3629.4
CPU time (s): 3600.29
CPU user time (s): 3590.91
CPU system time (s): 9.37707
CPU usage (%): 99.1978
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2173992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.91
system time used= 9.37707
maximum resident set size= 2175232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188748
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8053504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112399
involuntary context switches= 30686


# summary of solver processes directly reported to runsolver:
#   pid: 190090
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3590.91
#   total CPU system time (s): 9.37707

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.95605 second user time and 17.2098 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-24 14:40:22
IDJOB=4440565
IDBENCH=158407
IDSOLVER=3079
FILE ID=nodeC025/4440565-1721824822
RUNJOBID= nodeC025-1721817187-185313
SLURM_JOB_ID= 7816884
Free space on /tmp= 890000 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/dt-problems/normalized-lo_16x16_001.opb.metafix.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-4440565-1721824822/watcher-4440565-1721824822 -o /tmp/evaluation-result-4440565-1721824822/solver-4440565-1721824822 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721817187-185313 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440565-1721824822 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440565-1721824822.opb

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

MD5SUM BENCH= 5c8bdd7bf429ca5545e1ed59def685f5
RANDOM SEED=54740886

nodeC025.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		: 3647.502
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.51
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		: 3673.252
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.49
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		: 3638.891
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.51
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.918
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.49
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		: 3660.445
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.51
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		: 3673.351
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.49
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		: 3617.615
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.51
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.866
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        113057084 kB
MemAvailable:   120879708 kB
Buffers:          256340 kB
Cached:          8325376 kB
SwapCached:           20 kB
Active:          2519588 kB
Inactive:       15181740 kB
Active(anon):       1544 kB
Inactive(anon):  9171744 kB
Active(file):    2518044 kB
Inactive(file):  6009996 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:             51532 kB
Writeback:           132 kB
AnonPages:       9119320 kB
Mapped:           136424 kB
Shmem:             53908 kB
KReclaimable:     268816 kB
Slab:             395408 kB
SReclaimable:     268816 kB
SUnreclaim:       126592 kB
KernelStack:        5036 kB
PageTables:        28352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   11829308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18048 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8785920 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:      377556 kB
DirectMap2M:    39241728 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC025 at 2024-07-24 15:40:52