Trace number 4524632

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 2025-06-06MSAT (TO) 3600.98 3577.53

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo
MD5SUM3c4c720e4925df29da5c60ffed631611
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.358446
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2750
Total number of constraints105
Number of soft constraints105
Number of constraints which are clauses55
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
Top cost 5686
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5685
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
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.10	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.10	c See www.sat4j.org for details.
0.08/0.16	c version PB25.v20250606
0.08/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.08/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.08/0.16	c java.vm.version	22.0.1+8-16
0.08/0.16	c java.vm.vendor	Oracle Corporation
0.08/0.16	c sun.arch.data.model	64
0.08/0.16	c java.version		22.0.1
0.08/0.16	c os.name		Linux
0.08/0.16	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.08/0.16	c os.arch		amd64
0.08/0.17	c Free memory 		2104792832
0.08/0.17	c Max memory 		16282288128
0.08/0.17	c Total memory 		2113929216
0.08/0.17	c Number of processors 	2
0.17/0.22	c Pseudo Boolean Optimization by upper bound
0.17/0.22	c --- Begin Solver configuration ---
0.17/0.22	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.17/0.22	c Learn all clauses as in MiniSAT
0.17/0.22	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.17/0.22	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.17/0.22	c Expensive reason simplification
0.17/0.22	c Glucose 2.1 dynamic restart strategy
0.17/0.22	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.22	c timeout=2147483s
0.17/0.22	c DB Simplification allowed=false
0.17/0.22	c Listener: none
0.17/0.22	c --- End Solver configuration ---
0.17/0.22	c solving HOME/instance-4524632-1751615822.wbo
0.17/0.22	c reading problem ... 
0.17/0.27	c ... done. Wall clock time 0.057s.
0.17/0.27	c declared #vars     2750
0.17/0.28	c internal #vars     2855
0.17/0.28	c #constraints  106
0.17/0.28	c constraints type 
0.17/0.28	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 50
0.17/0.28	c org.sat4j.specs.Constr$1 => 1
0.17/0.28	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 55
0.17/0.28	c 106 constraints processed.
0.17/0.29	c objective function length is 105 literals
0.93/0.64	c SATISFIABLE
0.93/0.64	c OPTIMIZING...
0.93/0.64	c Got one! Elapsed wall clock time (in seconds):0.429
0.93/0.65	o 79
1.95/1.21	c cleaning 2640 clauses out of 5300 with flag 18848/5300
3.30/2.49	c cleaning 4325 clauses out of 8662 with flag 53868/11302
3.78/2.88	c Got one! Elapsed wall clock time (in seconds):2.668
3.78/2.88	o 62
4.62/3.65	c cleaning 4755 clauses out of 9524 with flag 16540/16489
6.11/5.02	c cleaning 5373 clauses out of 10771 with flag 57152/22491
7.77/6.66	c cleaning 6193 clauses out of 12397 with flag 107264/29490
10.04/8.87	c cleaning 7096 clauses out of 14203 with flag 168373/37489
13.08/11.80	c cleaning 8047 clauses out of 16108 with flag 243364/46490
15.93/14.65	c cleaning 9026 clauses out of 18061 with flag 323102/56490
18.90/17.57	c cleaning 10012 clauses out of 20037 with flag 400916/67492
22.56/21.16	c cleaning 11008 clauses out of 22023 with flag 482529/79490
22.56/21.19	c Got one! Elapsed wall clock time (in seconds):20.969
22.56/21.19	o 32
22.66/21.22	c Got one! Elapsed wall clock time (in seconds):20.996
22.66/21.22	o 22
22.66/21.24	c Got one! Elapsed wall clock time (in seconds):21.021
22.66/21.24	o 5
24.14/22.66	c cleaning 8173 clauses out of 16361 with flag 34678/84836
25.74/24.29	c cleaning 7089 clauses out of 14188 with flag 76003/90836
27.46/25.88	c cleaning 7043 clauses out of 14099 with flag 127419/97836
29.69/28.10	c cleaning 7523 clauses out of 15057 with flag 198688/105837
32.15/30.45	c cleaning 8261 clauses out of 16533 with flag 278407/114836
35.07/33.20	c cleaning 9127 clauses out of 18272 with flag 355389/124836
35.18/33.34	c Got one! Elapsed wall clock time (in seconds):33.123
35.18/33.34	o 2
35.78/33.91	c cleaning 7542 clauses out of 15113 with flag 36806/130804
36.68/34.86	c cleaning 6767 clauses out of 13571 with flag 92230/136804
38.00/36.18	c cleaning 6884 clauses out of 13805 with flag 160986/143805
39.44/37.55	c cleaning 7444 clauses out of 14921 with flag 225866/151805
40.94/39.09	c cleaning 8221 clauses out of 16476 with flag 302662/160804
43.00/41.08	c cleaning 9106 clauses out of 18255 with flag 382329/170804
45.88/43.80	c cleaning 10056 clauses out of 20149 with flag 467187/181804
49.06/46.94	c cleaning 11026 clauses out of 22093 with flag 560749/193804
53.83/51.48	c cleaning 12012 clauses out of 24068 with flag 690606/206805
59.08/56.61	c cleaning 13007 clauses out of 26056 with flag 831784/220805
64.05/61.50	c cleaning 14003 clauses out of 28049 with flag 978490/235805
70.02/67.45	c cleaning 15004 clauses out of 30046 with flag 1151787/251805
76.47/73.88	c cleaning 15998 clauses out of 32041 with flag 1315865/268804
84.97/82.23	c cleaning 16997 clauses out of 34043 with flag 1502421/286804
93.67/90.84	c cleaning 17994 clauses out of 36047 with flag 1686205/305805
103.91/101.00	c cleaning 18995 clauses out of 38052 with flag 1886317/325804
115.68/112.31	c cleaning 20001 clauses out of 40057 with flag 2089563/346804
127.24/123.88	c cleaning 21004 clauses out of 42057 with flag 2309618/368805
139.72/136.13	c cleaning 21997 clauses out of 44055 with flag 2531848/391807
151.29/147.78	c cleaning 23001 clauses out of 46056 with flag 2752520/415805
163.81/160.11	c cleaning 23998 clauses out of 48054 with flag 2982579/440804
179.38/175.69	c cleaning 25000 clauses out of 50056 with flag 3247866/466804
195.52/191.65	c cleaning 25997 clauses out of 52056 with flag 3522799/493804
217.63/213.61	c cleaning 26997 clauses out of 54059 with flag 3832261/521804
236.68/232.54	c cleaning 28002 clauses out of 56063 with flag 4143056/550805
258.01/253.39	c cleaning 29005 clauses out of 58064 with flag 4447195/580808
284.25/279.46	c cleaning 30000 clauses out of 60056 with flag 4770340/611805
307.78/302.83	c cleaning 31001 clauses out of 62055 with flag 5124923/643804
332.56/327.50	c cleaning 31999 clauses out of 64054 with flag 5453141/676804
358.97/353.80	c cleaning 32995 clauses out of 66057 with flag 5811075/710806
385.83/380.60	c cleaning 34000 clauses out of 68060 with flag 6198167/745804
415.64/410.31	c cleaning 35000 clauses out of 70061 with flag 6563698/781805
451.53/446.09	c cleaning 36000 clauses out of 72060 with flag 6948528/818804
486.58/481.03	c cleaning 37002 clauses out of 74062 with flag 7373319/856806
522.27/516.13	c cleaning 38000 clauses out of 76060 with flag 7843732/895806
558.18/551.98	c cleaning 39000 clauses out of 78061 with flag 8283420/935807
603.19/596.97	c cleaning 40001 clauses out of 80059 with flag 8735805/976805
649.23/642.72	c cleaning 40997 clauses out of 82058 with flag 9188774/1018805
684.50/678.00	c cleaning 41999 clauses out of 84060 with flag 9620964/1061804
727.93/721.37	c cleaning 42987 clauses out of 86062 with flag 10069750/1105805
764.18/757.36	c cleaning 44026 clauses out of 88074 with flag 10546714/1150804
775.81/768.86	c cleaning 45005 clauses out of 90048 with flag 10848172/1196804
819.21/812.04	c cleaning 45990 clauses out of 92044 with flag 11143407/1243805
848.03/840.78	c cleaning 47013 clauses out of 94056 with flag 11443763/1291807
867.68/860.26	c cleaning 47985 clauses out of 96042 with flag 11725187/1340806
887.66/879.57	c cleaning 49005 clauses out of 98055 with flag 12012460/1390804
905.80/897.37	c cleaning 50009 clauses out of 100050 with flag 12350628/1441804
940.60/932.02	c cleaning 51006 clauses out of 102041 with flag 12742642/1493804
959.33/950.47	c cleaning 51993 clauses out of 104035 with flag 13117384/1546804
978.98/969.96	c cleaning 53008 clauses out of 106042 with flag 13458210/1600804
996.93/987.72	c cleaning 54012 clauses out of 108034 with flag 13780546/1655804
1012.77/1003.20	c cleaning 55001 clauses out of 110024 with flag 14129851/1711806
1028.50/1018.87	c cleaning 55993 clauses out of 112022 with flag 14478272/1768805
1047.33/1037.56	c cleaning 57004 clauses out of 114032 with flag 14840411/1826808
1082.72/1072.63	c cleaning 58004 clauses out of 116024 with flag 15264448/1885804
1103.15/1092.98	c cleaning 58988 clauses out of 118020 with flag 15613777/1945804
1142.04/1131.52	c cleaning 59993 clauses out of 120032 with flag 16003367/2006804
1166.36/1155.77	c cleaning 61004 clauses out of 122040 with flag 16353799/2068805
1191.66/1180.75	c cleaning 61998 clauses out of 124035 with flag 16720089/2131804
1214.72/1203.01	c cleaning 62996 clauses out of 126037 with flag 17101528/2195804
1241.31/1229.41	c cleaning 63987 clauses out of 128041 with flag 17481883/2260804
1261.82/1249.71	c cleaning 65003 clauses out of 130055 with flag 17905203/2326805
1292.01/1279.73	c cleaning 66003 clauses out of 132051 with flag 18312343/2393804
1320.09/1307.67	c cleaning 67004 clauses out of 134049 with flag 18705101/2461805
1351.26/1338.66	c cleaning 68008 clauses out of 136045 with flag 19101789/2530805
1380.57/1367.81	c cleaning 69007 clauses out of 138038 with flag 19515387/2600806
1410.70/1397.82	c cleaning 70008 clauses out of 140029 with flag 19939286/2671804
1443.20/1430.21	c cleaning 70999 clauses out of 142021 with flag 20354043/2743804
1473.96/1460.69	c cleaning 72005 clauses out of 144022 with flag 20786136/2816804
1508.21/1494.72	c cleaning 72992 clauses out of 146017 with flag 21223904/2890804
1539.57/1525.96	c cleaning 73997 clauses out of 148025 with flag 21666467/2965804
1569.20/1555.49	c cleaning 75002 clauses out of 150030 with flag 22129628/3041806
1603.39/1589.54	c cleaning 76006 clauses out of 152027 with flag 22582344/3118805
1638.94/1625.00	c cleaning 76999 clauses out of 154020 with flag 23044126/3196804
1679.60/1665.40	c cleaning 77997 clauses out of 156023 with flag 23497224/3275806
1718.73/1704.48	c cleaning 79002 clauses out of 158024 with flag 23961970/3355804
1756.03/1741.63	c cleaning 80001 clauses out of 160024 with flag 24433184/3436806
1792.98/1778.21	c cleaning 80994 clauses out of 162021 with flag 24970546/3518804
1830.76/1815.81	c cleaning 82011 clauses out of 164027 with flag 25469802/3601804
1869.69/1854.65	c cleaning 82997 clauses out of 166017 with flag 25967343/3685805
1907.77/1892.36	c cleaning 84005 clauses out of 168021 with flag 26484237/3770806
1958.59/1943.07	c cleaning 84987 clauses out of 170016 with flag 27009890/3856806
2004.83/1988.43	c cleaning 86006 clauses out of 172028 with flag 27523275/3943805
2046.44/2029.99	c cleaning 87009 clauses out of 174021 with flag 28061443/4031804
2086.20/2069.56	c cleaning 87984 clauses out of 176012 with flag 28598042/4120804
2134.91/2118.19	c cleaning 89004 clauses out of 178029 with flag 29124754/4210805
2187.47/2170.67	c cleaning 89993 clauses out of 180027 with flag 29657101/4301807
2236.00/2218.60	c cleaning 91002 clauses out of 182032 with flag 30216332/4393805
2282.67/2265.05	c cleaning 91997 clauses out of 184031 with flag 30783035/4486806
2329.15/2311.23	c cleaning 93001 clauses out of 186032 with flag 31360708/4580804
2375.58/2357.46	c cleaning 94007 clauses out of 188031 with flag 31944464/4675804
2430.78/2412.49	c cleaning 94999 clauses out of 190024 with flag 32512198/4771804
2479.13/2460.67	c cleaning 95984 clauses out of 192027 with flag 33104104/4868806
2535.07/2516.43	c cleaning 97007 clauses out of 194041 with flag 33684767/4966804
2592.57/2573.88	c cleaning 98005 clauses out of 196037 with flag 34272033/5065807
2650.45/2631.24	c cleaning 99005 clauses out of 198030 with flag 34875318/5165805
2708.40/2688.95	c cleaning 100007 clauses out of 200025 with flag 35492579/5266805
2771.08/2751.48	c cleaning 100979 clauses out of 202017 with flag 36096157/5368804
2839.90/2820.17	c cleaning 102010 clauses out of 204041 with flag 36712063/5471807
2912.89/2893.08	c cleaning 103008 clauses out of 206028 with flag 37320772/5575804
2972.65/2952.35	c cleaning 104002 clauses out of 208020 with flag 37973728/5680804
3038.25/3017.72	c cleaning 104986 clauses out of 210018 with flag 38613033/5786804
3111.49/3090.83	c cleaning 106002 clauses out of 212032 with flag 39248623/5893804
3183.49/3162.32	c cleaning 106999 clauses out of 214031 with flag 39938122/6001805
3253.11/3231.74	c cleaning 107987 clauses out of 216031 with flag 40619846/6110804
3326.79/3304.36	c cleaning 109010 clauses out of 218045 with flag 41315294/6220805
3405.47/3382.82	c cleaning 110001 clauses out of 220035 with flag 41981334/6331805
3482.67/3459.89	c cleaning 111017 clauses out of 222034 with flag 42657224/6443805
3565.96/3542.94	c cleaning 112009 clauses out of 224017 with flag 43335707/6556805
3600.58/3577.36	c starts		: 40473
3600.58/3577.36	c conflicts		: 6615033
3600.58/3577.36	c decisions		: 67322724
3600.58/3577.36	c propagations		: 297083227
3600.58/3577.36	c inspects		: 27590834818
3600.58/3577.36	c shortcuts		: 0
3600.58/3577.36	c learnt literals	: 0
3600.58/3577.36	c learnt binary clauses	: 0
3600.58/3577.36	c learnt ternary clauses	: 0
3600.58/3577.36	c learnt constraints	: 6615033
3600.58/3577.36	c ignored constraints	: 0
3600.58/3577.36	c root simplifications	: 0
3600.58/3577.36	c removed literals (reason simplification)	: 2200984
3600.58/3577.36	c reason swapping (by a shorter reason)	: 0
3600.58/3577.36	c Calls to reduceDB	: 125
3600.58/3577.36	c Number of update (reduction) of LBD	: 3053608
3600.58/3577.36	c Imported unit clauses	: 0
3600.58/3577.36	c No decision after first conflict	: false
3600.58/3577.36	c number of reductions to clauses (during analyze)	: 0
3600.58/3577.36	c number of learned constraints concerned by reduction	: 0
3600.58/3577.36	c number of learning phase by resolution	: 0
3600.58/3577.36	c number of learning phase by cutting planes	: 0
3600.58/3577.36	c number of rounding to 1 operations	: 0
3600.58/3577.36	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.58/3577.36	c number of reductions of the coefficients by power 2 	: 0
3600.58/3577.36	c number of right shift for reduction by power 2 	: 0
3600.58/3577.36	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.58/3577.36	c number of ending skipping 	: 0
3600.58/3577.37	c number of internal skipping 	: 0
3600.58/3577.37	c number of derivation steps 	: 0
3600.58/3577.37	c number of skipped derivation steps 	: 0
3600.58/3577.37	c number of remaining unassigned 	: 0
3600.58/3577.37	c number of remaining assigned 	: 0
3600.58/3577.37	c number of falsified literals weakened from reason	: 0
3600.58/3577.37	c number of falsified literals weakened from conflict	: 0
3600.58/3577.37	c time for arithmetic operations	: 0
3600.58/3577.37	c minimum degree of deleted constraints	: null
3600.58/3577.37	c maximum degree of deleted constraints	: null
3600.58/3577.37	c number of deleted constraints	: 0
3600.58/3577.38	c speed (assignments/second)	: 83051.8822615094
3600.58/3577.38	c non guided choices	: 350383
3600.78/3577.44	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 170236
3600.78/3577.44	s SATISFIABLE
3600.78/3577.44	c Found 6 solution(s)
3600.78/3577.46	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 
3600.78/3577.47	c objective function=2
3600.78/3577.47	c Total wall clock time (in seconds): 3577.258

Verifier Data 

OK	2

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: 63708 MiB (62311 MiB free)
  memory of node 1: 64465 MiB (55969 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524632-1751615822/watcher-4524632-1751615822 -o /tmp/evaluation-result-4524632-1751615822/solver-4524632-1751615822 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751615822-99731 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4524632-1751615822.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=99783, runsolver pid=99771
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 1.17 1.11 1.60 5/333 99856
/proc/meminfo: memFree=121059252/131249992 swapFree=33010160/33010684
[pid=99783] ppid=99771 vsize=18930384 memory=49448 CPUtime=0.08 cores=5,7
/proc/99783/stat : 99783 (java) S 99771 99783 98938 0 -1 4194304 6018 0 0 0 7 1 0 0 20 0 18 0 77261027 19384713216 12362 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
/proc/99783/statm: 4732596 12362 5358 1 0 547155 0
[pid=99783/tid=99797] ppid=99771 vsize=18930384 memory=4026532124 CPUtime=0.05 cores=5,7
/proc/99783/task/99797/stat : 99797 (java) R 99771 99783 98938 0 -1 4194368 4885 0 0 0 4 1 0 0 20 0 18 0 77261030 19384713216 12362 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99840] ppid=99771 vsize=18930384 memory=17913 CPUtime=0 cores=5,7
/proc/99783/task/99840/stat : 99840 (Finalizer) S 99771 99783 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77261032 19384713216 12362 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99854] ppid=99771 vsize=18930384 memory=56286469424100 CPUtime=0 cores=5,7
/proc/99783/task/99854/stat : 99854 (Common-Cleaner) S 99771 99783 98938 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77261032 19384713216 12362 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49448 KiB

[startup+0.205772 s]*
/proc/loadavg: 1.17 1.11 1.60 12/333 99856
/proc/meminfo: memFree=121032012/131249992 swapFree=33010160/33010684
[pid=99783] ppid=99771 vsize=18930384 memory=58488 CPUtime=0.17 cores=5,7
/proc/99783/stat : 99783 (java) S 99771 99783 98938 0 -1 4194304 6733 0 0 0 15 2 0 0 20 0 18 0 77261027 19384713216 14622 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
/proc/99783/statm: 4732596 14622 5358 1 0 547747 0
[pid=99783/tid=99797] ppid=99771 vsize=18930384 memory=4026794268 CPUtime=0.09 cores=5,7
/proc/99783/task/99797/stat : 99797 (java) R 99771 99783 98938 0 -1 4194368 5165 0 0 0 8 1 0 0 20 0 18 0 77261030 19384713216 14622 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99840] ppid=99771 vsize=18930384 memory=17913 CPUtime=0 cores=5,7
/proc/99783/task/99840/stat : 99840 (Finalizer) S 99771 99783 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77261032 19384713216 14622 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99854] ppid=99771 vsize=18930384 memory=56286469424100 CPUtime=0 cores=5,7
/proc/99783/task/99854/stat : 99854 (Common-Cleaner) S 99771 99783 98938 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77261032 19384713216 14622 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58488 KiB

[startup+0.305701 s]*
/proc/loadavg: 1.17 1.11 1.60 11/337 99860
/proc/meminfo: memFree=121016072/131249992 swapFree=33010160/33010684
[pid=99783] ppid=99771 vsize=18996948 memory=66664 CPUtime=0.36 cores=5,7
/proc/99783/stat : 99783 (java) S 99771 99783 98938 0 -1 4194304 7189 0 0 0 34 2 0 0 20 0 19 0 77261027 19452874752 16666 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
/proc/99783/statm: 4749237 16666 5454 1 0 548278 0
[pid=99783/tid=99797] ppid=99771 vsize=18996948 memory=-6000919498442629990 CPUtime=0.17 cores=5,7
/proc/99783/task/99797/stat : 99797 (java) R 99771 99783 98938 0 -1 4194368 5375 0 0 0 16 1 0 0 20 0 19 0 77261030 19452874752 16666 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99840] ppid=99771 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/99783/task/99840/stat : 99840 (Finalizer) S 99771 99783 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77261032 19452874752 16666 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99854] ppid=99771 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/99783/task/99854/stat : 99854 (Common-Cleaner) S 99771 99783 98938 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77261032 19452874752 16666 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99860] ppid=99771 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/99783/task/99860/stat : 99860 (Timer-0) S 99771 99783 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77261057 19452874752 16666 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66664 KiB

[startup+0.700237 s]
/proc/loadavg: 1.17 1.11 1.60 9/337 99860
/proc/meminfo: memFree=120979912/131249992 swapFree=33010160/33010684
[pid=99783] ppid=99771 vsize=18996948 memory=91600 CPUtime=1.12 cores=5,7
/proc/99783/stat : 99783 (java) S 99771 99783 98938 0 -1 4194304 10376 0 0 0 109 3 0 0 20 0 19 0 77261027 19452874752 22900 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
/proc/99783/statm: 4749237 22900 5486 1 0 550236 0
[pid=99783/tid=99797] ppid=99771 vsize=18996948 memory=18048 CPUtime=0.53 cores=5,7
/proc/99783/task/99797/stat : 99797 (java) R 99771 99783 98938 0 -1 4194368 5416 0 0 0 51 2 0 0 20 0 19 0 77261030 19452874752 22900 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99840] ppid=99771 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/99783/task/99840/stat : 99840 (Finalizer) S 99771 99783 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77261032 19452874752 22900 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99854] ppid=99771 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/99783/task/99854/stat : 99854 (Common-Cleaner) S 99771 99783 98938 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77261032 19452874752 22900 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99860] ppid=99771 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/99783/task/99860/stat : 99860 (Timer-0) S 99771 99783 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77261057 19452874752 22900 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 91600 KiB

[startup+1.50023 s]
/proc/loadavg: 1.17 1.11 1.60 8/337 99860
/proc/meminfo: memFree=120908992/131249992 swapFree=33010160/33010684
[pid=99783] ppid=99771 vsize=18996948 memory=132760 CPUtime=2.34 cores=5,7
/proc/99783/stat : 99783 (java) S 99771 99783 98938 0 -1 4194304 16167 0 0 0 229 5 0 0 20 0 19 0 77261027 19452874752 33190 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
/proc/99783/statm: 4749237 33190 5486 1 0 551693 0
[pid=99783/tid=99797] ppid=99771 vsize=18996948 memory=10752 CPUtime=1.32 cores=5,7
/proc/99783/task/99797/stat : 99797 (java) R 99771 99783 98938 0 -1 4194368 6412 0 0 0 130 2 0 0 20 0 19 0 77261030 19452874752 33190 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99840] ppid=99771 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/99783/task/99840/stat : 99840 (Finalizer) S 99771 99783 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77261032 19452874752 33190 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99854] ppid=99771 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/99783/task/99854/stat : 99854 (Common-Cleaner) S 99771 99783 98938 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77261032 19452874752 33190 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99860] ppid=99771 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/99783/task/99860/stat : 99860 (Timer-0) S 99771 99783 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77261057 19452874752 33190 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 132760 KiB

[startup+3.10563 s]
/proc/loadavg: 1.17 1.11 1.60 5/339 99862
/proc/meminfo: memFree=120661968/131249992 swapFree=33010160/33010684
[pid=99783] ppid=99771 vsize=19063512 memory=225564 CPUtime=4.12 cores=5,7
/proc/99783/stat : 99783 (java) S 99771 99783 98938 0 -1 4194304 18278 0 0 0 404 8 0 0 20 0 20 0 77261027 19521036288 56391 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
/proc/99783/statm: 4765878 56391 5518 1 0 551989 0
[pid=99783/tid=99797] ppid=99771 vsize=19063512 memory=10752 CPUtime=2.87 cores=5,7
/proc/99783/task/99797/stat : 99797 (java) R 99771 99783 98938 0 -1 4194368 6859 0 0 0 284 3 0 0 20 0 20 0 77261030 19521036288 56391 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99840] ppid=99771 vsize=19063512 memory=-6000919502737597286 CPUtime=0 cores=5,7
/proc/99783/task/99840/stat : 99840 (Finalizer) S 99771 99783 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 56391 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99854] ppid=99771 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/99783/task/99854/stat : 99854 (Common-Cleaner) S 99771 99783 98938 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 56391 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99860] ppid=99771 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/99783/task/99860/stat : 99860 (Timer-0) S 99771 99783 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77261057 19521036288 56391 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
Current children cumulated CPU time: 4.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 225564 KiB

[startup+6.3002 s]
/proc/loadavg: 1.39 1.16 1.62 5/339 99862
/proc/meminfo: memFree=120493708/131249992 swapFree=33010160/33010684
[pid=99783] ppid=99771 vsize=19063512 memory=289160 CPUtime=7.47 cores=5,7
/proc/99783/stat : 99783 (java) S 99771 99783 98938 0 -1 4194304 19170 0 0 0 737 10 0 0 20 0 20 0 77261027 19521036288 72290 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
/proc/99783/statm: 4765878 72290 5518 1 0 551991 0
[pid=99783/tid=99797] ppid=99771 vsize=19063512 memory=0 CPUtime=5.99 cores=5,7
/proc/99783/task/99797/stat : 99797 (java) R 99771 99783 98938 0 -1 4194368 6886 0 0 0 596 3 0 0 20 0 20 0 77261030 19521036288 72290 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99840] ppid=99771 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/99783/task/99840/stat : 99840 (Finalizer) S 99771 99783 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 72290 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99854] ppid=99771 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/99783/task/99854/stat : 99854 (Common-Cleaner) S 99771 99783 98938 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 72290 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99860] ppid=99771 vsize=19063512 memory=14692 CPUtime=0 cores=5,7
/proc/99783/task/99860/stat : 99860 (Timer-0) S 99771 99783 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77261057 19521036288 72290 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
Current children cumulated CPU time: 7.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 289160 KiB

[startup+12.7002 s]
/proc/loadavg: 1.76 1.24 1.64 6/340 99864
/proc/meminfo: memFree=120103652/131249992 swapFree=33010160/33010684
[pid=99783] ppid=99771 vsize=19063512 memory=445252 CPUtime=14.04 cores=5,7
/proc/99783/stat : 99783 (java) S 99771 99783 98938 0 -1 4194304 23335 0 0 0 1391 13 0 0 20 0 20 0 77261027 19521036288 111313 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
/proc/99783/statm: 4765878 111313 5518 1 0 551991 0
[pid=99783/tid=99797] ppid=99771 vsize=19063512 memory=10752 CPUtime=12.23 cores=5,7
/proc/99783/task/99797/stat : 99797 (java) R 99771 99783 98938 0 -1 4194368 7613 0 0 0 1220 3 0 0 20 0 20 0 77261030 19521036288 111313 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99840] ppid=99771 vsize=19063512 memory=373400 CPUtime=0 cores=5,7
/proc/99783/task/99840/stat : 99840 (Finalizer) S 99771 99783 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 111313 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99854] ppid=99771 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/99783/task/99854/stat : 99854 (Common-Cleaner) S 99771 99783 98938 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 111313 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99860] ppid=99771 vsize=19063512 memory=-6000919502737597286 CPUtime=0 cores=5,7
/proc/99783/task/99860/stat : 99860 (Timer-0) S 99771 99783 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77261057 19521036288 111313 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
Current children cumulated CPU time: 14.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 445252 KiB

[startup+25.5002 s]
/proc/loadavg: 2.33 1.39 1.68 5/341 99865
/proc/meminfo: memFree=119315448/131249992 swapFree=33010160/33010684
[pid=99783] ppid=99771 vsize=19063512 memory=877232 CPUtime=27.11 cores=5,7
/proc/99783/stat : 99783 (java) S 99771 99783 98938 0 -1 4194304 26708 0 0 0 2690 21 0 0 20 0 20 0 77261027 19521036288 219308 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
/proc/99783/statm: 4765878 219308 5550 1 0 658509 0
[pid=99783/tid=99797] ppid=99771 vsize=19063512 memory=373400 CPUtime=24.73 cores=5,7
/proc/99783/task/99797/stat : 99797 (java) R 99771 99783 98938 0 -1 4194368 8896 0 0 0 2467 6 0 0 20 0 20 0 77261030 19521036288 219308 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99840] ppid=99771 vsize=19063512 memory=14692 CPUtime=0 cores=5,7
/proc/99783/task/99840/stat : 99840 (Finalizer) S 99771 99783 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 219308 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99854] ppid=99771 vsize=19063512 memory=-6000919502737597286 CPUtime=0 cores=5,7
/proc/99783/task/99854/stat : 99854 (Common-Cleaner) S 99771 99783 98938 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 219308 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99860] ppid=99771 vsize=19063512 memory=289160 CPUtime=0 cores=5,7
/proc/99783/task/99860/stat : 99860 (Timer-0) S 99771 99783 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77261057 19521036288 219308 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
Current children cumulated CPU time: 27.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 877232 KiB

[startup+51.1058 s]
/proc/loadavg: 2.98 1.62 1.75 5/341 99865
/proc/meminfo: memFree=117837744/131249992 swapFree=33010160/33010684
[pid=99783] ppid=99771 vsize=19063512 memory=1570848 CPUtime=53.53 cores=5,7
/proc/99783/stat : 99783 (java) S 99771 99783 98938 0 -1 4194304 37322 0 0 0 5315 38 0 0 20 0 20 0 77261027 19521036288 392712 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
/proc/99783/statm: 4765878 392712 5550 1 0 658999 0
[pid=99783/tid=99797] ppid=99771 vsize=19063512 memory=1570848 CPUtime=49.65 cores=5,7
/proc/99783/task/99797/stat : 99797 (java) R 99771 99783 98938 0 -1 4194368 10098 0 0 0 4959 6 0 0 20 0 20 0 77261030 19521036288 392712 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99840] ppid=99771 vsize=19063512 memory=1231048 CPUtime=0 cores=5,7

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

/proc/99783/task/99797/stat : 99797 (java) R 99771 99783 98938 0 -1 4194368 118941 0 0 0 324764 58 0 0 20 0 20 0 77261030 19521036288 2922996 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99840] ppid=99771 vsize=19063512 memory=11562960 CPUtime=0 cores=5,7
/proc/99783/task/99840/stat : 99840 (Finalizer) S 99771 99783 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 2922996 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99854] ppid=99771 vsize=19063512 memory=14692 CPUtime=0 cores=5,7
/proc/99783/task/99854/stat : 99854 (Common-Cleaner) S 99771 99783 98938 0 -1 4194368 1754 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 2922996 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99860] ppid=99771 vsize=19063512 memory=11687888 CPUtime=0 cores=5,7
/proc/99783/task/99860/stat : 99860 (Timer-0) S 99771 99783 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77261057 19521036288 2922996 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
Current children cumulated CPU time: 3304.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11691984 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.13 4.05 5/341 100035
/proc/meminfo: memFree=95112464/131249992 swapFree=33010160/33010684
[pid=99783] ppid=99771 vsize=19063512 memory=12230728 CPUtime=3365.05 cores=5,7
/proc/99783/stat : 99783 (java) S 99771 99783 98938 0 -1 4194304 218815 0 0 0 336165 340 0 0 20 0 20 0 77261027 19521036288 3057682 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
/proc/99783/statm: 4765878 3057682 5550 1 0 4084492 0
[pid=99783/tid=99797] ppid=99771 vsize=19063512 memory=11806672 CPUtime=3307.7 cores=5,7
/proc/99783/task/99797/stat : 99797 (java) R 99771 99783 98938 0 -1 4194368 123210 0 0 0 330703 67 0 0 20 0 20 0 77261030 19521036288 3057682 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99840] ppid=99771 vsize=19063512 memory=12034108 CPUtime=0 cores=5,7
/proc/99783/task/99840/stat : 99840 (Finalizer) S 99771 99783 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 3057682 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99854] ppid=99771 vsize=19063512 memory=12230728 CPUtime=0 cores=5,7
/proc/99783/task/99854/stat : 99854 (Common-Cleaner) S 99771 99783 98938 0 -1 4194368 1866 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 3057682 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99860] ppid=99771 vsize=19063512 memory=12230728 CPUtime=0 cores=5,7
/proc/99783/task/99860/stat : 99860 (Timer-0) S 99771 99783 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77261057 19521036288 3057682 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
Current children cumulated CPU time: 3365.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12230728 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.10 4.04 5/342 100042
/proc/meminfo: memFree=95105448/131249992 swapFree=33010160/33010684
[pid=99783] ppid=99771 vsize=19063512 memory=12230728 CPUtime=3424.93 cores=5,7
/proc/99783/stat : 99783 (java) S 99771 99783 98938 0 -1 4194304 222395 0 0 0 342151 342 0 0 20 0 20 0 77261027 19521036288 3057682 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
/proc/99783/statm: 4765878 3057682 5550 1 0 4084500 0
[pid=99783/tid=99797] ppid=99771 vsize=19063512 memory=12230728 CPUtime=3367.54 cores=5,7
/proc/99783/task/99797/stat : 99797 (java) R 99771 99783 98938 0 -1 4194368 126616 0 0 0 336687 67 0 0 20 0 20 0 77261030 19521036288 3057682 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99840] ppid=99771 vsize=19063512 memory=12230728 CPUtime=0 cores=5,7
/proc/99783/task/99840/stat : 99840 (Finalizer) S 99771 99783 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 3057682 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99854] ppid=99771 vsize=19063512 memory=14692 CPUtime=0 cores=5,7
/proc/99783/task/99854/stat : 99854 (Common-Cleaner) S 99771 99783 98938 0 -1 4194368 1977 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 3057682 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99860] ppid=99771 vsize=19063512 memory=12230728 CPUtime=0 cores=5,7
/proc/99783/task/99860/stat : 99860 (Timer-0) S 99771 99783 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77261057 19521036288 3057682 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
Current children cumulated CPU time: 3424.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12230728 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.05 5/342 100044
/proc/meminfo: memFree=94925044/131249992 swapFree=33010160/33010684
[pid=99783] ppid=99771 vsize=19063512 memory=12321300 CPUtime=3485.17 cores=5,7
/proc/99783/stat : 99783 (java) S 99771 99783 98938 0 -1 4194304 228358 0 0 0 348172 345 0 0 20 0 20 0 77261027 19521036288 3080325 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
/proc/99783/statm: 4765878 3080325 5550 1 0 4084599 0
[pid=99783/tid=99797] ppid=99771 vsize=19063512 memory=12230728 CPUtime=3427.04 cores=5,7
/proc/99783/task/99797/stat : 99797 (java) R 99771 99783 98938 0 -1 4194368 131221 0 0 0 342636 68 0 0 20 0 20 0 77261030 19521036288 3080325 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99840] ppid=99771 vsize=19063512 memory=12230728 CPUtime=0 cores=5,7
/proc/99783/task/99840/stat : 99840 (Finalizer) S 99771 99783 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 3080325 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99854] ppid=99771 vsize=19063512 memory=12321300 CPUtime=0 cores=5,7
/proc/99783/task/99854/stat : 99854 (Common-Cleaner) S 99771 99783 98938 0 -1 4194368 1977 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 3080325 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99860] ppid=99771 vsize=19063512 memory=2944 CPUtime=0 cores=5,7
/proc/99783/task/99860/stat : 99860 (Timer-0) S 99771 99783 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77261057 19521036288 3080325 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
Current children cumulated CPU time: 3485.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12321300 KiB

[startup+3522.3 s]
/proc/loadavg: 4.68 4.24 4.09 5/342 100046
/proc/meminfo: memFree=94924320/131249992 swapFree=33010160/33010684
[pid=99783] ppid=99771 vsize=19063512 memory=12321812 CPUtime=3545.41 cores=5,7
/proc/99783/stat : 99783 (java) S 99771 99783 98938 0 -1 4194304 233156 0 0 0 354193 348 0 0 20 0 20 0 77261027 19521036288 3080453 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
/proc/99783/statm: 4765878 3080453 5550 1 0 4084755 0
[pid=99783/tid=99797] ppid=99771 vsize=19063512 memory=12321300 CPUtime=3486.54 cores=5,7
/proc/99783/task/99797/stat : 99797 (java) R 99771 99783 98938 0 -1 4194368 134376 0 0 0 348586 68 0 0 20 0 20 0 77261030 19521036288 3080453 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99840] ppid=99771 vsize=19063512 memory=12321300 CPUtime=0 cores=5,7
/proc/99783/task/99840/stat : 99840 (Finalizer) S 99771 99783 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 3080453 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99854] ppid=99771 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/99783/task/99854/stat : 99854 (Common-Cleaner) S 99771 99783 98938 0 -1 4194368 2053 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 3080453 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99860] ppid=99771 vsize=19063512 memory=12321812 CPUtime=0 cores=5,7
/proc/99783/task/99860/stat : 99860 (Timer-0) S 99771 99783 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77261057 19521036288 3080453 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
Current children cumulated CPU time: 3545.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12321812 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3577 s]*
/proc/loadavg: 4.62 4.30 4.12 5/341 100048
/proc/meminfo: memFree=94923396/131249992 swapFree=33010160/33010684
[pid=99783] ppid=99771 vsize=19063512 memory=12321812 CPUtime=3600 cores=5,7
/proc/99783/stat : 99783 (java) S 99771 99783 98938 0 -1 4194304 236918 0 0 0 359651 349 0 0 20 0 20 0 77261027 19521036288 3080453 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
/proc/99783/statm: 4765878 3080453 5550 1 0 4084755 0
[pid=99783/tid=99797] ppid=99771 vsize=19063512 memory=-6000919498442629990 CPUtime=3541.11 cores=5,7
/proc/99783/task/99797/stat : 99797 (java) R 99771 99783 98938 0 -1 4194368 138029 0 0 0 354042 69 0 0 20 0 20 0 77261030 19521036288 3080453 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99840] ppid=99771 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=5,7
/proc/99783/task/99840/stat : 99840 (Finalizer) S 99771 99783 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 3080453 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99854] ppid=99771 vsize=19063512 memory=7594035882421675110 CPUtime=0 cores=5,7
/proc/99783/task/99854/stat : 99854 (Common-Cleaner) S 99771 99783 98938 0 -1 4194368 2113 0 0 0 0 0 0 0 20 0 20 0 77261032 19521036288 3080453 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99860] ppid=99771 vsize=19063512 memory=-8253387840380694172 CPUtime=0 cores=5,7
/proc/99783/task/99860/stat : 99860 (Timer-0) S 99771 99783 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77261057 19521036288 3080453 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12321812 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.44 s, system=3.53853 s

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

[startup+3577.2 s]
/proc/loadavg: 4.62 4.30 4.12 5/341 100048
/proc/meminfo: memFree=94923396/131249992 swapFree=33010160/33010684
[pid=99783] ppid=99771 vsize=19130076 memory=12322068 CPUtime=3600.38 cores=5,7
/proc/99783/stat : 99783 (java) S 99771 99783 98938 0 -1 4194304 238139 0 0 0 359689 349 0 0 20 0 21 0 77261027 19589197824 3080517 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
/proc/99783/statm: 4782519 3080517 5550 1 0 4085040 0
[pid=99783/tid=99797] ppid=99771 vsize=19130076 memory=4352 CPUtime=3541.12 cores=5,7
/proc/99783/task/99797/stat : 99797 (java) S 99771 99783 98938 0 -1 4194368 138034 0 0 0 354043 69 0 0 20 0 21 0 77261030 19589197824 3080517 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99840] ppid=99771 vsize=19130076 memory=-6000919502737597286 CPUtime=0 cores=5,7
/proc/99783/task/99840/stat : 99840 (Finalizer) S 99771 99783 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77261032 19589197824 3080517 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99854] ppid=99771 vsize=19130076 memory=1920 CPUtime=0 cores=5,7
/proc/99783/task/99854/stat : 99854 (Common-Cleaner) S 99771 99783 98938 0 -1 4194368 2113 0 0 0 0 0 0 0 20 0 21 0 77261032 19589197824 3080517 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99860] ppid=99771 vsize=19130076 memory=5632 CPUtime=0 cores=5,7
/proc/99783/task/99860/stat : 99860 (Timer-0) S 99771 99783 98938 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 77261057 19589197824 3080517 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
Current children cumulated CPU time: 3600.38 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 12322068 KiB

[startup+3577.4 s]
/proc/loadavg: 4.62 4.30 4.12 5/341 100048
/proc/meminfo: memFree=94923396/131249992 swapFree=33010160/33010684
[pid=99783] ppid=99771 vsize=19263204 memory=12322708 CPUtime=3600.78 cores=5,7
/proc/99783/stat : 99783 (java) S 99771 99783 98938 0 -1 4194304 240770 0 0 0 359728 350 0 0 20 0 21 0 77261027 19725520896 3080677 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
/proc/99783/statm: 4815801 3080677 5582 1 0 4085718 0
[pid=99783/tid=99797] ppid=99771 vsize=19263204 memory=3054156605267021189 CPUtime=3541.18 cores=5,7
/proc/99783/task/99797/stat : 99797 (java) R 99771 99783 98938 0 -1 4194368 138265 0 0 0 354049 69 0 0 20 0 21 0 77261030 19725520896 3080677 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99840] ppid=99771 vsize=19263204 memory=4628979771160749197 CPUtime=0 cores=5,7
/proc/99783/task/99840/stat : 99840 (Finalizer) S 99771 99783 98938 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77261032 19725520896 3080677 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
[pid=99783/tid=99854] ppid=99771 vsize=19263204 memory=4628982000248775821 CPUtime=0 cores=5,7
/proc/99783/task/99854/stat : 99854 (Common-Cleaner) S 99771 99783 98938 0 -1 4194368 2113 0 0 0 0 0 0 0 20 0 21 0 77261032 19725520896 3080677 18446744073709551615 94613681414144 94613681417840 140731230618528 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94613681425656 94613681426448 94613710282752 140731230624127 140731230624228 140731230624228 140731230629832 0
Current children cumulated CPU time: 3600.78 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 12322708 KiB

[startup+3577.5 s]*
/proc/loadavg: 4.62 4.30 4.12 5/323 100051
/proc/meminfo: memFree=99119368/131249992 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3577.53
CPU time (s): 3600.98
CPU user time (s): 3597.44
CPU system time (s): 3.53853
CPU usage (%): 100.656
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 12322708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.44
system time used= 3.53853
maximum resident set size= 12322964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241137
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111494
involuntary context switches= 5665


# summary of solver processes directly reported to runsolver:
#   pid: 99783
#   total CPU time (s): 3600.98
#   total CPU user time (s): 3597.44
#   total CPU system time (s): 3.53853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.03526 second user time and 16.7609 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-04 09:57:03
IDJOB=4524632
IDBENCH=143149
IDSOLVER=3380
FILE ID=nodeC025/4524632-1751615822
RUNJOBID= nodeC025-1751615822-99731
SLURM_JOB_ID= 9598901
Free space on /tmp= 432980 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524632-1751615822/watcher-4524632-1751615822 -o /tmp/evaluation-result-4524632-1751615822/solver-4524632-1751615822 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751615822-99731 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4524632-1751615822.wbo

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

MD5SUM BENCH= 3c4c720e4925df29da5c60ffed631611
RANDOM SEED=75104551

nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3484.391
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.588
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.110
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.954
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.015
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.836
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.965
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3597.835
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        121120500 kB
MemAvailable:   129655748 kB
Buffers:            2128 kB
Cached:          9283400 kB
SwapCached:          200 kB
Active:           404056 kB
Inactive:        8949084 kB
Active(anon):      68312 kB
Inactive(anon):    17156 kB
Active(file):     335744 kB
Inactive(file):  8931928 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2596 kB
Writeback:             0 kB
AnonPages:         70496 kB
Mapped:           103244 kB
Shmem:             17856 kB
KReclaimable:     213628 kB
Slab:             303892 kB
SReclaimable:     213628 kB
SUnreclaim:        90264 kB
KernelStack:        4084 kB
PageTables:         2580 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     330192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432976 MiB
End job on nodeC025 at 2025-07-04 10:56:40