Trace number 4432343

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)68835 3600.26 3607.32

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir07_trarea_ac.opb
MD5SUMe4e66f4daa42a17f1f7cec3a27a30418
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 benchmark50162
Best CPU time to get the best result obtained on this benchmark0.296027
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2278
Total number of constraints4879
Number of constraints which are clauses4879
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint43
Number of terms in the objective function 1076
Biggest coefficient in the objective function 2162
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1745862
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2162
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1745862
Number of bits of the biggest sum of numbers21
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 		2106806208
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.13	--- Begin Solver configuration ---
0.14/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.13	Learn all clauses as in MiniSAT
0.14/0.13	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	No reason simplification
0.14/0.13	Glucose 2.1 dynamic restart strategy
0.14/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.14/0.13	timeout=2147483s
0.14/0.13	DB Simplification allowed=false
0.14/0.13	Listener: none
0.14/0.13	--- End Solver configuration ---
0.14/0.13	c Pseudo Boolean Optimization by upper bound
0.14/0.13	c --- Begin Solver configuration ---
0.14/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.13	c Learn all clauses as in MiniSAT
0.14/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	c No reason simplification
0.14/0.13	c Glucose 2.1 dynamic restart strategy
0.14/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.14/0.13	c timeout=2147483s
0.14/0.13	c DB Simplification allowed=false
0.14/0.13	c Listener: none
0.14/0.13	c --- End Solver configuration ---
0.14/0.13	c solving HOME/instance-4432343-1721110615.opb
0.14/0.13	c reading problem ... 
0.14/0.13	c  objective function found
0.32/0.21	c ... done. Wall clock time 0.082s.
0.32/0.21	c declared #vars     2278
0.32/0.21	c #constraints  4879
0.32/0.21	c constraints type 
0.32/0.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3641
0.32/0.21	c org.sat4j.specs.Constr$1 => 49
0.32/0.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1184
0.32/0.21	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.32/0.21	c 4879 constraints processed.
0.32/0.22	c objective function length is 1076 literals
0.32/0.23	c SATISFIABLE
0.32/0.23	c OPTIMIZING...
0.32/0.23	c Got one! Elapsed wall clock time (in seconds):0.108
0.32/0.24	o 72625
0.32/0.26	c Got one! Elapsed wall clock time (in seconds):0.137
0.32/0.27	o 71337
0.32/0.27	c Got one! Elapsed wall clock time (in seconds):0.145
0.32/0.27	o 71323
0.32/0.30	c Got one! Elapsed wall clock time (in seconds):0.17
0.32/0.30	o 70091
0.32/0.30	c Got one! Elapsed wall clock time (in seconds):0.177
0.51/0.31	o 70079
0.51/0.37	c Got one! Elapsed wall clock time (in seconds):0.242
0.51/0.37	o 68847
0.51/0.38	c Got one! Elapsed wall clock time (in seconds):0.248
0.51/0.38	o 68835
1.87/1.22	c cleaning 2811 clauses out of 5623 with flag 19297/5623
2.88/2.07	c cleaning 4405 clauses out of 8812 with flag 42991/11623
3.94/3.08	c cleaning 5690 clauses out of 11407 with flag 71458/18623
5.13/4.29	c cleaning 6848 clauses out of 13717 with flag 105338/26623
6.52/5.60	c cleaning 7926 clauses out of 15869 with flag 143421/35623
7.91/7.03	c cleaning 8969 clauses out of 17944 with flag 187137/45624
9.51/8.67	c cleaning 9983 clauses out of 19974 with flag 225320/56623
11.31/10.45	c cleaning 10981 clauses out of 21992 with flag 269911/68624
13.21/12.38	c cleaning 12000 clauses out of 24010 with flag 324615/81623
15.32/14.48	c cleaning 13001 clauses out of 26010 with flag 375416/95623
17.61/16.74	c cleaning 14001 clauses out of 28009 with flag 434933/110623
20.01/19.18	c cleaning 14996 clauses out of 30008 with flag 490397/126623
22.54/21.64	c cleaning 15988 clauses out of 32012 with flag 548407/143623
25.07/24.14	c cleaning 16997 clauses out of 34024 with flag 618951/161623
27.76/26.81	c cleaning 18012 clauses out of 36027 with flag 690750/180623
30.55/29.62	c cleaning 19003 clauses out of 38015 with flag 772628/200623
33.34/32.41	c cleaning 20005 clauses out of 40012 with flag 871925/221623
36.44/35.51	c cleaning 20995 clauses out of 42007 with flag 960021/243623
39.53/38.65	c cleaning 22001 clauses out of 44012 with flag 1060561/266623
43.13/42.20	c cleaning 22993 clauses out of 46012 with flag 1148472/290624
46.93/46.08	c cleaning 24004 clauses out of 48019 with flag 1250366/315624
50.81/49.99	c cleaning 25003 clauses out of 50015 with flag 1376022/341624
54.91/54.03	c cleaning 25997 clauses out of 52012 with flag 1504524/368624
59.10/58.23	c cleaning 27001 clauses out of 54014 with flag 1641774/396623
63.58/62.73	c cleaning 28002 clauses out of 56013 with flag 1792719/425623
68.18/67.34	c cleaning 28996 clauses out of 58011 with flag 1943271/455623
73.07/72.21	c cleaning 29986 clauses out of 60016 with flag 2097397/486624
78.06/77.22	c cleaning 30995 clauses out of 62029 with flag 2243970/518623
83.36/82.50	c cleaning 32008 clauses out of 64036 with flag 2389574/551625
88.65/87.85	c cleaning 33013 clauses out of 66026 with flag 2565555/585623
94.14/93.33	c cleaning 34003 clauses out of 68013 with flag 2743649/620623
99.73/98.97	c cleaning 34982 clauses out of 70010 with flag 2915879/656623
105.42/104.61	c cleaning 36009 clauses out of 72028 with flag 3089863/693623
111.32/110.59	c cleaning 36997 clauses out of 74021 with flag 3278318/731625
117.71/116.97	c cleaning 38005 clauses out of 76026 with flag 3490802/770627
124.19/123.42	c cleaning 38978 clauses out of 78017 with flag 3712488/810623
131.08/130.30	c cleaning 39999 clauses out of 80039 with flag 3945653/851623
138.37/137.63	c cleaning 41010 clauses out of 82040 with flag 4181996/893623
145.47/144.76	c cleaning 41998 clauses out of 84031 with flag 4397178/936624
152.77/152.03	c cleaning 43012 clauses out of 86032 with flag 4599680/980623
160.19/159.45	c cleaning 44012 clauses out of 88023 with flag 4850309/1025626
168.07/167.38	c cleaning 44996 clauses out of 90008 with flag 5084095/1071623
176.16/175.42	c cleaning 46005 clauses out of 92013 with flag 5305575/1118624
184.17/183.43	c cleaning 46975 clauses out of 94007 with flag 5509762/1166623
192.35/191.60	c cleaning 48002 clauses out of 96033 with flag 5735190/1215624
200.93/200.23	c cleaning 48989 clauses out of 98030 with flag 5998039/1265623
209.65/208.96	c cleaning 50010 clauses out of 100042 with flag 6258754/1316624
218.43/217.74	c cleaning 51012 clauses out of 102031 with flag 6511293/1368623
227.35/226.65	c cleaning 51990 clauses out of 104019 with flag 6775436/1421623
236.53/235.88	c cleaning 53010 clauses out of 106030 with flag 7075956/1475624
246.02/245.38	c cleaning 54003 clauses out of 108019 with flag 7401107/1530623
255.81/255.18	c cleaning 54997 clauses out of 110016 with flag 7688085/1586623
265.73/265.04	c cleaning 55995 clauses out of 112019 with flag 7980786/1643623
275.40/274.70	c cleaning 57003 clauses out of 114025 with flag 8311741/1701624
285.49/284.82	c cleaning 58000 clauses out of 116021 with flag 8624987/1760623
295.76/295.13	c cleaning 59001 clauses out of 118022 with flag 8915784/1820624
305.86/305.36	c cleaning 59997 clauses out of 120020 with flag 9275941/1881623
316.58/316.16	c cleaning 61008 clauses out of 122024 with flag 9613269/1943624
327.72/327.34	c cleaning 61978 clauses out of 124015 with flag 9936934/2006623
338.52/338.21	c cleaning 63008 clauses out of 126037 with flag 10317809/2070623
349.43/349.20	c cleaning 64006 clauses out of 128031 with flag 10669970/2135625
360.73/360.60	c cleaning 64999 clauses out of 130023 with flag 10988970/2201623
372.28/372.20	c cleaning 66000 clauses out of 132024 with flag 11333775/2268623
384.03/384.09	c cleaning 67000 clauses out of 134024 with flag 11691294/2336623
395.90/395.97	c cleaning 68009 clauses out of 136024 with flag 12007092/2405623
408.55/408.53	c cleaning 68997 clauses out of 138015 with flag 12318794/2475623
420.52/420.51	c cleaning 69995 clauses out of 140019 with flag 12641500/2546624
432.70/432.78	c cleaning 71011 clauses out of 142023 with flag 13006415/2618623
445.28/445.30	c cleaning 71999 clauses out of 144014 with flag 13364101/2691625
458.81/458.85	c cleaning 72971 clauses out of 146013 with flag 13769722/2765623
472.68/472.75	c cleaning 74006 clauses out of 148043 with flag 14210977/2840624
486.45/486.54	c cleaning 74998 clauses out of 150036 with flag 14646198/2916623
499.83/499.98	c cleaning 76004 clauses out of 152038 with flag 15043512/2993623
513.86/513.92	c cleaning 76989 clauses out of 154034 with flag 15427287/3071623
527.44/527.54	c cleaning 77980 clauses out of 156045 with flag 15827459/3150623
541.71/541.84	c cleaning 79025 clauses out of 158065 with flag 16269614/3230623
555.78/555.97	c cleaning 80000 clauses out of 160040 with flag 16709958/3311623
570.32/570.46	c cleaning 81003 clauses out of 162041 with flag 17146449/3393624
584.69/584.89	c cleaning 81999 clauses out of 164037 with flag 17534994/3476623
599.47/599.61	c cleaning 83006 clauses out of 166038 with flag 17943623/3560623
614.04/614.22	c cleaning 84003 clauses out of 168032 with flag 18351340/3645623
629.11/629.30	c cleaning 85014 clauses out of 170030 with flag 18760576/3731624
645.17/645.12	c cleaning 85990 clauses out of 172015 with flag 19189871/3818623
661.13/661.13	c cleaning 86990 clauses out of 174025 with flag 19643378/3906623
676.90/676.95	c cleaning 88003 clauses out of 176035 with flag 20085621/3995623
692.77/692.89	c cleaning 88994 clauses out of 178032 with flag 20519773/4085623
709.26/709.35	c cleaning 90007 clauses out of 180039 with flag 20988456/4176624
725.53/725.79	c cleaning 91006 clauses out of 182031 with flag 21443361/4268623
742.38/742.74	c cleaning 91999 clauses out of 184025 with flag 21919009/4361623
759.23/759.73	c cleaning 92987 clauses out of 186027 with flag 22383019/4455624
775.99/776.61	c cleaning 94003 clauses out of 188039 with flag 22822227/4550623
793.01/793.76	c cleaning 95002 clauses out of 190036 with flag 23276068/4646623
810.65/811.53	c cleaning 96001 clauses out of 192034 with flag 23777291/4743623
828.31/829.33	c cleaning 96987 clauses out of 194033 with flag 24323877/4841623
845.36/846.53	c cleaning 98017 clauses out of 196048 with flag 24788202/4940625
862.80/864.09	c cleaning 98992 clauses out of 198030 with flag 25333774/5040624
879.76/881.16	c cleaning 99970 clauses out of 200038 with flag 25862348/5141624
897.70/899.27	c cleaning 101021 clauses out of 202067 with flag 26368041/5243623
915.55/917.29	c cleaning 102003 clauses out of 204048 with flag 26889277/5346625
933.49/935.34	c cleaning 103004 clauses out of 206043 with flag 27374500/5450623
951.48/953.35	c cleaning 104007 clauses out of 208039 with flag 27846965/5555623
970.75/972.69	c cleaning 104995 clauses out of 210032 with flag 28389508/5661623
989.71/991.66	c cleaning 106019 clauses out of 212038 with flag 28911623/5768624
1008.07/1010.00	c cleaning 106997 clauses out of 214018 with flag 29404229/5876623
1025.63/1027.66	c cleaning 107999 clauses out of 216021 with flag 29848471/5985623
1044.78/1046.79	c cleaning 109007 clauses out of 218022 with flag 30290132/6095623
1063.54/1065.59	c cleaning 109992 clauses out of 220015 with flag 30736936/6206623
1083.00/1085.07	c cleaning 110996 clauses out of 222023 with flag 31195560/6318623
1103.85/1105.92	c cleaning 111994 clauses out of 224027 with flag 31680615/6431623
1123.12/1125.29	c cleaning 113011 clauses out of 226033 with flag 32166307/6545623
1143.27/1145.40	c cleaning 113989 clauses out of 228022 with flag 32633445/6660623
1164.94/1167.15	c cleaning 115005 clauses out of 230033 with flag 33148041/6776623
1186.96/1189.15	c cleaning 116010 clauses out of 232029 with flag 33657810/6893624
1207.60/1209.89	c cleaning 116993 clauses out of 234018 with flag 34184276/7011623
1228.46/1230.78	c cleaning 117988 clauses out of 236025 with flag 34732305/7130623
1249.61/1251.99	c cleaning 119012 clauses out of 238037 with flag 35285318/7250623
1270.56/1272.95	c cleaning 119996 clauses out of 240025 with flag 35801207/7371623
1291.61/1294.03	c cleaning 120998 clauses out of 242029 with flag 36333135/7493623
1314.09/1316.45	c cleaning 121992 clauses out of 244031 with flag 36828948/7616623
1336.05/1338.47	c cleaning 123015 clauses out of 246044 with flag 37370112/7740628
1357.81/1360.28	c cleaning 123994 clauses out of 248025 with flag 37934083/7865624
1379.57/1382.08	c cleaning 125002 clauses out of 250030 with flag 38500130/7991623
1402.72/1405.27	c cleaning 125997 clauses out of 252028 with flag 39035076/8118623
1426.29/1428.87	c cleaning 127001 clauses out of 254032 with flag 39568974/8246624
1449.39/1451.46	c cleaning 127999 clauses out of 256030 with flag 40151766/8375623
1472.15/1474.24	c cleaning 128993 clauses out of 258031 with flag 40717561/8505623
1495.21/1497.32	c cleaning 130014 clauses out of 260038 with flag 41307277/8636623
1517.96/1520.16	c cleaning 131012 clauses out of 262026 with flag 41876456/8768625
1541.40/1543.65	c cleaning 132004 clauses out of 264012 with flag 42445866/8901623
1565.14/1567.38	c cleaning 132994 clauses out of 266008 with flag 43020365/9035623
1587.98/1590.25	c cleaning 134003 clauses out of 268014 with flag 43627179/9170623
1611.33/1613.68	c cleaning 134990 clauses out of 270011 with flag 44192384/9306623
1635.77/1638.18	c cleaning 135983 clauses out of 272021 with flag 44729780/9443623
1659.62/1662.09	c cleaning 137009 clauses out of 274040 with flag 45297557/9581625
1683.96/1686.47	c cleaning 137999 clauses out of 276029 with flag 45910457/9720623
1710.00/1712.47	c cleaning 139010 clauses out of 278030 with flag 46480173/9860623
1734.76/1737.25	c cleaning 140002 clauses out of 280021 with flag 47029650/10001624
1759.91/1762.47	c cleaning 140998 clauses out of 282018 with flag 47576510/10143623
1785.26/1787.89	c cleaning 141994 clauses out of 284021 with flag 48180116/10286624
1809.81/1812.40	c cleaning 142989 clauses out of 286026 with flag 48768720/10430623
1836.16/1838.87	c cleaning 143996 clauses out of 288037 with flag 49295357/10575623
1861.73/1864.31	c cleaning 145015 clauses out of 290043 with flag 49825358/10721625
1888.58/1891.29	c cleaning 146008 clauses out of 292029 with flag 50413342/10868626
1915.22/1917.95	c cleaning 147005 clauses out of 294018 with flag 50983126/11016623
1942.06/1944.85	c cleaning 148000 clauses out of 296013 with flag 51569354/11165623
1969.20/1972.06	c cleaning 148996 clauses out of 298013 with flag 52134458/11315623
1997.14/2000.09	c cleaning 150006 clauses out of 300017 with flag 52692006/11466623
2024.58/2027.41	c cleaning 151003 clauses out of 302012 with flag 53304188/11618624
2052.05/2055.18	c cleaning 151998 clauses out of 304010 with flag 53884584/11771625
2079.42/2082.71	c cleaning 152996 clauses out of 306011 with flag 54489818/11925624
2105.30/2108.82	c cleaning 153999 clauses out of 308015 with flag 55132442/12080624
2132.28/2136.08	c cleaning 155000 clauses out of 310015 with flag 55809017/12236623
2159.62/2163.47	c cleaning 156001 clauses out of 312015 with flag 56455246/12393623
2186.68/2190.50	c cleaning 157002 clauses out of 314014 with flag 57098811/12551623
2213.83/2217.77	c cleaning 157992 clauses out of 316012 with flag 57735247/12710623
2241.38/2245.38	c cleaning 158993 clauses out of 318020 with flag 58412518/12870623
2270.02/2274.04	c cleaning 160002 clauses out of 320028 with flag 59101351/13031624
2298.63/2302.36	c cleaning 160998 clauses out of 322025 with flag 59721757/13193623
2327.09/2330.82	c cleaning 162006 clauses out of 324027 with flag 60356621/13356623
2355.73/2359.57	c cleaning 162999 clauses out of 326023 with flag 60996219/13520625
2386.47/2390.34	c cleaning 164006 clauses out of 328022 with flag 61598074/13685623
2415.33/2419.25	c cleaning 164990 clauses out of 330016 with flag 62217825/13851623
2446.75/2450.64	c cleaning 166004 clauses out of 332028 with flag 62892950/14018625
2475.80/2479.72	c cleaning 166994 clauses out of 334022 with flag 63526666/14186623
2506.44/2510.41	c cleaning 168008 clauses out of 336030 with flag 64180514/14355625
2535.59/2539.63	c cleaning 169004 clauses out of 338020 with flag 64790176/14525623
2565.35/2569.48	c cleaning 169988 clauses out of 340017 with flag 65401411/14696624
2595.69/2599.75	c cleaning 171008 clauses out of 342029 with flag 66019690/14868624
2625.13/2629.20	c cleaning 172000 clauses out of 344022 with flag 66617360/15041625
2657.88/2662.05	c cleaning 172990 clauses out of 346020 with flag 67258129/15215623
2690.11/2694.30	c cleaning 174006 clauses out of 348030 with flag 67914328/15390623
2723.46/2727.74	c cleaning 174993 clauses out of 350024 with flag 68577629/15566623
2756.29/2760.60	c cleaning 175988 clauses out of 352031 with flag 69288222/15743623
2789.44/2793.75	c cleaning 177008 clauses out of 354043 with flag 69947636/15921623
2821.88/2826.26	c cleaning 177999 clauses out of 356035 with flag 70651686/16100623
2854.31/2858.77	c cleaning 179011 clauses out of 358037 with flag 71325331/16280624
2886.95/2891.41	c cleaning 180003 clauses out of 360026 with flag 71977510/16461624
2920.18/2924.75	c cleaning 181011 clauses out of 362027 with flag 72634774/16643628
2951.60/2956.21	c cleaning 181996 clauses out of 364012 with flag 73308493/16826624
2983.01/2987.63	c cleaning 183001 clauses out of 366015 with flag 74008961/17010623
3014.56/3019.21	c cleaning 183996 clauses out of 368014 with flag 74719342/17195623
3047.82/3052.60	c cleaning 185002 clauses out of 370019 with flag 75502343/17381624
3078.87/3083.74	c cleaning 185993 clauses out of 372016 with flag 76272809/17568623
3112.19/3117.02	c cleaning 186983 clauses out of 374023 with flag 77102397/17756623
3147.92/3152.80	c cleaning 188006 clauses out of 376040 with flag 78005189/17945623
3184.06/3189.10	c cleaning 189004 clauses out of 378034 with flag 78885111/18135623
3218.40/3223.46	c cleaning 190000 clauses out of 380031 with flag 79747533/18326624
3256.73/3261.36	c cleaning 190998 clauses out of 382030 with flag 80589213/18518623
3291.80/3296.74	c cleaning 192005 clauses out of 384032 with flag 81369403/18711623
3328.26/3333.59	c cleaning 193016 clauses out of 386031 with flag 82175550/18905627
3364.34/3369.82	c cleaning 193990 clauses out of 388013 with flag 83024843/19100625
3400.42/3406.26	c cleaning 195004 clauses out of 390021 with flag 83869377/19296623
3436.59/3442.78	c cleaning 196004 clauses out of 392017 with flag 84701345/19493623
3475.94/3482.37	c cleaning 197000 clauses out of 394013 with flag 85568506/19691623
3514.80/3521.51	c cleaning 197985 clauses out of 396013 with flag 86384831/19890623
3553.84/3560.96	c cleaning 198998 clauses out of 398029 with flag 87107423/20090624
3590.04/3597.25	c cleaning 200013 clauses out of 400032 with flag 87797998/20291625
3600.02/3607.21	c starts		: 9090
3600.02/3607.22	c conflicts		: 20349793
3600.02/3607.22	c decisions		: 119726703
3600.02/3607.22	c propagations		: 19213007198
3600.02/3607.22	c inspects		: 23804670464
3600.02/3607.22	c shortcuts		: 0
3600.02/3607.22	c learnt literals	: 0
3600.02/3607.22	c learnt binary clauses	: 0
3600.02/3607.22	c learnt ternary clauses	: 2
3600.02/3607.22	c learnt constraints	: 20349793
3600.02/3607.22	c ignored constraints	: 0
3600.02/3607.22	c root simplifications	: 0
3600.02/3607.22	c removed literals (reason simplification)	: 0
3600.02/3607.22	c reason swapping (by a shorter reason)	: 0
3600.02/3607.22	c Calls to reduceDB	: 197
3600.02/3607.22	c Number of update (reduction) of LBD	: 10766060
3600.02/3607.22	c Imported unit clauses	: 0
3600.02/3607.22	c No decision after first conflict	: false
3600.02/3607.22	c number of reductions to clauses (during analyze)	: 0
3600.02/3607.22	c number of learned constraints concerned by reduction	: 0
3600.02/3607.22	c number of learning phase by resolution	: 0
3600.02/3607.22	c number of learning phase by cutting planes	: 0
3600.02/3607.22	c number of rounding to 1 operations	: 0
3600.02/3607.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3607.22	c number of reductions of the coefficients by power 2 	: 0
3600.02/3607.22	c number of right shift for reduction by power 2 	: 0
3600.02/3607.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3607.22	c number of ending skipping 	: 0
3600.02/3607.22	c number of internal skipping 	: 0
3600.02/3607.22	c number of derivation steps 	: 0
3600.02/3607.22	c number of skipped derivation steps 	: 0
3600.02/3607.22	c number of remaining unassigned 	: 0
3600.02/3607.22	c number of remaining assigned 	: 0
3600.02/3607.22	c number of falsified literals weakened from reason	: 0
3600.02/3607.22	c number of falsified literals weakened from conflict	: 0
3600.02/3607.22	c time for arithmetic operations	: 0
3600.02/3607.22	c minimum degree of deleted constraints	: null
3600.02/3607.22	c maximum degree of deleted constraints	: null
3600.02/3607.22	c number of deleted constraints	: 0
3600.02/3607.23	c speed (assignments/second)	: 5326595.094089375
3600.02/3607.23	c non guided choices	: 0
3600.23/3607.31	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 258187
3600.23/3607.31	s SATISFIABLE
3600.23/3607.31	c Found 7 solution(s)
3600.23/3607.31	v -x1 x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 x132 x133 -x134 x135 x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 x144 -x145 x146 x147 -x148 -x149 x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 x1775 -x1776 -x1777 -x1778 -x1779 x1780 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 x1790 x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 x1804 x1805 -x1806 -x1807 -x1808 -x1809 x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x1820 x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 x1973 x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 x2105 x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 x2181 x2182 x2183 x2184 x2185 x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 x2207 x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 x2253 x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 x2271 x2272 x2273 x2274 x2275 x2276 -x2277 -x2278 
3600.23/3607.31	c objective function=68835
3600.23/3607.31	c Total wall clock time (in seconds): 3607.181

Verifier Data 

OK	68835

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432343-1721110615/watcher-4432343-1721110615 -o /tmp/evaluation-result-4432343-1721110615/solver-4432343-1721110615 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721106653-842436 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432343-1721110615.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=845263, runsolver pid=845260
Current StackSize limit: 8192 KiB


[startup+0.100641 s]*
/proc/loadavg: 4.50 4.21 4.18 5/328 845281
/proc/meminfo: memFree=127625316/131524600 swapFree=131071996/131071996
[pid=845263] ppid=845260 vsize=18975048 memory=63244 CPUtime=0.14 cores=4,6
/proc/845263/stat : 845263 (java) S 845260 845263 842425 0 -1 1077936128 7221 0 0 0 12 2 0 0 20 0 18 0 163227728 19430449152 15811 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
/proc/845263/statm: 4743762 15811 5670 1 0 549335 0
[pid=845263/tid=845265] ppid=845260 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/845263/task/845265/stat : 845265 (java) R 845260 845263 842425 0 -1 1078198336 5742 0 0 0 7 1 0 0 20 0 18 0 163227728 19430449152 15811 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845274] ppid=845260 vsize=18975048 memory=228556276070 CPUtime=0 cores=4,6
/proc/845263/task/845274/stat : 845274 (Finalizer) S 845260 845263 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163227731 19430449152 15811 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845281] ppid=845260 vsize=18975048 memory=13845278872568824 CPUtime=0 cores=4,6
/proc/845263/task/845281/stat : 845281 (Common-Cleaner) S 845260 845263 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 163227731 19430449152 15811 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63244 KiB

[startup+0.205713 s]*
/proc/loadavg: 4.50 4.21 4.18 7/328 845281
/proc/meminfo: memFree=127612212/131524600 swapFree=131071996/131071996
[pid=845263] ppid=845260 vsize=18975048 memory=76660 CPUtime=0.32 cores=4,6
/proc/845263/stat : 845263 (java) S 845260 845263 842425 0 -1 1077936128 8048 0 0 0 30 2 0 0 20 0 18 0 163227728 19430449152 19165 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
/proc/845263/statm: 4743762 19165 5825 1 0 549820 0
[pid=845263/tid=845265] ppid=845260 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=4,6
/proc/845263/task/845265/stat : 845265 (java) R 845260 845263 842425 0 -1 1077936192 5922 0 0 0 15 2 0 0 20 0 18 0 163227728 19430449152 19165 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845274] ppid=845260 vsize=18975048 memory=16952 CPUtime=0 cores=4,6
/proc/845263/task/845274/stat : 845274 (Finalizer) S 845260 845263 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163227731 19430449152 19165 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845281] ppid=845260 vsize=18975048 memory=15544020042516215 CPUtime=0 cores=4,6
/proc/845263/task/845281/stat : 845281 (Common-Cleaner) S 845260 845263 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 163227731 19430449152 19165 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 76660 KiB

[startup+0.308797 s]*
/proc/loadavg: 4.50 4.21 4.18 7/329 845282
/proc/meminfo: memFree=127605740/131524600 swapFree=131071996/131071996
[pid=845263] ppid=845260 vsize=19041612 memory=82828 CPUtime=0.51 cores=4,6
/proc/845263/stat : 845263 (java) S 845260 845263 842425 0 -1 1077936128 9429 0 0 0 48 3 0 0 20 0 19 0 163227728 19498610688 20707 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
/proc/845263/statm: 4760403 20707 5863 1 0 551024 0
[pid=845263/tid=845265] ppid=845260 vsize=19041612 memory=-9175917559165592252 CPUtime=0.26 cores=4,6
/proc/845263/task/845265/stat : 845265 (java) R 845260 845263 842425 0 -1 4194368 6048 0 0 0 24 2 0 0 20 0 19 0 163227728 19498610688 20707 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845274] ppid=845260 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/845263/task/845274/stat : 845274 (Finalizer) S 845260 845263 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163227731 19498610688 20707 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845281] ppid=845260 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/845263/task/845281/stat : 845281 (Common-Cleaner) S 845260 845263 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163227731 19498610688 20707 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845282] ppid=845260 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/845263/task/845282/stat : 845282 (Timer-0) S 845260 845263 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163227751 19498610688 20707 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 82828 KiB

[startup+0.700911 s]
/proc/loadavg: 4.50 4.21 4.18 7/329 845282
/proc/meminfo: memFree=127598956/131524600 swapFree=131071996/131071996
[pid=845263] ppid=845260 vsize=19041612 memory=93324 CPUtime=1.26 cores=4,6
/proc/845263/stat : 845263 (java) S 845260 845263 842425 0 -1 1077936128 11188 0 0 0 123 3 0 0 20 0 19 0 163227728 19498610688 23331 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
/proc/845263/statm: 4760403 23331 5878 1 0 552024 0
[pid=845263/tid=845265] ppid=845260 vsize=19041612 memory=12420 CPUtime=0.63 cores=4,6
/proc/845263/task/845265/stat : 845265 (java) R 845260 845263 842425 0 -1 4194368 6060 0 0 0 61 2 0 0 20 0 19 0 163227728 19498610688 23331 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845274] ppid=845260 vsize=19041612 memory=12420 CPUtime=0 cores=4,6
/proc/845263/task/845274/stat : 845274 (Finalizer) S 845260 845263 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163227731 19498610688 23331 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845281] ppid=845260 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/845263/task/845281/stat : 845281 (Common-Cleaner) S 845260 845263 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163227731 19498610688 23331 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845282] ppid=845260 vsize=19041612 memory=39476 CPUtime=0 cores=4,6
/proc/845263/task/845282/stat : 845282 (Timer-0) S 845260 845263 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163227751 19498610688 23331 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 93324 KiB

[startup+1.50091 s]
/proc/loadavg: 4.50 4.21 4.18 7/329 845282
/proc/meminfo: memFree=127594808/131524600 swapFree=131071996/131071996
[pid=845263] ppid=845260 vsize=19041612 memory=97300 CPUtime=2.28 cores=4,6
/proc/845263/stat : 845263 (java) S 845260 845263 842425 0 -1 1077936128 15728 0 0 0 224 4 0 0 20 0 19 0 163227728 19498610688 24325 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
/proc/845263/statm: 4760403 24325 5878 1 0 552361 0
[pid=845263/tid=845265] ppid=845260 vsize=19041612 memory=12420 CPUtime=1.42 cores=4,6
/proc/845263/task/845265/stat : 845265 (java) R 845260 845263 842425 0 -1 4194368 7062 0 0 0 140 2 0 0 20 0 19 0 163227728 19498610688 24325 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845274] ppid=845260 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/845263/task/845274/stat : 845274 (Finalizer) S 845260 845263 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163227731 19498610688 24325 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845281] ppid=845260 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/845263/task/845281/stat : 845281 (Common-Cleaner) S 845260 845263 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163227731 19498610688 24325 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845282] ppid=845260 vsize=19041612 memory=65 CPUtime=0 cores=4,6
/proc/845263/task/845282/stat : 845282 (Timer-0) S 845260 845263 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163227751 19498610688 24325 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 97300 KiB

[startup+3.10591 s]
/proc/loadavg: 4.50 4.21 4.18 5/329 845282
/proc/meminfo: memFree=127584644/131524600 swapFree=131071996/131071996
[pid=845263] ppid=845260 vsize=19041612 memory=103908 CPUtime=4.04 cores=4,6
/proc/845263/stat : 845263 (java) S 845260 845263 842425 0 -1 1077936128 16655 0 0 0 400 4 0 0 20 0 19 0 163227728 19498610688 25977 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
/proc/845263/statm: 4760403 25977 5878 1 0 552450 0
[pid=845263/tid=845265] ppid=845260 vsize=19041612 memory=0 CPUtime=3.01 cores=4,6
/proc/845263/task/845265/stat : 845265 (java) R 845260 845263 842425 0 -1 4194368 7352 0 0 0 299 2 0 0 20 0 19 0 163227728 19498610688 25977 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845274] ppid=845260 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/845263/task/845274/stat : 845274 (Finalizer) S 845260 845263 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163227731 19498610688 25977 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845281] ppid=845260 vsize=19041612 memory=99348 CPUtime=0 cores=4,6
/proc/845263/task/845281/stat : 845281 (Common-Cleaner) S 845260 845263 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163227731 19498610688 25977 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845282] ppid=845260 vsize=19041612 memory=12420 CPUtime=0 cores=4,6
/proc/845263/task/845282/stat : 845282 (Timer-0) S 845260 845263 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163227751 19498610688 25977 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
Current children cumulated CPU time: 4.04 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 103908 KiB

[startup+6.3002 s]
/proc/loadavg: 4.54 4.23 4.19 5/329 845282
/proc/meminfo: memFree=127575120/131524600 swapFree=131071996/131071996
[pid=845263] ppid=845260 vsize=19041612 memory=115440 CPUtime=7.21 cores=4,6
/proc/845263/stat : 845263 (java) S 845260 845263 842425 0 -1 1077936128 17724 0 0 0 717 4 0 0 20 0 19 0 163227728 19498610688 28860 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
/proc/845263/statm: 4760403 28860 5878 1 0 552450 0
[pid=845263/tid=845265] ppid=845260 vsize=19041612 memory=12420 CPUtime=6.18 cores=4,6
/proc/845263/task/845265/stat : 845265 (java) R 845260 845263 842425 0 -1 4194368 7978 0 0 0 615 3 0 0 20 0 19 0 163227728 19498610688 28860 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845274] ppid=845260 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/845263/task/845274/stat : 845274 (Finalizer) S 845260 845263 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163227731 19498610688 28860 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845281] ppid=845260 vsize=19041612 memory=6011008531508779088 CPUtime=0 cores=4,6
/proc/845263/task/845281/stat : 845281 (Common-Cleaner) S 845260 845263 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163227731 19498610688 28860 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845282] ppid=845260 vsize=19041612 memory=5468 CPUtime=0 cores=4,6
/proc/845263/task/845282/stat : 845282 (Timer-0) S 845260 845263 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163227751 19498610688 28860 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
Current children cumulated CPU time: 7.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 115440 KiB

[startup+12.7002 s]
/proc/loadavg: 4.49 4.22 4.19 6/329 845283
/proc/meminfo: memFree=127519464/131524600 swapFree=131071996/131071996
[pid=845263] ppid=845260 vsize=19041612 memory=138092 CPUtime=13.62 cores=4,6
/proc/845263/stat : 845263 (java) S 845260 845263 842425 0 -1 1077936128 20252 0 0 0 1357 5 0 0 20 0 19 0 163227728 19498610688 34523 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
/proc/845263/statm: 4760403 34523 5894 1 0 552450 0
[pid=845263/tid=845265] ppid=845260 vsize=19041612 memory=0 CPUtime=12.56 cores=4,6
/proc/845263/task/845265/stat : 845265 (java) R 845260 845263 842425 0 -1 4194368 9196 0 0 0 1253 3 0 0 20 0 19 0 163227728 19498610688 34523 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845274] ppid=845260 vsize=19041612 memory=135932 CPUtime=0 cores=4,6
/proc/845263/task/845274/stat : 845274 (Finalizer) S 845260 845263 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163227731 19498610688 34523 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845281] ppid=845260 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/845263/task/845281/stat : 845281 (Common-Cleaner) S 845260 845263 842425 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163227731 19498610688 34523 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845282] ppid=845260 vsize=19041612 memory=16156 CPUtime=0 cores=4,6
/proc/845263/task/845282/stat : 845282 (Timer-0) S 845260 845263 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163227751 19498610688 34523 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
Current children cumulated CPU time: 13.62 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 138092 KiB

[startup+25.5002 s]
/proc/loadavg: 4.38 4.21 4.18 5/330 845287
/proc/meminfo: memFree=127475820/131524600 swapFree=131071996/131071996
[pid=845263] ppid=845260 vsize=19108176 memory=179604 CPUtime=26.46 cores=4,6
/proc/845263/stat : 845263 (java) S 845260 845263 842425 0 -1 1077936128 24657 0 0 0 2640 6 0 0 20 0 20 0 163227728 19566772224 44901 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
/proc/845263/statm: 4777044 44901 5926 1 0 552739 0
[pid=845263/tid=845265] ppid=845260 vsize=19108176 memory=135932 CPUtime=25.33 cores=4,6
/proc/845263/task/845265/stat : 845265 (java) R 845260 845263 842425 0 -1 4194368 10195 0 0 0 2529 4 0 0 20 0 20 0 163227728 19566772224 44901 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845274] ppid=845260 vsize=19108176 memory=16156 CPUtime=0 cores=4,6
/proc/845263/task/845274/stat : 845274 (Finalizer) S 845260 845263 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163227731 19566772224 44901 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845281] ppid=845260 vsize=19108176 memory=158688 CPUtime=0 cores=4,6
/proc/845263/task/845281/stat : 845281 (Common-Cleaner) S 845260 845263 842425 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 163227731 19566772224 44901 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845282] ppid=845260 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/845263/task/845282/stat : 845282 (Timer-0) S 845260 845263 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163227751 19566772224 44901 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
Current children cumulated CPU time: 26.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179604 KiB

[startup+51.1055 s]
/proc/loadavg: 4.33 4.21 4.18 5/330 845291
/proc/meminfo: memFree=127427884/131524600 swapFree=131071996/131071996
[pid=845263] ppid=845260 vsize=19108176 memory=189896 CPUtime=52.02 cores=4,6
/proc/845263/stat : 845263 (java) S 845260 845263 842425 0 -1 1077936128 27773 0 0 0 5195 7 0 0 20 0 20 0 163227728 19566772224 47474 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
/proc/845263/statm: 4777044 47474 5926 1 0 552739 0
[pid=845263/tid=845265] ppid=845260 vsize=19108176 memory=189892 CPUtime=50.86 cores=4,6
/proc/845263/task/845265/stat : 845265 (java) R 845260 845263 842425 0 -1 4194368 11612 0 0 0 5082 4 0 0 20 0 20 0 163227728 19566772224 47474 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0

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

[startup+3282.3 s]
/proc/loadavg: 4.27 4.20 4.18 5/332 847337
/proc/meminfo: memFree=125778716/131524600 swapFree=131071996/131071996
[pid=845263] ppid=845260 vsize=19108176 memory=2091940 CPUtime=3277.53 cores=4,6
/proc/845263/stat : 845263 (java) S 845260 845263 842425 0 -1 1077936128 157115 0 0 0 327646 107 0 0 20 0 20 0 163227728 19566772224 522985 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
/proc/845263/statm: 4777044 522985 5942 1 0 556759 0
[pid=845263/tid=845265] ppid=845260 vsize=19108176 memory=2091940 CPUtime=3267.91 cores=4,6
/proc/845263/task/845265/stat : 845265 (java) R 845260 845263 842425 0 -1 4194368 68438 0 0 0 326777 14 0 0 20 0 20 0 163227728 19566772224 522985 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845274] ppid=845260 vsize=19108176 memory=2091940 CPUtime=0 cores=4,6
/proc/845263/task/845274/stat : 845274 (Finalizer) S 845260 845263 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163227731 19566772224 522985 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845281] ppid=845260 vsize=19108176 memory=2091940 CPUtime=0 cores=4,6
/proc/845263/task/845281/stat : 845281 (Common-Cleaner) S 845260 845263 842425 0 -1 1077936192 3811 0 0 0 0 0 0 0 20 0 20 0 163227731 19566772224 522985 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845282] ppid=845260 vsize=19108176 memory=2091940 CPUtime=0 cores=4,6
/proc/845263/task/845282/stat : 845282 (Timer-0) S 845260 845263 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163227751 19566772224 522985 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
Current children cumulated CPU time: 3277.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2091940 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/332 847348
/proc/meminfo: memFree=125087512/131524600 swapFree=131071996/131071996
[pid=845263] ppid=845260 vsize=19108176 memory=2091940 CPUtime=3336.97 cores=4,6
/proc/845263/stat : 845263 (java) S 845260 845263 842425 0 -1 1077936128 158381 0 0 0 333589 108 0 0 20 0 20 0 163227728 19566772224 522985 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
/proc/845263/statm: 4777044 522985 5942 1 0 556759 0
[pid=845263/tid=845265] ppid=845260 vsize=19108176 memory=2091940 CPUtime=3327.34 cores=4,6
/proc/845263/task/845265/stat : 845265 (java) R 845260 845263 842425 0 -1 4194368 69488 0 0 0 332720 14 0 0 20 0 20 0 163227728 19566772224 522985 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845274] ppid=845260 vsize=19108176 memory=2091940 CPUtime=0 cores=4,6
/proc/845263/task/845274/stat : 845274 (Finalizer) S 845260 845263 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163227731 19566772224 522985 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845281] ppid=845260 vsize=19108176 memory=16156 CPUtime=0 cores=4,6
/proc/845263/task/845281/stat : 845281 (Common-Cleaner) S 845260 845263 842425 0 -1 1077936192 3897 0 0 0 0 0 0 0 20 0 20 0 163227731 19566772224 522985 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845282] ppid=845260 vsize=19108176 memory=2091940 CPUtime=0 cores=4,6
/proc/845263/task/845282/stat : 845282 (Timer-0) S 845260 845263 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163227751 19566772224 522985 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
Current children cumulated CPU time: 3336.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2091940 KiB

[startup+3402.3 s]
/proc/loadavg: 4.32 4.22 4.19 5/332 847360
/proc/meminfo: memFree=124544272/131524600 swapFree=131071996/131071996
[pid=845263] ppid=845260 vsize=19108176 memory=2091940 CPUtime=3396.55 cores=4,6
/proc/845263/stat : 845263 (java) S 845260 845263 842425 0 -1 1077936128 160269 0 0 0 339546 109 0 0 20 0 20 0 163227728 19566772224 522985 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
/proc/845263/statm: 4777044 522985 5942 1 0 556759 0
[pid=845263/tid=845265] ppid=845260 vsize=19108176 memory=2091940 CPUtime=3386.62 cores=4,6
/proc/845263/task/845265/stat : 845265 (java) R 845260 845263 842425 0 -1 4194368 70054 0 0 0 338648 14 0 0 20 0 20 0 163227728 19566772224 522985 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845274] ppid=845260 vsize=19108176 memory=16156 CPUtime=0 cores=4,6
/proc/845263/task/845274/stat : 845274 (Finalizer) S 845260 845263 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163227731 19566772224 522985 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845281] ppid=845260 vsize=19108176 memory=2091940 CPUtime=0 cores=4,6
/proc/845263/task/845281/stat : 845281 (Common-Cleaner) S 845260 845263 842425 0 -1 1077936192 3909 0 0 0 0 0 0 0 20 0 20 0 163227731 19566772224 522985 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845282] ppid=845260 vsize=19108176 memory=2091940 CPUtime=0 cores=4,6
/proc/845263/task/845282/stat : 845282 (Timer-0) S 845260 845263 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163227751 19566772224 522985 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
Current children cumulated CPU time: 3396.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2091940 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.21 4.18 5/333 847372
/proc/meminfo: memFree=124303072/131524600 swapFree=131071996/131071996
[pid=845263] ppid=845260 vsize=19108176 memory=2173864 CPUtime=3456.12 cores=4,6
/proc/845263/stat : 845263 (java) S 845260 845263 842425 0 -1 1077936128 162342 0 0 0 345499 113 0 0 20 0 20 0 163227728 19566772224 543466 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
/proc/845263/statm: 4777044 543466 5942 1 0 556759 0
[pid=845263/tid=845265] ppid=845260 vsize=19108176 memory=2091940 CPUtime=3445.94 cores=4,6
/proc/845263/task/845265/stat : 845265 (java) R 845260 845263 842425 0 -1 4194368 70909 0 0 0 344580 14 0 0 20 0 20 0 163227728 19566772224 543466 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845274] ppid=845260 vsize=19108176 memory=16156 CPUtime=0 cores=4,6
/proc/845263/task/845274/stat : 845274 (Finalizer) S 845260 845263 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163227731 19566772224 543466 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845281] ppid=845260 vsize=19108176 memory=2091940 CPUtime=0 cores=4,6
/proc/845263/task/845281/stat : 845281 (Common-Cleaner) S 845260 845263 842425 0 -1 1077936192 3998 0 0 0 0 0 0 0 20 0 20 0 163227731 19566772224 543466 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845282] ppid=845260 vsize=19108176 memory=11664 CPUtime=0 cores=4,6
/proc/845263/task/845282/stat : 845282 (Timer-0) S 845260 845263 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163227751 19566772224 543466 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
Current children cumulated CPU time: 3456.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2173864 KiB

[startup+3522.3 s]
/proc/loadavg: 4.28 4.23 4.19 5/331 847382
/proc/meminfo: memFree=124186928/131524600 swapFree=131071996/131071996
[pid=845263] ppid=845260 vsize=19108176 memory=2173864 CPUtime=3515.59 cores=4,6
/proc/845263/stat : 845263 (java) S 845260 845263 842425 0 -1 1077936128 163567 0 0 0 351444 115 0 0 20 0 20 0 163227728 19566772224 543466 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
/proc/845263/statm: 4777044 543466 5942 1 0 556759 0
[pid=845263/tid=845265] ppid=845260 vsize=19108176 memory=2173864 CPUtime=3505.39 cores=4,6
/proc/845263/task/845265/stat : 845265 (java) R 845260 845263 842425 0 -1 4194368 71927 0 0 0 350525 14 0 0 20 0 20 0 163227728 19566772224 543466 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845274] ppid=845260 vsize=19108176 memory=2173864 CPUtime=0 cores=4,6
/proc/845263/task/845274/stat : 845274 (Finalizer) S 845260 845263 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163227731 19566772224 543466 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845281] ppid=845260 vsize=19108176 memory=2173864 CPUtime=0 cores=4,6
/proc/845263/task/845281/stat : 845281 (Common-Cleaner) S 845260 845263 842425 0 -1 1077936192 4091 0 0 0 0 0 0 0 20 0 20 0 163227731 19566772224 543466 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845282] ppid=845260 vsize=19108176 memory=2173864 CPUtime=0 cores=4,6
/proc/845263/task/845282/stat : 845282 (Timer-0) S 845260 845263 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163227751 19566772224 543466 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
Current children cumulated CPU time: 3515.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2173864 KiB

[startup+3582.3 s]
/proc/loadavg: 4.26 4.23 4.19 5/331 847393
/proc/meminfo: memFree=123806124/131524600 swapFree=131071996/131071996
[pid=845263] ppid=845260 vsize=19108176 memory=2173864 CPUtime=3575.06 cores=4,6
/proc/845263/stat : 845263 (java) S 845260 845263 842425 0 -1 1077936128 164798 0 0 0 357390 116 0 0 20 0 20 0 163227728 19566772224 543466 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
/proc/845263/statm: 4777044 543466 5942 1 0 556759 0
[pid=845263/tid=845265] ppid=845260 vsize=19108176 memory=-9175917559165592252 CPUtime=3564.83 cores=4,6
/proc/845263/task/845265/stat : 845265 (java) R 845260 845263 842425 0 -1 4194368 72890 0 0 0 356469 14 0 0 20 0 20 0 163227728 19566772224 543466 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845274] ppid=845260 vsize=19108176 memory=2173864 CPUtime=0 cores=4,6
/proc/845263/task/845274/stat : 845274 (Finalizer) S 845260 845263 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163227731 19566772224 543466 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845281] ppid=845260 vsize=19108176 memory=16156 CPUtime=0 cores=4,6
/proc/845263/task/845281/stat : 845281 (Common-Cleaner) S 845260 845263 842425 0 -1 1077936192 4222 0 0 0 0 0 0 0 20 0 20 0 163227731 19566772224 543466 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845282] ppid=845260 vsize=19108176 memory=2173864 CPUtime=0 cores=4,6
/proc/845263/task/845282/stat : 845282 (Timer-0) S 845260 845263 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163227751 19566772224 543466 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
Current children cumulated CPU time: 3575.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2173864 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.2 s]
/proc/loadavg: 4.29 4.25 4.19 5/331 847397
/proc/meminfo: memFree=123752508/131524600 swapFree=131071996/131071996
[pid=845263] ppid=845260 vsize=19108176 memory=2173868 CPUtime=3600.02 cores=4,6
/proc/845263/stat : 845263 (java) S 845260 845263 842425 0 -1 1077936128 166228 0 0 0 359886 116 0 0 20 0 20 0 163227728 19566772224 543467 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
/proc/845263/statm: 4777044 543467 5942 1 0 556759 0
[pid=845263/tid=845265] ppid=845260 vsize=19108176 memory=41552 CPUtime=3589.46 cores=4,6
/proc/845263/task/845265/stat : 845265 (java) R 845260 845263 842425 0 -1 4194368 73023 0 0 0 358932 14 0 0 20 0 20 0 163227728 19566772224 543467 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845274] ppid=845260 vsize=19108176 memory=4912 CPUtime=0 cores=4,6
/proc/845263/task/845274/stat : 845274 (Finalizer) S 845260 845263 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163227731 19566772224 543467 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845281] ppid=845260 vsize=19108176 memory=714364 CPUtime=0 cores=4,6
/proc/845263/task/845281/stat : 845281 (Common-Cleaner) S 845260 845263 842425 0 -1 1077936192 4222 0 0 0 0 0 0 0 20 0 20 0 163227731 19566772224 543467 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845282] ppid=845260 vsize=19108176 memory=-9175917559165592252 CPUtime=0 cores=4,6
/proc/845263/task/845282/stat : 845282 (Timer-0) S 845260 845263 842425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163227751 19566772224 543467 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2173868 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.08 s, system=1.18381 s

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

[startup+3607.31 s]
/proc/loadavg: 4.29 4.25 4.19 5/331 847397
/proc/meminfo: memFree=123752508/131524600 swapFree=131071996/131071996
[pid=845263] ppid=845260 vsize=19307868 memory=2174628 CPUtime=3600.23 cores=4,6
/proc/845263/stat : 845263 (java) S 845260 845263 842425 0 -1 1077936128 169214 0 0 0 359906 117 0 0 20 0 21 0 163227728 19771256832 543657 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
/proc/845263/statm: 4826967 543657 5941 1 0 557674 0
[pid=845263/tid=845265] ppid=845260 vsize=19307868 memory=12420 CPUtime=3589.55 cores=4,6
/proc/845263/task/845265/stat : 845265 (java) R 845260 845263 842425 0 -1 4194368 73173 0 0 0 358941 14 0 0 20 0 21 0 163227728 19771256832 543657 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845274] ppid=845260 vsize=19307868 memory=2091940 CPUtime=0 cores=4,6
/proc/845263/task/845274/stat : 845274 (Finalizer) S 845260 845263 842425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 163227731 19771256832 543657 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
[pid=845263/tid=845281] ppid=845260 vsize=19307868 memory=11664 CPUtime=0 cores=4,6
/proc/845263/task/845281/stat : 845281 (Common-Cleaner) S 845260 845263 842425 0 -1 1077936192 4222 0 0 0 0 0 0 0 20 0 21 0 163227731 19771256832 543657 134679101440 94052765343744 94052765347440 140728285493040 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94052765355256 94052765356048 94052798320640 140728285500423 140728285500513 140728285500513 140728285507528 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2174628 KiB

Child status: 143

Real time (s): 3607.32
CPU time (s): 3600.26
CPU user time (s): 3599.08
CPU system time (s): 1.18381
CPU usage (%): 99.8042
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2174628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.08
system time used= 1.18381
maximum resident set size= 2175412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169316
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104054
involuntary context switches= 11416


# summary of solver processes directly reported to runsolver:
#   pid: 845263
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3599.08
#   total CPU system time (s): 1.18381

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04793 second user time and 16.4264 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-16 08:17:08
IDJOB=4432343
IDBENCH=148148
IDSOLVER=3058
FILE ID=nodeC026/4432343-1721110615
RUNJOBID= nodeC026-1721106653-842436
SLURM_JOB_ID= 7505637
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir07_trarea_ac.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432343-1721110615/watcher-4432343-1721110615 -o /tmp/evaluation-result-4432343-1721110615/solver-4432343-1721110615 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721106653-842436 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432343-1721110615.opb

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

MD5SUM BENCH= e4e66f4daa42a17f1f7cec3a27a30418
RANDOM SEED=1048190599

nodeC026.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		: 3669.013
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.74
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		: 3685.044
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.45
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		: 3618.424
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127667260 kB
MemAvailable:   128542120 kB
Buffers:          403940 kB
Cached:          1305260 kB
SwapCached:            0 kB
Active:           697864 kB
Inactive:        2557120 kB
Active(anon):       1548 kB
Inactive(anon):  1581988 kB
Active(file):     696316 kB
Inactive(file):   975132 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1264 kB
Writeback:             8 kB
AnonPages:       1542796 kB
Mapped:           124220 kB
Shmem:             37720 kB
KReclaimable:      86468 kB
Slab:             192296 kB
SReclaimable:      86468 kB
SUnreclaim:       105828 kB
KernelStack:        4976 kB
PageTables:        13396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7322708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62368 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1296384 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:      232148 kB
DirectMap2M:    20512768 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC026 at 2024-07-16 09:17:16