Trace number 4424851

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 NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07MSAT (TO) 3600.61 3550.71

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo
MD5SUM3585fb426f9029f6e955b919f6710c5b
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.131065
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3660
Total number of constraints121
Number of soft constraints81
Number of constraints which are clauses61
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint61
Top cost 3401
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 3400
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version CUSTOM.v20240707
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.10	c Free memory 		2115194816
0.00/0.10	c Max memory 		16282288128
0.00/0.10	c Total memory 		2122317824
0.00/0.10	c Number of processors 	2
0.17/0.15	--- Begin Solver configuration ---
0.17/0.15	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.17/0.15	Learn all clauses as in MiniSAT
0.17/0.15	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.17/0.15	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.17/0.15	No reason simplification
0.17/0.15	Glucose 2.1 dynamic restart strategy
0.17/0.15	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.17/0.15	timeout=2147483s
0.17/0.15	DB Simplification allowed=false
0.17/0.15	Listener: none
0.17/0.15	--- End Solver configuration ---
0.17/0.15	c Pseudo Boolean Optimization by upper bound
0.17/0.15	c --- Begin Solver configuration ---
0.17/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.17/0.15	c Learn all clauses as in MiniSAT
0.17/0.15	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.17/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.17/0.15	c No reason simplification
0.17/0.15	c Glucose 2.1 dynamic restart strategy
0.17/0.15	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.17/0.15	c timeout=2147483s
0.17/0.15	c DB Simplification allowed=false
0.17/0.15	c Listener: none
0.17/0.15	c --- End Solver configuration ---
0.17/0.15	c solving HOME/instance-4424851-1720881315.wbo
0.17/0.15	c reading problem ... 
0.37/0.23	c ... done. Wall clock time 0.087s.
0.37/0.23	c declared #vars     3660
0.37/0.23	c internal #vars     3741
0.37/0.23	c #constraints  122
0.37/0.23	c constraints type 
0.37/0.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 21
0.37/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 39
0.37/0.23	c org.sat4j.specs.Constr$1 => 1
0.37/0.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 61
0.37/0.23	c 122 constraints processed.
0.37/0.24	c objective function length is 81 literals
2.43/1.70	c cleaning 2495 clauses out of 5001 with flag 31658/5001
3.91/2.85	c cleaning 4246 clauses out of 8505 with flag 70411/11000
5.72/4.42	c cleaning 5626 clauses out of 11261 with flag 111116/18002
7.47/5.94	c SATISFIABLE
7.47/5.95	c OPTIMIZING...
7.47/5.95	c Got one! Elapsed wall clock time (in seconds):5.804
7.47/5.95	o 4
9.90/7.94	c cleaning 8093 clauses out of 16193 with flag 26908/28560
13.49/11.13	c cleaning 7040 clauses out of 14100 with flag 62813/34560
15.87/13.54	c cleaning 7026 clauses out of 14061 with flag 105766/41561
19.01/16.41	c cleaning 7511 clauses out of 15034 with flag 157561/49560
23.30/20.61	c cleaning 8254 clauses out of 16524 with flag 220279/58561
27.02/24.24	c cleaning 9127 clauses out of 18271 with flag 293138/68562
32.14/29.23	c cleaning 10065 clauses out of 20144 with flag 372282/79562
36.85/33.99	c cleaning 11032 clauses out of 22078 with flag 455680/91561
42.83/39.85	c cleaning 12016 clauses out of 24045 with flag 543420/104560
49.51/46.48	c cleaning 13003 clauses out of 26029 with flag 643792/118560
58.01/54.75	c cleaning 14010 clauses out of 28030 with flag 749665/133564
69.21/65.71	c cleaning 15001 clauses out of 30017 with flag 859959/149561
75.14/71.54	c Got one! Elapsed wall clock time (in seconds):71.402
75.14/71.55	o 3
78.76/75.18	c cleaning 15514 clauses out of 31046 with flag 29402/165591
81.52/77.84	c cleaning 10749 clauses out of 21532 with flag 68239/171591
83.84/80.14	c cleaning 8883 clauses out of 17785 with flag 116349/178593
86.82/82.82	c cleaning 8446 clauses out of 16901 with flag 172655/186592
90.06/86.08	c cleaning 8722 clauses out of 17457 with flag 244867/195594
93.62/89.51	c cleaning 9361 clauses out of 18732 with flag 324835/205591
97.82/93.71	c cleaning 10180 clauses out of 20372 with flag 407957/216592
102.24/98.19	c cleaning 11088 clauses out of 22192 with flag 495747/228592
108.07/103.98	c cleaning 12046 clauses out of 24103 with flag 592009/241591
114.65/110.48	c cleaning 13022 clauses out of 26057 with flag 689458/255591
122.78/118.48	c cleaning 14011 clauses out of 28035 with flag 798547/270591
133.65/128.68	c cleaning 15004 clauses out of 30025 with flag 916602/286592
143.65/138.50	c cleaning 16004 clauses out of 32023 with flag 1031379/303594
153.78/148.52	c cleaning 16994 clauses out of 34016 with flag 1145533/321591
166.09/160.79	c cleaning 18003 clauses out of 36024 with flag 1268291/340593
170.53/165.02	c Got one! Elapsed wall clock time (in seconds):164.879
170.53/165.02	o 2
173.53/168.06	c cleaning 16453 clauses out of 32921 with flag 29733/355493
176.12/170.52	c cleaning 11222 clauses out of 22466 with flag 69223/361491
177.63/172.07	c cleaning 9115 clauses out of 18244 with flag 118317/368491
178.82/173.24	c Got one! Elapsed wall clock time (in seconds):173.104
178.82/173.25	o 1
180.10/174.45	c cleaning 9721 clauses out of 19457 with flag 27974/378819
181.00/175.31	c cleaning 7855 clauses out of 15736 with flag 71608/384819
182.71/177.11	c cleaning 7423 clauses out of 14881 with flag 126211/391819
184.99/179.34	c cleaning 7715 clauses out of 15457 with flag 185475/399818
187.66/181.96	c cleaning 8355 clauses out of 16743 with flag 244059/408819
190.65/184.94	c cleaning 9180 clauses out of 18390 with flag 311696/418821
194.45/188.63	c cleaning 10086 clauses out of 20209 with flag 383792/429820
199.57/193.69	c cleaning 11041 clauses out of 22121 with flag 471773/441818
205.47/199.53	c cleaning 12026 clauses out of 24080 with flag 579439/454818
211.69/205.67	c cleaning 13013 clauses out of 26054 with flag 698354/468818
219.21/213.08	c cleaning 14004 clauses out of 28041 with flag 816637/483818
226.68/220.19	c cleaning 14998 clauses out of 30038 with flag 942217/499819
233.99/227.37	c cleaning 16001 clauses out of 32039 with flag 1089171/516818
243.45/236.60	c cleaning 16996 clauses out of 34038 with flag 1251010/534818
251.44/244.62	c cleaning 18002 clauses out of 36043 with flag 1415639/553819
260.68/253.79	c cleaning 18998 clauses out of 38040 with flag 1589386/573818
273.33/266.29	c cleaning 20003 clauses out of 40042 with flag 1763640/594818
287.07/279.83	c cleaning 21005 clauses out of 42039 with flag 1959620/616818
299.58/292.04	c cleaning 21997 clauses out of 44034 with flag 2170001/639818
320.49/312.80	c cleaning 22999 clauses out of 46038 with flag 2395550/663819
343.77/335.63	c cleaning 24000 clauses out of 48039 with flag 2625345/688819
363.69/355.55	c cleaning 24999 clauses out of 50038 with flag 2869133/714818
386.26/377.99	c cleaning 26002 clauses out of 52041 with flag 3121129/741820
407.44/399.15	c cleaning 27004 clauses out of 54041 with flag 3363693/769822
431.92/423.54	c cleaning 27997 clauses out of 56033 with flag 3632752/798818
461.15/452.78	c cleaning 28999 clauses out of 58038 with flag 3889054/828820
488.35/479.65	c cleaning 29999 clauses out of 60038 with flag 4144719/859819
520.73/511.79	c cleaning 31001 clauses out of 62039 with flag 4436940/891819
550.16/541.08	c cleaning 32000 clauses out of 64037 with flag 4719465/924818
581.59/572.23	c cleaning 32997 clauses out of 66038 with flag 5017101/958819
613.37/603.39	c cleaning 34005 clauses out of 68042 with flag 5307989/993820
652.09/641.76	c cleaning 34998 clauses out of 70035 with flag 5609518/1029818
697.63/687.17	c cleaning 36000 clauses out of 72040 with flag 5933811/1066821
737.03/726.28	c cleaning 37005 clauses out of 74038 with flag 6270100/1104819
780.60/769.50	c cleaning 37994 clauses out of 76033 with flag 6566512/1143819
826.83/815.51	c cleaning 39000 clauses out of 78039 with flag 6893820/1183819
877.27/865.74	c cleaning 40001 clauses out of 80039 with flag 7256279/1224819
927.36/915.55	c cleaning 40999 clauses out of 82039 with flag 7651541/1266820
939.60/927.40	c cleaning 41993 clauses out of 84039 with flag 7945381/1309819
957.56/945.06	c cleaning 43001 clauses out of 86046 with flag 8214879/1353819
969.36/956.41	c cleaning 43990 clauses out of 88044 with flag 8515858/1398818
1001.48/987.59	c cleaning 45010 clauses out of 90054 with flag 8803115/1444818
1032.23/1018.09	c cleaning 46007 clauses out of 92046 with flag 9144341/1491820
1061.05/1046.34	c cleaning 47002 clauses out of 94040 with flag 9496443/1539821
1096.31/1081.33	c cleaning 47997 clauses out of 96035 with flag 9833245/1588818
1133.75/1118.28	c cleaning 49000 clauses out of 98040 with flag 10177859/1638820
1171.51/1155.79	c cleaning 50001 clauses out of 100041 with flag 10545781/1689821
1194.34/1177.98	c cleaning 50989 clauses out of 102038 with flag 10919796/1741819
1211.06/1194.43	c cleaning 51956 clauses out of 104049 with flag 11280726/1794819
1271.48/1254.48	c cleaning 52977 clauses out of 106093 with flag 11742064/1848819
1299.79/1282.29	c cleaning 54012 clauses out of 108116 with flag 12140018/1903819
1317.51/1299.45	c cleaning 55023 clauses out of 110104 with flag 12488583/1959819
1386.28/1366.12	c cleaning 56015 clauses out of 112081 with flag 12893665/2016819
1440.93/1420.35	c cleaning 57011 clauses out of 114065 with flag 13273784/2074818
1469.84/1448.73	c cleaning 57977 clauses out of 116054 with flag 13683624/2133818
1527.79/1506.22	c cleaning 58988 clauses out of 118077 with flag 14130809/2193818
1589.48/1567.43	c cleaning 60005 clauses out of 120091 with flag 14564909/2254820
1643.23/1620.72	c cleaning 61005 clauses out of 122085 with flag 14983306/2316819
1711.35/1688.47	c cleaning 61989 clauses out of 124080 with flag 15435489/2379819
1783.97/1760.64	c cleaning 63003 clauses out of 126092 with flag 15908940/2443820
1818.70/1792.71	c cleaning 64008 clauses out of 128088 with flag 16355179/2508819
1839.70/1813.14	c cleaning 65023 clauses out of 130080 with flag 16786665/2574819
1860.08/1833.37	c cleaning 65994 clauses out of 132056 with flag 17189512/2641818
1919.99/1892.63	c cleaning 67004 clauses out of 134063 with flag 17701758/2709819
1946.80/1918.71	c cleaning 68027 clauses out of 136059 with flag 18147862/2778819
1970.14/1941.79	c cleaning 68985 clauses out of 138032 with flag 18577964/2848819
1996.12/1966.99	c cleaning 69999 clauses out of 140048 with flag 18995241/2919820
2017.44/1987.92	c cleaning 71000 clauses out of 142048 with flag 19461146/2991819
2041.97/2011.81	c cleaning 72003 clauses out of 144048 with flag 19902763/3064819
2067.49/2037.03	c cleaning 72986 clauses out of 146045 with flag 20356820/3138819
2185.73/2154.87	c cleaning 73996 clauses out of 148059 with flag 20866851/3213819
2261.69/2230.17	c cleaning 75014 clauses out of 150064 with flag 21435375/3289820
2365.53/2332.15	c cleaning 76001 clauses out of 152048 with flag 22070688/3366818
2414.07/2380.33	c cleaning 76986 clauses out of 154049 with flag 22648724/3444820
2464.06/2429.56	c cleaning 77976 clauses out of 156063 with flag 23165409/3523820
2498.92/2464.08	c cleaning 78986 clauses out of 158085 with flag 23663915/3603818
2535.93/2500.18	c cleaning 80030 clauses out of 160099 with flag 24153504/3684818
2567.45/2531.20	c cleaning 81008 clauses out of 162070 with flag 24670439/3766819
2596.85/2560.21	c cleaning 81999 clauses out of 164062 with flag 25201891/3849819
2704.06/2666.81	c cleaning 82997 clauses out of 166062 with flag 25704242/3933818
2812.86/2774.93	c cleaning 84000 clauses out of 168065 with flag 26245568/4018818
2862.68/2824.43	c cleaning 84989 clauses out of 170066 with flag 26797797/4104819
2940.20/2901.15	c cleaning 86002 clauses out of 172077 with flag 27355908/4191819
2996.10/2956.24	c cleaning 87010 clauses out of 174077 with flag 27927818/4279821
3037.60/2994.72	c cleaning 88001 clauses out of 176064 with flag 28478419/4368818
3130.24/3087.01	c cleaning 88998 clauses out of 178064 with flag 29078697/4458819
3167.26/3123.67	c cleaning 90012 clauses out of 180066 with flag 29599023/4549819
3213.89/3170.01	c cleaning 90994 clauses out of 182054 with flag 30138789/4641819
3254.58/3210.19	c cleaning 92009 clauses out of 184059 with flag 30669701/4734818
3297.47/3251.83	c cleaning 93000 clauses out of 186051 with flag 31205108/4828819
3339.39/3293.25	c cleaning 93996 clauses out of 188050 with flag 31770545/4923818
3385.31/3338.68	c cleaning 94988 clauses out of 190054 with flag 32333501/5019818
3433.78/3386.69	c cleaning 96003 clauses out of 192066 with flag 32898327/5116818
3479.86/3431.72	c cleaning 96975 clauses out of 194064 with flag 33451305/5214819
3529.05/3480.47	c cleaning 98027 clauses out of 196088 with flag 34035334/5313818
3572.99/3523.99	c cleaning 99005 clauses out of 198061 with flag 34606994/5413818
3600.06/3550.42	c starts		: 18072
3600.06/3550.44	c conflicts		: 5489302
3600.06/3550.44	c decisions		: 47333069
3600.06/3550.44	c propagations		: 168528935
3600.06/3550.44	c inspects		: 18717161437
3600.06/3550.44	c shortcuts		: 0
3600.06/3550.44	c learnt literals	: 0
3600.06/3550.44	c learnt binary clauses	: 0
3600.06/3550.44	c learnt ternary clauses	: 0
3600.06/3550.44	c learnt constraints	: 5489302
3600.06/3550.44	c ignored constraints	: 0
3600.06/3550.44	c root simplifications	: 0
3600.06/3550.44	c removed literals (reason simplification)	: 0
3600.06/3550.44	c reason swapping (by a shorter reason)	: 0
3600.06/3550.44	c Calls to reduceDB	: 129
3600.06/3550.44	c Number of update (reduction) of LBD	: 2928394
3600.06/3550.44	c Imported unit clauses	: 0
3600.06/3550.44	c No decision after first conflict	: false
3600.06/3550.44	c number of reductions to clauses (during analyze)	: 0
3600.06/3550.44	c number of learned constraints concerned by reduction	: 0
3600.06/3550.44	c number of learning phase by resolution	: 0
3600.06/3550.44	c number of learning phase by cutting planes	: 0
3600.06/3550.44	c number of rounding to 1 operations	: 0
3600.06/3550.44	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3550.44	c number of reductions of the coefficients by power 2 	: 0
3600.06/3550.44	c number of right shift for reduction by power 2 	: 0
3600.06/3550.44	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3550.44	c number of ending skipping 	: 0
3600.06/3550.44	c number of internal skipping 	: 0
3600.06/3550.44	c number of derivation steps 	: 0
3600.06/3550.44	c number of skipped derivation steps 	: 0
3600.06/3550.44	c number of remaining unassigned 	: 0
3600.06/3550.44	c number of remaining assigned 	: 0
3600.06/3550.44	c number of falsified literals weakened from reason	: 0
3600.06/3550.44	c number of falsified literals weakened from conflict	: 0
3600.06/3550.44	c time for arithmetic operations	: 0
3600.06/3550.45	c minimum degree of deleted constraints	: null
3600.06/3550.45	c maximum degree of deleted constraints	: null
3600.06/3550.45	c number of deleted constraints	: 0
3600.06/3550.45	c speed (assignments/second)	: 47470.30516898076
3600.06/3550.45	c non guided choices	: 446580
3600.26/3550.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 174540
3600.45/3550.60	s SATISFIABLE
3600.45/3550.62	c Found 4 solution(s)
3600.45/3550.63	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 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 
3600.45/3550.65	c objective function=1
3600.45/3550.65	c Total wall clock time (in seconds): 3550.514

Verifier Data 

OK	1

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: 64059 MiB (63332 MiB free)
  memory of node 1: 64510 MiB (63689 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424851-1720881315/watcher-4424851-1720881315 -o /tmp/evaluation-result-4424851-1720881315/solver-4424851-1720881315 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1720881328-701583 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424851-1720881315.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=701623, runsolver pid=701618

[startup+0.106911 s]*
/proc/loadavg: 2.32 2.18 2.17 12/298 701701
/proc/meminfo: memFree=129933176/131655788 swapFree=131071996/131071996
[pid=701623] ppid=701618 vsize=18975048 memory=62232 CPUtime=0.17 cores=1,3
/proc/701623/stat : 701623 (java) S 701618 701623 697245 0 -1 1077936128 6766 0 0 0 15 2 0 0 20 0 18 0 140287691 19430449152 15558 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
/proc/701623/statm: 4743762 15558 5405 1 0 551158 0
[pid=701623/tid=701629] ppid=701618 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=1,3
/proc/701623/task/701629/stat : 701629 (java) R 701618 701623 697245 0 -1 4194368 5701 0 0 0 8 1 0 0 20 0 18 0 140287692 19430449152 15558 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701655] ppid=701618 vsize=18975048 memory=3711 CPUtime=0 cores=1,3
/proc/701623/task/701655/stat : 701655 (Finalizer) S 701618 701623 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140287695 19430449152 15558 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701662] ppid=701618 vsize=18975048 memory=15822213697771138 CPUtime=0 cores=1,3
/proc/701623/task/701662/stat : 701662 (Common-Cleaner) S 701618 701623 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140287695 19430449152 15558 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62232 KiB

[startup+0.215912 s]*
/proc/loadavg: 2.32 2.18 2.17 9/310 701713
/proc/meminfo: memFree=129899716/131655788 swapFree=131071996/131071996
[pid=701623] ppid=701618 vsize=18975048 memory=71692 CPUtime=0.37 cores=1,3
/proc/701623/stat : 701623 (java) S 701618 701623 697245 0 -1 1077936128 7294 0 0 0 34 3 0 0 20 0 18 0 140287691 19430449152 17923 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
/proc/701623/statm: 4743762 17923 5694 1 0 551597 0
[pid=701623/tid=701629] ppid=701618 vsize=18975048 memory=8737651120394928259 CPUtime=0.2 cores=1,3
/proc/701623/task/701629/stat : 701629 (java) R 701618 701623 697245 0 -1 4194368 5886 0 0 0 18 2 0 0 20 0 18 0 140287692 19430449152 17945 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701655] ppid=701618 vsize=18975048 memory=3711 CPUtime=0 cores=1,3
/proc/701623/task/701655/stat : 701655 (Finalizer) S 701618 701623 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140287695 19430449152 17945 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701662] ppid=701618 vsize=18975048 memory=15822213697771138 CPUtime=0 cores=1,3
/proc/701623/task/701662/stat : 701662 (Common-Cleaner) S 701618 701623 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140287695 19430449152 17945 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71692 KiB

[startup+0.315624 s]*
/proc/loadavg: 2.32 2.18 2.17 13/311 701714
/proc/meminfo: memFree=129879012/131655788 swapFree=131071996/131071996
[pid=701623] ppid=701618 vsize=19041612 memory=74536 CPUtime=0.55 cores=1,3
/proc/701623/stat : 701623 (java) S 701618 701623 697245 0 -1 1077936128 7487 0 0 0 52 3 0 0 20 0 19 0 140287691 19498610688 18634 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
/proc/701623/statm: 4760403 18634 5732 1 0 551951 0
[pid=701623/tid=701629] ppid=701618 vsize=19041612 memory=-8743567614138557116 CPUtime=0.28 cores=1,3
/proc/701623/task/701629/stat : 701629 (java) R 701618 701623 697245 0 -1 4194368 5974 0 0 0 26 2 0 0 20 0 19 0 140287692 19498610688 18634 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701655] ppid=701618 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/701623/task/701655/stat : 701655 (Finalizer) S 701618 701623 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140287695 19498610688 18634 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701662] ppid=701618 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/701623/task/701662/stat : 701662 (Common-Cleaner) S 701618 701623 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140287695 19498610688 18634 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701714] ppid=701618 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/701623/task/701714/stat : 701714 (Timer-0) S 701618 701623 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140287716 19498610688 18634 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 74536 KiB

[startup+0.70346 s]
/proc/loadavg: 2.32 2.18 2.17 13/311 701714
/proc/meminfo: memFree=129838340/131655788 swapFree=131071996/131071996
[pid=701623] ppid=701618 vsize=19041612 memory=88380 CPUtime=1.27 cores=1,3
/proc/701623/stat : 701623 (java) S 701618 701623 697245 0 -1 1077936128 10726 0 0 0 123 4 0 0 20 0 19 0 140287691 19498610688 22095 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
/proc/701623/statm: 4760403 22095 5832 1 0 553729 0
[pid=701623/tid=701629] ppid=701618 vsize=19041612 memory=5616 CPUtime=0.57 cores=1,3
/proc/701623/task/701629/stat : 701629 (java) R 701618 701623 697245 0 -1 4194368 5985 0 0 0 55 2 0 0 20 0 19 0 140287692 19498610688 22095 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701655] ppid=701618 vsize=19041612 memory=11884 CPUtime=0 cores=1,3
/proc/701623/task/701655/stat : 701655 (Finalizer) S 701618 701623 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140287695 19498610688 22095 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701662] ppid=701618 vsize=19041612 memory=60281 CPUtime=0 cores=1,3
/proc/701623/task/701662/stat : 701662 (Common-Cleaner) S 701618 701623 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140287695 19498610688 22095 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701714] ppid=701618 vsize=19041612 memory=2244 CPUtime=0 cores=1,3
/proc/701623/task/701714/stat : 701714 (Timer-0) S 701618 701623 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140287716 19498610688 22095 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 88380 KiB

[startup+1.50091 s]
/proc/loadavg: 2.32 2.18 2.17 9/314 701717
/proc/meminfo: memFree=129767524/131655788 swapFree=131071996/131071996
[pid=701623] ppid=701618 vsize=19041612 memory=111392 CPUtime=2.24 cores=1,3
/proc/701623/stat : 701623 (java) S 701618 701623 697245 0 -1 1077936128 12422 0 0 0 219 5 0 0 20 0 19 0 140287691 19498610688 27848 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
/proc/701623/statm: 4760403 27848 5832 1 0 553732 0
[pid=701623/tid=701629] ppid=701618 vsize=19041612 memory=11884 CPUtime=1.35 cores=1,3
/proc/701623/task/701629/stat : 701629 (java) R 701618 701623 697245 0 -1 4194368 6189 0 0 0 132 3 0 0 20 0 19 0 140287692 19498610688 27848 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701655] ppid=701618 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/701623/task/701655/stat : 701655 (Finalizer) S 701618 701623 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140287695 19498610688 27848 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701662] ppid=701618 vsize=19041612 memory=1980 CPUtime=0 cores=1,3
/proc/701623/task/701662/stat : 701662 (Common-Cleaner) S 701618 701623 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140287695 19498610688 27848 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701714] ppid=701618 vsize=19041612 memory=1808 CPUtime=0 cores=1,3
/proc/701623/task/701714/stat : 701714 (Timer-0) S 701618 701623 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140287716 19498610688 27848 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
Current children cumulated CPU time: 2.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 111392 KiB

[startup+3.10591 s]
/proc/loadavg: 2.32 2.18 2.17 8/318 701721
/proc/meminfo: memFree=129364176/131655788 swapFree=131071996/131071996
[pid=701623] ppid=701618 vsize=19108176 memory=198528 CPUtime=4.36 cores=1,3
/proc/701623/stat : 701623 (java) S 701618 701623 697245 0 -1 1077936128 17469 0 0 0 429 7 0 0 20 0 20 0 140287691 19566772224 49632 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
/proc/701623/statm: 4777044 49632 5864 1 0 555221 0
[pid=701623/tid=701629] ppid=701618 vsize=19108176 memory=11884 CPUtime=2.81 cores=1,3
/proc/701623/task/701629/stat : 701629 (java) R 701618 701623 697245 0 -1 4194368 7483 0 0 0 277 4 0 0 20 0 20 0 140287692 19566772224 49632 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701655] ppid=701618 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/701623/task/701655/stat : 701655 (Finalizer) S 701618 701623 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 49632 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701662] ppid=701618 vsize=19108176 memory=11580 CPUtime=0 cores=1,3
/proc/701623/task/701662/stat : 701662 (Common-Cleaner) S 701618 701623 697245 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 49632 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701714] ppid=701618 vsize=19108176 memory=35176 CPUtime=0 cores=1,3
/proc/701623/task/701714/stat : 701714 (Timer-0) S 701618 701623 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287716 19566772224 49632 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
Current children cumulated CPU time: 4.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 198528 KiB

[startup+6.30091 s]
/proc/loadavg: 2.53 2.23 2.18 6/318 701721
/proc/meminfo: memFree=128850480/131655788 swapFree=131071996/131071996
[pid=701623] ppid=701618 vsize=19108176 memory=269148 CPUtime=8.23 cores=1,3
/proc/701623/stat : 701623 (java) S 701618 701623 697245 0 -1 1077936128 18482 0 0 0 813 10 0 0 20 0 20 0 140287691 19566772224 67287 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
/proc/701623/statm: 4777044 67287 5880 1 0 555239 0
[pid=701623/tid=701629] ppid=701618 vsize=19108176 memory=7391413433648273289 CPUtime=5.81 cores=1,3
/proc/701623/task/701629/stat : 701629 (java) R 701618 701623 697245 0 -1 4194368 7941 0 0 0 577 4 0 0 20 0 20 0 140287692 19566772224 67287 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701655] ppid=701618 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/701623/task/701655/stat : 701655 (Finalizer) S 701618 701623 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 67287 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701662] ppid=701618 vsize=19108176 memory=11884 CPUtime=0 cores=1,3
/proc/701623/task/701662/stat : 701662 (Common-Cleaner) S 701618 701623 697245 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 67287 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701714] ppid=701618 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/701623/task/701714/stat : 701714 (Timer-0) S 701618 701623 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287716 19566772224 67287 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
Current children cumulated CPU time: 8.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 269148 KiB

[startup+12.7004 s]
/proc/loadavg: 2.65 2.26 2.19 5/318 701723
/proc/meminfo: memFree=128345472/131655788 swapFree=131071996/131071996
[pid=701623] ppid=701618 vsize=19108176 memory=350656 CPUtime=15.07 cores=1,3
/proc/701623/stat : 701623 (java) S 701618 701623 697245 0 -1 1077936128 20100 0 0 0 1495 12 0 0 20 0 20 0 140287691 19566772224 87664 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
/proc/701623/statm: 4777044 87664 5880 1 0 555446 0
[pid=701623/tid=701629] ppid=701618 vsize=19108176 memory=11884 CPUtime=12.04 cores=1,3
/proc/701623/task/701629/stat : 701629 (java) R 701618 701623 697245 0 -1 4194368 8531 0 0 0 1200 4 0 0 20 0 20 0 140287692 19566772224 87664 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701655] ppid=701618 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/701623/task/701655/stat : 701655 (Finalizer) S 701618 701623 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 87664 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701662] ppid=701618 vsize=19108176 memory=-8600859800946254524 CPUtime=0 cores=1,3
/proc/701623/task/701662/stat : 701662 (Common-Cleaner) S 701618 701623 697245 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 87664 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701714] ppid=701618 vsize=19108176 memory=11580 CPUtime=0 cores=1,3
/proc/701623/task/701714/stat : 701714 (Timer-0) S 701618 701623 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287716 19566772224 87664 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
Current children cumulated CPU time: 15.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 350656 KiB

[startup+25.5005 s]
/proc/loadavg: 2.95 2.34 2.22 5/318 701726
/proc/meminfo: memFree=126672208/131655788 swapFree=131071996/131071996
[pid=701623] ppid=701618 vsize=19108176 memory=725464 CPUtime=28.32 cores=1,3
/proc/701623/stat : 701623 (java) S 701618 701623 697245 0 -1 1077936128 26039 0 0 0 2811 21 0 0 20 0 20 0 140287691 19566772224 181366 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
/proc/701623/statm: 4777044 181366 5894 1 0 682853 0
[pid=701623/tid=701629] ppid=701618 vsize=19108176 memory=1345 CPUtime=24.42 cores=1,3
/proc/701623/task/701629/stat : 701629 (java) R 701618 701623 697245 0 -1 4194368 9750 0 0 0 2436 6 0 0 20 0 20 0 140287692 19566772224 181366 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701655] ppid=701618 vsize=19108176 memory=545240 CPUtime=0 cores=1,3
/proc/701623/task/701655/stat : 701655 (Finalizer) S 701618 701623 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 181366 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701662] ppid=701618 vsize=19108176 memory=-8600859800946254524 CPUtime=0 cores=1,3
/proc/701623/task/701662/stat : 701662 (Common-Cleaner) S 701618 701623 697245 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 181366 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701714] ppid=701618 vsize=19108176 memory=11580 CPUtime=0 cores=1,3
/proc/701623/task/701714/stat : 701714 (Timer-0) S 701618 701623 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287716 19566772224 181366 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
Current children cumulated CPU time: 28.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 725464 KiB

[startup+51.1133 s]
/proc/loadavg: 3.50 2.52 2.29 5/318 701731
/proc/meminfo: memFree=123859700/131655788 swapFree=131071996/131071996
[pid=701623] ppid=701618 vsize=19108176 memory=1273656 CPUtime=54.44 cores=1,3
/proc/701623/stat : 701623 (java) S 701618 701623 697245 0 -1 1077936128 32311 0 0 0 5408 36 0 0 20 0 20 0 140287691 19566772224 318414 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
/proc/701623/statm: 4777044 318414 5907 1 0 814454 0
[pid=701623/tid=701629] ppid=701618 vsize=19108176 memory=1345 CPUtime=49.34 cores=1,3
/proc/701623/task/701629/stat : 701629 (java) R 701618 701623 697245 0 -1 4194368 11444 0 0 0 4925 9 0 0 20 0 20 0 140287692 19566772224 318414 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701655] ppid=701618 vsize=19108176 memory=1093416 CPUtime=0 cores=1,3

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

[startup+3222.3 s]
/proc/loadavg: 4.23 4.21 4.23 5/320 703423
/proc/meminfo: memFree=89582220/131655788 swapFree=131071996/131071996
[pid=701623] ppid=701618 vsize=19108176 memory=9992640 CPUtime=3267.27 cores=1,3
/proc/701623/stat : 701623 (java) S 701618 701623 697245 0 -1 1077936128 279131 0 0 0 326286 441 0 0 20 0 20 0 140287691 19566772224 2498160 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
/proc/701623/statm: 4777044 2498160 5907 1 0 3081791 0
[pid=701623/tid=701629] ppid=701618 vsize=19108176 memory=9909368 CPUtime=3170.81 cores=1,3
/proc/701623/task/701629/stat : 701629 (java) R 701618 701623 697245 0 -1 4194368 88254 0 0 0 317027 54 0 0 20 0 20 0 140287692 19566772224 2498160 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701655] ppid=701618 vsize=19108176 memory=11580 CPUtime=0 cores=1,3
/proc/701623/task/701655/stat : 701655 (Finalizer) S 701618 701623 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 2498160 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701662] ppid=701618 vsize=19108176 memory=9992156 CPUtime=0 cores=1,3
/proc/701623/task/701662/stat : 701662 (Common-Cleaner) S 701618 701623 697245 0 -1 1077936192 1946 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 2498160 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701714] ppid=701618 vsize=19108176 memory=11580 CPUtime=0 cores=1,3
/proc/701623/task/701714/stat : 701714 (Timer-0) S 701618 701623 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287716 19566772224 2498160 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
Current children cumulated CPU time: 3267.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9992640 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.22 4.23 5/320 703433
/proc/meminfo: memFree=89579444/131655788 swapFree=131071996/131071996
[pid=701623] ppid=701618 vsize=19108176 memory=9992816 CPUtime=3327.92 cores=1,3
/proc/701623/stat : 701623 (java) S 701618 701623 697245 0 -1 1077936128 286590 0 0 0 332346 446 0 0 20 0 20 0 140287691 19566772224 2498204 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
/proc/701623/statm: 4777044 2498204 5907 1 0 3081858 0
[pid=701623/tid=701629] ppid=701618 vsize=19108176 memory=9992816 CPUtime=3230.03 cores=1,3
/proc/701623/task/701629/stat : 701629 (java) R 701618 701623 697245 0 -1 4194368 91344 0 0 0 322948 55 0 0 20 0 20 0 140287692 19566772224 2498204 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701655] ppid=701618 vsize=19108176 memory=9992816 CPUtime=0 cores=1,3
/proc/701623/task/701655/stat : 701655 (Finalizer) S 701618 701623 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 2498204 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701662] ppid=701618 vsize=19108176 memory=32256 CPUtime=0 cores=1,3
/proc/701623/task/701662/stat : 701662 (Common-Cleaner) S 701618 701623 697245 0 -1 1077936192 2070 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 2498204 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701714] ppid=701618 vsize=19108176 memory=2548 CPUtime=0 cores=1,3
/proc/701623/task/701714/stat : 701714 (Timer-0) S 701618 701623 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287716 19566772224 2498204 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
Current children cumulated CPU time: 3327.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9992816 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.25 4.24 5/319 703499
/proc/meminfo: memFree=89575076/131655788 swapFree=131071996/131071996
[pid=701623] ppid=701618 vsize=19108176 memory=9992992 CPUtime=3389.01 cores=1,3
/proc/701623/stat : 701623 (java) S 701618 701623 697245 0 -1 1077936128 294059 0 0 0 338450 451 0 0 20 0 20 0 140287691 19566772224 2498248 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
/proc/701623/statm: 4777044 2498248 5907 1 0 3081858 0
[pid=701623/tid=701629] ppid=701618 vsize=19108176 memory=11580 CPUtime=3288.76 cores=1,3
/proc/701623/task/701629/stat : 701629 (java) R 701618 701623 697245 0 -1 4194368 93966 0 0 0 328821 55 0 0 20 0 20 0 140287692 19566772224 2498248 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701655] ppid=701618 vsize=19108176 memory=9992992 CPUtime=0 cores=1,3
/proc/701623/task/701655/stat : 701655 (Finalizer) S 701618 701623 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 2498248 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701662] ppid=701618 vsize=19108176 memory=9992992 CPUtime=0 cores=1,3
/proc/701623/task/701662/stat : 701662 (Common-Cleaner) S 701618 701623 697245 0 -1 1077936192 2071 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 2498248 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701714] ppid=701618 vsize=19108176 memory=1980 CPUtime=0 cores=1,3
/proc/701623/task/701714/stat : 701714 (Timer-0) S 701618 701623 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287716 19566772224 2498248 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
Current children cumulated CPU time: 3389.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9992992 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.23 4.24 5/319 703509
/proc/meminfo: memFree=89562236/131655788 swapFree=131071996/131071996
[pid=701623] ppid=701618 vsize=19108176 memory=9993028 CPUtime=3449.95 cores=1,3
/proc/701623/stat : 701623 (java) S 701618 701623 697245 0 -1 1077936128 296754 0 0 0 344541 454 0 0 20 0 20 0 140287691 19566772224 2498257 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
/proc/701623/statm: 4777044 2498257 5907 1 0 3081858 0
[pid=701623/tid=701629] ppid=701618 vsize=19108176 memory=9992992 CPUtime=3347.73 cores=1,3
/proc/701623/task/701629/stat : 701629 (java) R 701618 701623 697245 0 -1 4194368 95819 0 0 0 334718 55 0 0 20 0 20 0 140287692 19566772224 2498257 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701655] ppid=701618 vsize=19108176 memory=11884 CPUtime=0 cores=1,3
/proc/701623/task/701655/stat : 701655 (Finalizer) S 701618 701623 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 2498257 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701662] ppid=701618 vsize=19108176 memory=-8600859800946254524 CPUtime=0 cores=1,3
/proc/701623/task/701662/stat : 701662 (Common-Cleaner) S 701618 701623 697245 0 -1 1077936192 2111 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 2498257 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701714] ppid=701618 vsize=19108176 memory=9993028 CPUtime=0 cores=1,3
/proc/701623/task/701714/stat : 701714 (Timer-0) S 701618 701623 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287716 19566772224 2498257 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
Current children cumulated CPU time: 3449.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9993028 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.23 4.24 5/319 703520
/proc/meminfo: memFree=89557580/131655788 swapFree=131071996/131071996
[pid=701623] ppid=701618 vsize=19108176 memory=9993032 CPUtime=3510.41 cores=1,3
/proc/701623/stat : 701623 (java) S 701618 701623 697245 0 -1 1077936128 301543 0 0 0 350584 457 0 0 20 0 20 0 140287691 19566772224 2498258 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
/proc/701623/statm: 4777044 2498258 5907 1 0 3081858 0
[pid=701623/tid=701629] ppid=701618 vsize=19108176 memory=9992992 CPUtime=3406.89 cores=1,3
/proc/701623/task/701629/stat : 701629 (java) R 701618 701623 697245 0 -1 4194368 98104 0 0 0 340633 56 0 0 20 0 20 0 140287692 19566772224 2498258 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701655] ppid=701618 vsize=19108176 memory=9993028 CPUtime=0 cores=1,3
/proc/701623/task/701655/stat : 701655 (Finalizer) S 701618 701623 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 2498258 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701662] ppid=701618 vsize=19108176 memory=11580 CPUtime=0 cores=1,3
/proc/701623/task/701662/stat : 701662 (Common-Cleaner) S 701618 701623 697245 0 -1 1077936192 2233 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 2498258 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701714] ppid=701618 vsize=19108176 memory=9993032 CPUtime=0 cores=1,3
/proc/701623/task/701714/stat : 701714 (Timer-0) S 701618 701623 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287716 19566772224 2498258 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
Current children cumulated CPU time: 3510.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9993032 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.19 4.22 5/318 703530
/proc/meminfo: memFree=89550240/131655788 swapFree=131071996/131071996
[pid=701623] ppid=701618 vsize=19108176 memory=9995084 CPUtime=3571.4 cores=1,3
/proc/701623/stat : 701623 (java) S 701618 701623 697245 0 -1 1077936128 307736 0 0 0 356678 462 0 0 20 0 20 0 140287691 19566772224 2498771 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
/proc/701623/statm: 4777044 2498771 5907 1 0 3081858 0
[pid=701623/tid=701629] ppid=701618 vsize=19108176 memory=9993032 CPUtime=3465.59 cores=1,3
/proc/701623/task/701629/stat : 701629 (java) R 701618 701623 697245 0 -1 4194368 101157 0 0 0 346503 56 0 0 20 0 20 0 140287692 19566772224 2498771 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701655] ppid=701618 vsize=19108176 memory=9995084 CPUtime=0 cores=1,3
/proc/701623/task/701655/stat : 701655 (Finalizer) S 701618 701623 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 2498771 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701662] ppid=701618 vsize=19108176 memory=11884 CPUtime=0 cores=1,3
/proc/701623/task/701662/stat : 701662 (Common-Cleaner) S 701618 701623 697245 0 -1 1077936192 2321 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 2498771 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701714] ppid=701618 vsize=19108176 memory=9995084 CPUtime=0 cores=1,3
/proc/701623/task/701714/stat : 701714 (Timer-0) S 701618 701623 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287716 19566772224 2498771 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
Current children cumulated CPU time: 3571.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9995084 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3550.4 s]
/proc/loadavg: 4.16 4.20 4.22 5/318 703536
/proc/meminfo: memFree=89418684/131655788 swapFree=131071996/131071996
[pid=701623] ppid=701618 vsize=19108176 memory=10001228 CPUtime=3600.06 cores=1,3
/proc/701623/stat : 701623 (java) S 701618 701623 697245 0 -1 1077936128 308811 0 0 0 359542 464 0 0 20 0 20 0 140287691 19566772224 2500307 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
/proc/701623/statm: 4777044 2500307 5907 1 0 3081858 0
[pid=701623/tid=701629] ppid=701618 vsize=19108176 memory=10001228 CPUtime=3493.03 cores=1,3
/proc/701623/task/701629/stat : 701629 (java) R 701618 701623 697245 0 -1 4194368 101950 0 0 0 349247 56 0 0 20 0 20 0 140287692 19566772224 2500307 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701655] ppid=701618 vsize=19108176 memory=11884 CPUtime=0 cores=1,3
/proc/701623/task/701655/stat : 701655 (Finalizer) S 701618 701623 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 2500307 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701662] ppid=701618 vsize=19108176 memory=35176 CPUtime=0 cores=1,3
/proc/701623/task/701662/stat : 701662 (Common-Cleaner) S 701618 701623 697245 0 -1 1077936192 2321 0 0 0 0 0 0 0 20 0 20 0 140287695 19566772224 2500307 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701714] ppid=701618 vsize=19108176 memory=11884 CPUtime=0 cores=1,3
/proc/701623/task/701714/stat : 701714 (Timer-0) S 701618 701623 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287716 19566772224 2500307 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10001228 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.94 s, system=4.67255 s

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

[startup+3550.6 s]
/proc/loadavg: 4.16 4.20 4.22 5/318 703536
/proc/meminfo: memFree=89418684/131655788 swapFree=131071996/131071996
[pid=701623] ppid=701618 vsize=19307868 memory=10001924 CPUtime=3600.45 cores=1,3
/proc/701623/stat : 701623 (java) S 701618 701623 697245 0 -1 1077936128 311221 0 0 0 359581 464 0 0 20 0 21 0 140287691 19771256832 2500481 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
/proc/701623/statm: 4826967 2500481 5906 1 0 3082793 0
[pid=701623/tid=701629] ppid=701618 vsize=19307868 memory=2548 CPUtime=3493.2 cores=1,3
/proc/701623/task/701629/stat : 701629 (java) R 701618 701623 697245 0 -1 4194368 102127 0 0 0 349264 56 0 0 20 0 21 0 140287692 19771256832 2500481 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701655] ppid=701618 vsize=19307868 memory=2220 CPUtime=0 cores=1,3
/proc/701623/task/701655/stat : 701655 (Finalizer) S 701618 701623 697245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 140287695 19771256832 2500481 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
[pid=701623/tid=701662] ppid=701618 vsize=19307868 memory=-8600859800946254524 CPUtime=0 cores=1,3
/proc/701623/task/701662/stat : 701662 (Common-Cleaner) S 701618 701623 697245 0 -1 1077936192 2321 0 0 0 0 0 0 0 20 0 21 0 140287695 19771256832 2500481 134679101440 94351195725824 94351195729520 140725752453104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94351195737336 94351195738128 94351226142720 140725752456173 140725752456263 140725752456263 140725752463304 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 10001924 KiB

Child status: 143

Real time (s): 3550.71
CPU time (s): 3600.61
CPU user time (s): 3595.94
CPU system time (s): 4.67255
CPU usage (%): 101.405
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 10001924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.94
system time used= 4.67255
maximum resident set size= 10003000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311700
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112637
involuntary context switches= 6850


# summary of solver processes directly reported to runsolver:
#   pid: 701623
#   total CPU time (s): 3600.61
#   total CPU user time (s): 3595.94
#   total CPU system time (s): 4.67255

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9776 second user time and 38.7776 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-13 16:35:28
IDJOB=4424851
IDBENCH=143507
IDSOLVER=3037
FILE ID=nodeC003/4424851-1720881315
RUNJOBID= nodeC003-1720881328-701583
SLURM_JOB_ID= 7483751
Free space on /tmp= 723784 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424851-1720881315/watcher-4424851-1720881315 -o /tmp/evaluation-result-4424851-1720881315/solver-4424851-1720881315 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1720881328-701583 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4424851-1720881315.wbo

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

MD5SUM BENCH= 3585fb426f9029f6e955b919f6710c5b
RANDOM SEED=1685345008

nodeC003.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	: 0xb00001f
cpu MHz		: 1197.254
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.76
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	: 0xb00001f
cpu MHz		: 3392.276
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.30
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	: 0xb00001f
cpu MHz		: 1197.244
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.76
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	: 0xb00001f
cpu MHz		: 1197.229
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.30
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	: 0xb00001f
cpu MHz		: 1197.297
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.76
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	: 0xb00001f
cpu MHz		: 1197.247
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.30
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	: 0xb00001f
cpu MHz		: 1197.240
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.76
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	: 0xb00001f
cpu MHz		: 1197.214
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        130072688 kB
MemAvailable:   129969256 kB
Buffers:          324832 kB
Cached:           421236 kB
SwapCached:            0 kB
Active:           475868 kB
Inactive:         613648 kB
Active(anon):       1356 kB
Inactive(anon):   379824 kB
Active(file):     474512 kB
Inactive(file):   233824 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               852 kB
Writeback:             8 kB
AnonPages:        343548 kB
Mapped:           101344 kB
Shmem:             37704 kB
KReclaimable:      56524 kB
Slab:             145692 kB
SReclaimable:      56524 kB
SUnreclaim:        89168 kB
KernelStack:        3632 kB
PageTables:         9564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     669008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            45568 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 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:      205640 kB
DirectMap2M:     8087552 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC003 at 2024-07-13 17:34:39