Trace number 4496556

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)38 3600.31 3604.72

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_008_area_delay.opb
MD5SUM3f61d67ec309aef8ac87c7a01b0ee309
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark0.33124
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3973
Total number of constraints11097
Number of constraints which are clauses11097
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 1906
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1906
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1906
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.10	c Free memory 		2104792832
0.00/0.10	c Max memory 		16282288128
0.00/0.10	c Total memory 		2113929216
0.00/0.10	c Number of processors 	2
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/0.14	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.11/0.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4496556-1751375232.opb
0.11/0.14	c reading problem ... 
0.11/0.14	c  objective function found
0.30/0.27	c ... done. Wall clock time 0.127s.
0.30/0.27	c declared #vars     3973
0.30/0.27	c #constraints  11097
0.30/0.27	c constraints type 
0.30/0.27	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 8902
0.30/0.27	c org.sat4j.specs.Constr$1 => 15
0.30/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2071
0.30/0.27	c org.sat4j.pb.constraints.pb.UnitClausePB => 109
0.30/0.27	c 11097 constraints processed.
0.30/0.29	c objective function length is 1906 literals
0.50/0.32	c SATISFIABLE
0.50/0.32	c OPTIMIZING...
0.50/0.32	c Got one! Elapsed wall clock time (in seconds):0.18
0.50/0.32	o 40
0.50/0.34	c Got one! Elapsed wall clock time (in seconds):0.204
0.50/0.34	o 39
0.69/0.47	c Got one! Elapsed wall clock time (in seconds):0.336
0.69/0.47	o 38
1.86/1.06	c cleaning 2876 clauses out of 5756 with flag 11983/5756
2.45/1.47	c cleaning 4439 clauses out of 8880 with flag 27534/11756
3.07/1.90	c cleaning 5720 clauses out of 11441 with flag 44802/18756
3.58/2.41	c cleaning 6860 clauses out of 13722 with flag 64316/26757
4.14/3.00	c cleaning 7930 clauses out of 15864 with flag 86356/35759
4.84/3.66	c cleaning 8962 clauses out of 17931 with flag 110871/45756
5.64/4.41	c cleaning 9985 clauses out of 19974 with flag 138279/56761
6.44/5.20	c cleaning 10988 clauses out of 21984 with flag 167408/68756
7.25/6.07	c cleaning 11994 clauses out of 23997 with flag 199150/81757
8.25/7.05	c cleaning 12997 clauses out of 26003 with flag 233618/95757
12.08/10.74	c cleaning 13995 clauses out of 28005 with flag 293817/110756
15.88/14.59	c cleaning 14998 clauses out of 30010 with flag 361541/126756
19.81/18.47	c cleaning 15986 clauses out of 32012 with flag 441505/143756
23.53/22.14	c cleaning 16992 clauses out of 34026 with flag 523475/161756
27.61/26.24	c cleaning 17994 clauses out of 36034 with flag 616381/180756
31.80/30.40	c cleaning 19011 clauses out of 38040 with flag 714964/200756
36.29/34.91	c cleaning 19998 clauses out of 40029 with flag 834153/221756
40.90/39.51	c cleaning 20994 clauses out of 42031 with flag 945058/243756
45.79/44.42	c cleaning 22004 clauses out of 44037 with flag 1071001/266756
50.78/49.48	c cleaning 22997 clauses out of 46033 with flag 1202432/290756
56.17/54.86	c cleaning 24012 clauses out of 48036 with flag 1350751/315756
62.28/60.90	c cleaning 24998 clauses out of 50024 with flag 1489155/341756
68.76/67.47	c cleaning 26007 clauses out of 52026 with flag 1649148/368756
75.75/74.48	c cleaning 26996 clauses out of 54019 with flag 1815286/396756
82.83/81.58	c cleaning 27981 clauses out of 56024 with flag 1983663/425757
89.71/88.47	c cleaning 28987 clauses out of 58042 with flag 2135059/455756
96.89/95.61	c cleaning 30018 clauses out of 60055 with flag 2282111/486756
104.28/103.04	c cleaning 30986 clauses out of 62037 with flag 2444608/518756
112.07/110.86	c cleaning 32013 clauses out of 64051 with flag 2608966/551756
119.95/118.70	c cleaning 32991 clauses out of 66038 with flag 2782249/585756
128.83/127.66	c cleaning 33993 clauses out of 68047 with flag 2971339/620756
137.21/136.04	c cleaning 35015 clauses out of 70055 with flag 3159245/656757
146.19/145.07	c cleaning 36011 clauses out of 72039 with flag 3359101/693756
156.39/155.21	c cleaning 36995 clauses out of 74029 with flag 3567015/731757
166.46/165.34	c cleaning 37984 clauses out of 76033 with flag 3770630/770756
176.64/175.54	c cleaning 39003 clauses out of 78051 with flag 4007726/810758
187.22/186.19	c cleaning 40003 clauses out of 80046 with flag 4229972/851756
197.89/196.89	c cleaning 41001 clauses out of 82043 with flag 4441659/893756
209.59/208.51	c cleaning 41988 clauses out of 84042 with flag 4664996/936756
221.76/220.71	c cleaning 43004 clauses out of 86054 with flag 4879092/980756
234.33/233.31	c cleaning 44014 clauses out of 88050 with flag 5100261/1025756
247.30/246.31	c cleaning 45005 clauses out of 90037 with flag 5351831/1071757
260.61/259.61	c cleaning 45975 clauses out of 92031 with flag 5617829/1118756
274.08/273.18	c cleaning 47010 clauses out of 94056 with flag 5879609/1166756
288.05/287.12	c cleaning 48000 clauses out of 96046 with flag 6158401/1215756
302.31/301.47	c cleaning 49016 clauses out of 98047 with flag 6389902/1265757
316.89/316.06	c cleaning 50007 clauses out of 100030 with flag 6629610/1316756
331.65/330.85	c cleaning 51004 clauses out of 102025 with flag 6887874/1368758
346.63/345.86	c cleaning 51981 clauses out of 104020 with flag 7172823/1421757
362.73/361.90	c cleaning 52988 clauses out of 106038 with flag 7489688/1475756
378.39/377.68	c cleaning 54009 clauses out of 108050 with flag 7766062/1530756
393.76/393.03	c cleaning 55014 clauses out of 110041 with flag 8079660/1586756
408.42/407.70	c cleaning 55989 clauses out of 112027 with flag 8443221/1643756
424.17/423.51	c cleaning 56995 clauses out of 114038 with flag 8736068/1701756
440.53/439.94	c cleaning 57998 clauses out of 116043 with flag 9061133/1760756
457.30/456.79	c cleaning 59004 clauses out of 118046 with flag 9376788/1820757
474.49/473.99	c cleaning 60011 clauses out of 120041 with flag 9697892/1881756
492.24/491.78	c cleaning 61003 clauses out of 122030 with flag 10068989/1943756
510.79/510.31	c cleaning 62009 clauses out of 124031 with flag 10402854/2006760
528.58/528.18	c cleaning 62993 clauses out of 126018 with flag 10745744/2070756
546.94/546.52	c cleaning 63991 clauses out of 128025 with flag 11071460/2135756
564.89/564.58	c cleaning 64964 clauses out of 130035 with flag 11450410/2201757
583.24/582.92	c cleaning 66010 clauses out of 132070 with flag 11797755/2268756
602.10/601.90	c cleaning 66987 clauses out of 134060 with flag 12156204/2336756
621.16/620.92	c cleaning 68028 clauses out of 136073 with flag 12559634/2405756
639.95/639.75	c cleaning 68988 clauses out of 138045 with flag 12997941/2475756
659.21/659.01	c cleaning 70008 clauses out of 140057 with flag 13360883/2546756
678.06/677.95	c cleaning 70948 clauses out of 142049 with flag 13744209/2618756
698.41/698.39	c cleaning 72021 clauses out of 144101 with flag 14193699/2691756
719.10/719.08	c cleaning 73035 clauses out of 146080 with flag 14614810/2765756
739.64/739.67	c cleaning 74009 clauses out of 148045 with flag 15061698/2840756
757.99/758.07	c cleaning 74996 clauses out of 150036 with flag 15403142/2916756
777.79/777.87	c cleaning 76010 clauses out of 152040 with flag 15825444/2993756
797.23/797.34	c cleaning 77014 clauses out of 154032 with flag 16270391/3071758
816.89/817.06	c cleaning 77995 clauses out of 156016 with flag 16740128/3150756
835.84/836.09	c cleaning 78998 clauses out of 158021 with flag 17203143/3230756
855.78/856.06	c cleaning 79995 clauses out of 160023 with flag 17608223/3311756
876.29/876.54	c cleaning 81004 clauses out of 162028 with flag 17990550/3393756
898.34/898.60	c cleaning 81995 clauses out of 164024 with flag 18434305/3476756
921.07/921.49	c cleaning 82983 clauses out of 166030 with flag 18917593/3560757
944.01/944.46	c cleaning 84004 clauses out of 168047 with flag 19342432/3645757
966.05/966.52	c cleaning 85007 clauses out of 170043 with flag 19857938/3731757
990.75/991.25	c cleaning 85994 clauses out of 172035 with flag 20354999/3818756
1015.78/1016.30	c cleaning 87001 clauses out of 174041 with flag 20873485/3906756
1037.22/1037.88	c cleaning 87974 clauses out of 176040 with flag 21385880/3995756
1060.47/1061.18	c cleaning 89024 clauses out of 178066 with flag 21927201/4085756
1082.71/1083.43	c cleaning 89977 clauses out of 180042 with flag 22421241/4176756
1104.15/1104.91	c cleaning 91009 clauses out of 182065 with flag 22929347/4268756
1127.67/1128.42	c cleaning 92022 clauses out of 184056 with flag 23475745/4361756
1152.33/1153.11	c cleaning 93008 clauses out of 186034 with flag 24019788/4455756
1177.66/1178.51	c cleaning 94001 clauses out of 188026 with flag 24600001/4550756
1201.01/1201.94	c cleaning 95008 clauses out of 190025 with flag 25150355/4646756
1225.45/1226.40	c cleaning 95986 clauses out of 192017 with flag 25668787/4743756
1248.56/1249.59	c cleaning 97002 clauses out of 194031 with flag 26233157/4841756
1274.21/1275.25	c cleaning 97995 clauses out of 196030 with flag 26812621/4940757
1298.25/1299.37	c cleaning 98998 clauses out of 198034 with flag 27342826/5040756
1324.30/1325.49	c cleaning 100009 clauses out of 200036 with flag 27909723/5141756
1351.03/1352.29	c cleaning 100999 clauses out of 202029 with flag 28477184/5243758
1378.27/1379.46	c cleaning 101999 clauses out of 204028 with flag 28984538/5346756
1406.31/1407.58	c cleaning 102997 clauses out of 206029 with flag 29504704/5450756
1433.55/1434.83	c cleaning 103980 clauses out of 208032 with flag 30044782/5555756
1461.10/1462.42	c cleaning 105012 clauses out of 210052 with flag 30597457/5661756
1488.44/1489.84	c cleaning 106001 clauses out of 212040 with flag 31093020/5768756
1515.06/1516.54	c cleaning 106992 clauses out of 214039 with flag 31615004/5876756
1541.54/1542.73	c cleaning 108023 clauses out of 216048 with flag 32162154/5985757
1570.08/1571.33	c cleaning 109010 clauses out of 218025 with flag 32672939/6095757
1597.12/1598.42	c cleaning 110000 clauses out of 220015 with flag 33202716/6206757
1625.55/1626.91	c cleaning 110994 clauses out of 222015 with flag 33747280/6318757
1654.30/1655.71	c cleaning 112004 clauses out of 224020 with flag 34199552/6431756
1681.50/1682.97	c cleaning 112996 clauses out of 226017 with flag 34678678/6545757
1711.94/1713.48	c cleaning 114005 clauses out of 228020 with flag 35203828/6660756
1741.37/1742.90	c cleaning 114988 clauses out of 230015 with flag 35671009/6776756
1770.09/1771.70	c cleaning 115999 clauses out of 232029 with flag 36147069/6893758
1805.21/1806.91	c cleaning 117006 clauses out of 234029 with flag 36661795/7011757
1840.52/1842.23	c cleaning 117986 clauses out of 236022 with flag 37221572/7130756
1877.03/1878.86	c cleaning 118994 clauses out of 238038 with flag 37878899/7250758
1915.27/1917.16	c cleaning 120000 clauses out of 240042 with flag 38634433/7371756
1954.08/1956.02	c cleaning 120999 clauses out of 242042 with flag 39404564/7493756
1991.70/1993.76	c cleaning 122015 clauses out of 244044 with flag 40299114/7616757
2027.72/2029.81	c cleaning 122994 clauses out of 246028 with flag 41035749/7740756
2063.32/2065.43	c cleaning 124012 clauses out of 248035 with flag 41776234/7865757
2096.63/2098.83	c cleaning 124977 clauses out of 250022 with flag 42522869/7991756
2133.24/2135.52	c cleaning 126004 clauses out of 252045 with flag 43278026/8118756
2168.55/2170.93	c cleaning 126978 clauses out of 254042 with flag 43952997/8246757
2205.36/2207.88	c cleaning 127995 clauses out of 256064 with flag 44572073/8375757
2242.87/2245.46	c cleaning 129007 clauses out of 258068 with flag 45364996/8505756
2280.43/2283.00	c cleaning 130004 clauses out of 260061 with flag 46130455/8636756
2315.95/2318.63	c cleaning 131004 clauses out of 262057 with flag 46755945/8768756
2353.17/2355.90	c cleaning 131989 clauses out of 264053 with flag 47486861/8901756
2390.79/2393.66	c cleaning 133020 clauses out of 266064 with flag 48191954/9035756
2428.81/2431.71	c cleaning 134004 clauses out of 268044 with flag 48874746/9170756
2467.62/2470.62	c cleaning 134994 clauses out of 270040 with flag 49599570/9306756
2508.24/2511.36	c cleaning 136010 clauses out of 272046 with flag 50440034/9443756
2550.66/2553.78	c cleaning 136998 clauses out of 274036 with flag 51338483/9581756
2594.47/2597.63	c cleaning 138005 clauses out of 276038 with flag 52094067/9720756
2637.48/2640.71	c cleaning 139005 clauses out of 278033 with flag 52795063/9860756
2681.49/2684.82	c cleaning 139993 clauses out of 280030 with flag 53389263/10001758
2725.39/2728.80	c cleaning 141006 clauses out of 282035 with flag 54192581/10143756
2769.19/2772.71	c cleaning 141999 clauses out of 284030 with flag 55012765/10286757
2812.60/2816.25	c cleaning 142987 clauses out of 286031 with flag 55726161/10430757
2857.89/2861.59	c cleaning 143997 clauses out of 288043 with flag 56563816/10575756
2898.90/2902.60	c cleaning 144988 clauses out of 290046 with flag 57295062/10721756
2939.61/2943.40	c cleaning 146007 clauses out of 292058 with flag 58038509/10868756
2980.93/2984.82	c cleaning 147002 clauses out of 294051 with flag 58742317/11016756
3022.14/3026.15	c cleaning 147996 clauses out of 296049 with flag 59453245/11165756
3063.75/3067.82	c cleaning 149001 clauses out of 298053 with flag 60221326/11315756
3107.16/3111.38	c cleaning 149999 clauses out of 300052 with flag 61178408/11466756
3150.45/3154.60	c cleaning 150991 clauses out of 302053 with flag 62116080/11618756
3194.76/3199.07	c cleaning 152017 clauses out of 304062 with flag 63010320/11771756
3238.75/3243.18	c cleaning 152990 clauses out of 306045 with flag 64018565/11925756
3284.05/3288.53	c cleaning 154009 clauses out of 308055 with flag 64930698/12080756
3330.85/3335.47	c cleaning 154995 clauses out of 310048 with flag 65825307/12236758
3375.76/3380.40	c cleaning 156003 clauses out of 312053 with flag 66797552/12393758
3419.20/3423.31	c cleaning 157016 clauses out of 314048 with flag 67679208/12551756
3462.30/3466.57	c cleaning 158002 clauses out of 316034 with flag 68486668/12710758
3504.42/3508.79	c cleaning 159007 clauses out of 318030 with flag 69302091/12870756
3548.01/3552.42	c cleaning 159963 clauses out of 320023 with flag 70084077/13031756
3596.19/3600.71	c cleaning 161015 clauses out of 322060 with flag 70904302/13193756
3600.08/3604.61	c starts		: 3649
3600.08/3604.61	c conflicts		: 13209909
3600.08/3604.62	c decisions		: 82253745
3600.08/3604.62	c propagations		: 24070053353
3600.08/3604.62	c inspects		: 26118977363
3600.08/3604.62	c shortcuts		: 0
3600.08/3604.62	c learnt literals	: 0
3600.08/3604.62	c learnt binary clauses	: 0
3600.08/3604.62	c learnt ternary clauses	: 15
3600.08/3604.62	c learnt constraints	: 13209909
3600.08/3604.62	c ignored constraints	: 0
3600.08/3604.62	c root simplifications	: 0
3600.08/3604.62	c removed literals (reason simplification)	: 40326577
3600.08/3604.62	c reason swapping (by a shorter reason)	: 0
3600.08/3604.62	c Calls to reduceDB	: 158
3600.08/3604.62	c Number of update (reduction) of LBD	: 6383016
3600.08/3604.62	c Imported unit clauses	: 0
3600.08/3604.62	c No decision after first conflict	: false
3600.08/3604.62	c number of reductions to clauses (during analyze)	: 0
3600.08/3604.62	c number of learned constraints concerned by reduction	: 0
3600.08/3604.62	c number of learning phase by resolution	: 0
3600.08/3604.62	c number of learning phase by cutting planes	: 0
3600.08/3604.62	c number of rounding to 1 operations	: 0
3600.08/3604.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3604.62	c number of reductions of the coefficients by power 2 	: 0
3600.08/3604.62	c number of right shift for reduction by power 2 	: 0
3600.08/3604.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3604.62	c number of ending skipping 	: 0
3600.08/3604.62	c number of internal skipping 	: 0
3600.08/3604.62	c number of derivation steps 	: 0
3600.08/3604.62	c number of skipped derivation steps 	: 0
3600.08/3604.62	c number of remaining unassigned 	: 0
3600.08/3604.62	c number of remaining assigned 	: 0
3600.08/3604.62	c number of falsified literals weakened from reason	: 0
3600.08/3604.62	c number of falsified literals weakened from conflict	: 0
3600.08/3604.62	c time for arithmetic operations	: 0
3600.08/3604.63	c minimum degree of deleted constraints	: null
3600.08/3604.63	c maximum degree of deleted constraints	: null
3600.08/3604.63	c number of deleted constraints	: 0
3600.08/3604.63	c speed (assignments/second)	: 6678086.25754439
3600.08/3604.63	c non guided choices	: 0
3600.08/3604.69	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 177198
3600.08/3604.69	s SATISFIABLE
3600.08/3604.69	c Found 3 solution(s)
3600.08/3604.69	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 x159 -x160 x161 -x162 -x163 x164 -x165 x166 x167 x168 x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2641 x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881 x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 x2941 x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 x3146 x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 x3252 x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 x3308 x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 x3347 x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 x3442 x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 x3622 x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 x3741 x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 x3790 x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 x3844 x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 x3878 x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 x3906 x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 x3920 x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 x3934 x3935 -x3936 -x3937 x3938 x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 x3948 x3949 -x3950 -x3951 -x3952 -x3953 x3954 x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 x3964 x3965 x3966 x3967 -x3968 -x3969 x3970 x3971 x3972 x3973 
3600.28/3604.70	c objective function=38
3600.28/3604.71	c Total wall clock time (in seconds): 3604.566

Verifier Data 

OK	38

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496556-1751375232/watcher-4496556-1751375232 -o /tmp/evaluation-result-4496556-1751375232/solver-4496556-1751375232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751374867-53878 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4496556-1751375232.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Current StackSize limit: 8192 KiB

solver pid=54528, runsolver pid=54525

[startup+0.10006 s]*
/proc/loadavg: 4.16 3.26 2.27 6/339 54546
/proc/meminfo: memFree=127421712/131250000 swapFree=33010684/33010684
[pid=54528] ppid=54525 vsize=18930384 memory=55384 CPUtime=0.11 cores=4,6
/proc/54528/stat : 54528 (java) S 54525 54528 53867 0 -1 4194304 6477 0 0 0 9 2 0 0 20 0 18 0 53199776 19384713216 13846 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
/proc/54528/statm: 4732596 13846 5342 1 0 547570 0
[pid=54528/tid=54530] ppid=54525 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/54528/task/54530/stat : 54530 (java) R 54525 54528 53867 0 -1 4194368 5014 0 0 0 6 1 0 0 20 0 18 0 53199778 19384713216 13846 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54539] ppid=54525 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/54528/task/54539/stat : 54539 (Finalizer) S 54525 54528 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53199780 19384713216 13846 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54546] ppid=54525 vsize=18930384 memory=59585004336271 CPUtime=0 cores=4,6
/proc/54528/task/54546/stat : 54546 (Common-Cleaner) S 54525 54528 53867 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 53199781 19384713216 13846 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55384 KiB

[startup+0.205623 s]*
/proc/loadavg: 4.16 3.26 2.27 7/339 54546
/proc/meminfo: memFree=127409488/131250000 swapFree=33010684/33010684
[pid=54528] ppid=54525 vsize=18930384 memory=66060 CPUtime=0.3 cores=4,6
/proc/54528/stat : 54528 (java) S 54525 54528 53867 0 -1 4194304 7012 0 0 0 28 2 0 0 20 0 18 0 53199776 19384713216 16515 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
/proc/54528/statm: 4732596 16515 5438 1 0 547914 0
[pid=54528/tid=54530] ppid=54525 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=4,6
/proc/54528/task/54530/stat : 54530 (java) R 54525 54528 53867 0 -1 4194368 5287 0 0 0 15 1 0 0 20 0 18 0 53199778 19384713216 16515 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54539] ppid=54525 vsize=18930384 memory=16955 CPUtime=0 cores=4,6
/proc/54528/task/54539/stat : 54539 (Finalizer) S 54525 54528 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 53199780 19384713216 16515 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54546] ppid=54525 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/54528/task/54546/stat : 54546 (Common-Cleaner) S 54525 54528 53867 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 53199781 19384713216 16515 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66060 KiB

[startup+0.305572 s]*
/proc/loadavg: 4.16 3.26 2.27 8/340 54547
/proc/meminfo: memFree=127392348/131250000 swapFree=33010684/33010684
[pid=54528] ppid=54525 vsize=18996948 memory=89252 CPUtime=0.5 cores=4,6
/proc/54528/stat : 54528 (java) S 54525 54528 53867 0 -1 4194304 8645 0 0 0 47 3 0 0 20 0 19 0 53199776 19452874752 22313 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
/proc/54528/statm: 4749237 22313 5470 1 0 549291 0
[pid=54528/tid=54530] ppid=54525 vsize=18996948 memory=-6000919485641746538 CPUtime=0.25 cores=4,6
/proc/54528/task/54530/stat : 54530 (java) R 54525 54528 53867 0 -1 4194368 5400 0 0 0 23 2 0 0 20 0 19 0 53199778 19452874752 22313 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54539] ppid=54525 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/54528/task/54539/stat : 54539 (Finalizer) S 54525 54528 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53199780 19452874752 22313 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54546] ppid=54525 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/54528/task/54546/stat : 54546 (Common-Cleaner) S 54525 54528 53867 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 53199781 19452874752 22313 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54547] ppid=54525 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/54528/task/54547/stat : 54547 (java) R 54525 54528 53867 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 19 0 53199806 19452874752 22313 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 89252 KiB

[startup+0.700228 s]
/proc/loadavg: 4.16 3.26 2.27 6/340 54547
/proc/meminfo: memFree=127383528/131250000 swapFree=33010684/33010684
[pid=54528] ppid=54525 vsize=18996948 memory=98980 CPUtime=1.26 cores=4,6
/proc/54528/stat : 54528 (java) S 54525 54528 53867 0 -1 4194304 11078 0 0 0 122 4 0 0 20 0 19 0 53199776 19452874752 24745 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
/proc/54528/statm: 4749237 24745 5470 1 0 551039 0
[pid=54528/tid=54530] ppid=54525 vsize=18996948 memory=18176 CPUtime=0.61 cores=4,6
/proc/54528/task/54530/stat : 54530 (java) R 54525 54528 53867 0 -1 4194368 5438 0 0 0 59 2 0 0 20 0 19 0 53199778 19452874752 24745 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54539] ppid=54525 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/54528/task/54539/stat : 54539 (Finalizer) S 54525 54528 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53199780 19452874752 24745 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54546] ppid=54525 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/54528/task/54546/stat : 54546 (Common-Cleaner) S 54525 54528 53867 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 53199781 19452874752 24745 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54547] ppid=54525 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/54528/task/54547/stat : 54547 (Timer-0) S 54525 54528 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 53199806 19452874752 24745 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 98980 KiB

[startup+1.50019 s]
/proc/loadavg: 4.16 3.26 2.27 6/340 54547
/proc/meminfo: memFree=127379432/131250000 swapFree=33010684/33010684
[pid=54528] ppid=54525 vsize=18996948 memory=110204 CPUtime=2.62 cores=4,6
/proc/54528/stat : 54528 (java) S 54525 54528 53867 0 -1 4194304 15152 0 0 0 258 4 0 0 20 0 19 0 53199776 19452874752 27551 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
/proc/54528/statm: 4749237 27551 5470 1 0 551651 0
[pid=54528/tid=54530] ppid=54525 vsize=18996948 memory=10752 CPUtime=1.39 cores=4,6
/proc/54528/task/54530/stat : 54530 (java) R 54525 54528 53867 0 -1 4194368 5906 0 0 0 137 2 0 0 20 0 19 0 53199778 19452874752 27551 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54539] ppid=54525 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/54528/task/54539/stat : 54539 (Finalizer) S 54525 54528 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53199780 19452874752 27551 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54546] ppid=54525 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/54528/task/54546/stat : 54546 (Common-Cleaner) S 54525 54528 53867 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 53199781 19452874752 27551 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54547] ppid=54525 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/54528/task/54547/stat : 54547 (Timer-0) S 54525 54528 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 53199806 19452874752 27551 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 110204 KiB

[startup+3.1054 s]
/proc/loadavg: 4.16 3.26 2.27 5/340 54547
/proc/meminfo: memFree=127363392/131250000 swapFree=33010684/33010684
[pid=54528] ppid=54525 vsize=18996948 memory=120572 CPUtime=4.35 cores=4,6
/proc/54528/stat : 54528 (java) S 54525 54528 53867 0 -1 4194304 16370 0 0 0 430 5 0 0 20 0 19 0 53199776 19452874752 30143 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
/proc/54528/statm: 4749237 30143 5470 1 0 551652 0
[pid=54528/tid=54530] ppid=54525 vsize=18996948 memory=10752 CPUtime=3 cores=4,6
/proc/54528/task/54530/stat : 54530 (java) R 54525 54528 53867 0 -1 4194368 6177 0 0 0 297 3 0 0 20 0 19 0 53199778 19452874752 30143 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54539] ppid=54525 vsize=18996948 memory=-6000919485641746538 CPUtime=0 cores=4,6
/proc/54528/task/54539/stat : 54539 (Finalizer) S 54525 54528 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53199780 19452874752 30143 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54546] ppid=54525 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/54528/task/54546/stat : 54546 (Common-Cleaner) S 54525 54528 53867 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 53199781 19452874752 30143 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54547] ppid=54525 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/54528/task/54547/stat : 54547 (Timer-0) S 54525 54528 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 53199806 19452874752 30143 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
Current children cumulated CPU time: 4.35 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 120572 KiB

[startup+6.30015 s]
/proc/loadavg: 4.15 3.27 2.28 5/340 54547
/proc/meminfo: memFree=127342912/131250000 swapFree=33010684/33010684
[pid=54528] ppid=54525 vsize=18996948 memory=136264 CPUtime=7.54 cores=4,6
/proc/54528/stat : 54528 (java) S 54525 54528 53867 0 -1 4194304 18241 0 0 0 749 5 0 0 20 0 19 0 53199776 19452874752 34066 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
/proc/54528/statm: 4749237 34066 5502 1 0 551668 0
[pid=54528/tid=54530] ppid=54525 vsize=18996948 memory=0 CPUtime=6.18 cores=4,6
/proc/54528/task/54530/stat : 54530 (java) R 54525 54528 53867 0 -1 4194368 6815 0 0 0 615 3 0 0 20 0 19 0 53199778 19452874752 34066 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54539] ppid=54525 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/54528/task/54539/stat : 54539 (Finalizer) S 54525 54528 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53199780 19452874752 34066 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54546] ppid=54525 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/54528/task/54546/stat : 54546 (Common-Cleaner) S 54525 54528 53867 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 53199781 19452874752 34066 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54547] ppid=54525 vsize=18996948 memory=110204 CPUtime=0 cores=4,6
/proc/54528/task/54547/stat : 54547 (Timer-0) S 54525 54528 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 53199806 19452874752 34066 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
Current children cumulated CPU time: 7.54 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 136264 KiB

[startup+12.7001 s]
/proc/loadavg: 4.22 3.30 2.30 5/340 54547
/proc/meminfo: memFree=127326528/131250000 swapFree=33010684/33010684
[pid=54528] ppid=54525 vsize=18996948 memory=150772 CPUtime=14.08 cores=4,6
/proc/54528/stat : 54528 (java) S 54525 54528 53867 0 -1 4194304 22887 0 0 0 1403 5 0 0 20 0 19 0 53199776 19452874752 37693 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
/proc/54528/statm: 4749237 37693 5502 1 0 551668 0
[pid=54528/tid=54530] ppid=54525 vsize=18996948 memory=110204 CPUtime=12.57 cores=4,6
/proc/54528/task/54530/stat : 54530 (java) R 54525 54528 53867 0 -1 4194368 7538 0 0 0 1254 3 0 0 20 0 19 0 53199778 19452874752 37693 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54539] ppid=54525 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/54528/task/54539/stat : 54539 (Finalizer) S 54525 54528 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 53199780 19452874752 37693 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54546] ppid=54525 vsize=18996948 memory=148724 CPUtime=0 cores=4,6
/proc/54528/task/54546/stat : 54546 (Common-Cleaner) S 54525 54528 53867 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 53199781 19452874752 37693 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54547] ppid=54525 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/54528/task/54547/stat : 54547 (Timer-0) S 54525 54528 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 53199806 19452874752 37693 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
Current children cumulated CPU time: 14.08 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 150772 KiB

[startup+25.5002 s]
/proc/loadavg: 4.24 3.35 2.33 5/341 54548
/proc/meminfo: memFree=127297864/131250000 swapFree=33010684/33010684
[pid=54528] ppid=54525 vsize=19063512 memory=179960 CPUtime=26.91 cores=4,6
/proc/54528/stat : 54528 (java) S 54525 54528 53867 0 -1 4194304 25581 0 0 0 2685 6 0 0 20 0 20 0 53199776 19521036288 44990 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
/proc/54528/statm: 4765878 44990 5534 1 0 551957 0
[pid=54528/tid=54530] ppid=54525 vsize=19063512 memory=10752 CPUtime=25.32 cores=4,6
/proc/54528/task/54530/stat : 54530 (java) R 54525 54528 53867 0 -1 4194368 8195 0 0 0 2529 3 0 0 20 0 20 0 53199778 19521036288 44990 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54539] ppid=54525 vsize=19063512 memory=148724 CPUtime=0 cores=4,6
/proc/54528/task/54539/stat : 54539 (Finalizer) S 54525 54528 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53199780 19521036288 44990 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54546] ppid=54525 vsize=19063512 memory=5148 CPUtime=0 cores=4,6
/proc/54528/task/54546/stat : 54546 (Common-Cleaner) S 54525 54528 53867 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 53199781 19521036288 44990 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54547] ppid=54525 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/54528/task/54547/stat : 54547 (Timer-0) S 54525 54528 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53199806 19521036288 44990 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
Current children cumulated CPU time: 26.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179960 KiB

[startup+51.1054 s]
/proc/loadavg: 4.16 3.41 2.38 5/340 54549
/proc/meminfo: memFree=127285584/131250000 swapFree=33010684/33010684
[pid=54528] ppid=54525 vsize=19063512 memory=179960 CPUtime=52.48 cores=4,6
/proc/54528/stat : 54528 (java) S 54525 54528 53867 0 -1 4194304 26211 0 0 0 5242 6 0 0 20 0 20 0 53199776 19521036288 44990 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
/proc/54528/statm: 4765878 44990 5534 1 0 551957 0
[pid=54528/tid=54530] ppid=54525 vsize=19063512 memory=179960 CPUtime=50.87 cores=4,6
/proc/54528/task/54530/stat : 54530 (java) R 54525 54528 53867 0 -1 4194368 8557 0 0 0 5084 3 0 0 20 0 20 0 53199778 19521036288 44990 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54539] ppid=54525 vsize=19063512 memory=179960 CPUtime=0 cores=4,6

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

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/343 54859
/proc/meminfo: memFree=125049456/131250000 swapFree=33010684/33010684
[pid=54528] ppid=54525 vsize=19063512 memory=1742316 CPUtime=3277.87 cores=4,6
/proc/54528/stat : 54528 (java) S 54525 54528 53867 0 -1 4194304 65944 0 0 0 327706 81 0 0 20 0 20 0 53199776 19521036288 435579 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
/proc/54528/statm: 4765878 435579 5534 1 0 554373 0
[pid=54528/tid=54530] ppid=54525 vsize=19063512 memory=1742316 CPUtime=3272.42 cores=4,6
/proc/54528/task/54530/stat : 54530 (java) R 54525 54528 53867 0 -1 4194368 25469 0 0 0 327225 17 0 0 20 0 20 0 53199778 19521036288 435579 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54539] ppid=54525 vsize=19063512 memory=14248 CPUtime=0 cores=4,6
/proc/54528/task/54539/stat : 54539 (Finalizer) S 54525 54528 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53199780 19521036288 435579 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54546] ppid=54525 vsize=19063512 memory=1742316 CPUtime=0 cores=4,6
/proc/54528/task/54546/stat : 54546 (Common-Cleaner) S 54525 54528 53867 0 -1 4194368 796 0 0 0 0 0 0 0 20 0 20 0 53199781 19521036288 435579 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54547] ppid=54525 vsize=19063512 memory=14248 CPUtime=0 cores=4,6
/proc/54528/task/54547/stat : 54547 (Timer-0) S 54525 54528 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53199806 19521036288 435579 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
Current children cumulated CPU time: 3277.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1742316 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.07 5/343 54861
/proc/meminfo: memFree=125066844/131250000 swapFree=33010684/33010684
[pid=54528] ppid=54525 vsize=19063512 memory=1742316 CPUtime=3337.73 cores=4,6
/proc/54528/stat : 54528 (java) S 54525 54528 53867 0 -1 4194304 66411 0 0 0 333692 81 0 0 20 0 20 0 53199776 19521036288 435579 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
/proc/54528/statm: 4765878 435579 5534 1 0 554373 0
[pid=54528/tid=54530] ppid=54525 vsize=19063512 memory=1742316 CPUtime=3332.28 cores=4,6
/proc/54528/task/54530/stat : 54530 (java) R 54525 54528 53867 0 -1 4194368 25778 0 0 0 333211 17 0 0 20 0 20 0 53199778 19521036288 435579 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54539] ppid=54525 vsize=19063512 memory=1742316 CPUtime=0 cores=4,6
/proc/54528/task/54539/stat : 54539 (Finalizer) S 54525 54528 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53199780 19521036288 435579 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54546] ppid=54525 vsize=19063512 memory=21608 CPUtime=0 cores=4,6
/proc/54528/task/54546/stat : 54546 (Common-Cleaner) S 54525 54528 53867 0 -1 4194368 872 0 0 0 0 0 0 0 20 0 20 0 53199781 19521036288 435579 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54547] ppid=54525 vsize=19063512 memory=5044 CPUtime=0 cores=4,6
/proc/54528/task/54547/stat : 54547 (Timer-0) S 54525 54528 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53199806 19521036288 435579 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
Current children cumulated CPU time: 3337.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1742316 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.07 5/344 54864
/proc/meminfo: memFree=125050720/131250000 swapFree=33010684/33010684
[pid=54528] ppid=54525 vsize=19063512 memory=1742316 CPUtime=3397.61 cores=4,6
/proc/54528/stat : 54528 (java) S 54525 54528 53867 0 -1 4194304 66667 0 0 0 339679 82 0 0 20 0 20 0 53199776 19521036288 435579 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
/proc/54528/statm: 4765878 435579 5534 1 0 554373 0
[pid=54528/tid=54530] ppid=54525 vsize=19063512 memory=1742316 CPUtime=3392.14 cores=4,6
/proc/54528/task/54530/stat : 54530 (java) R 54525 54528 53867 0 -1 4194368 26005 0 0 0 339197 17 0 0 20 0 20 0 53199778 19521036288 435579 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54539] ppid=54525 vsize=19063512 memory=1742316 CPUtime=0 cores=4,6
/proc/54528/task/54539/stat : 54539 (Finalizer) S 54525 54528 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53199780 19521036288 435579 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54546] ppid=54525 vsize=19063512 memory=1742316 CPUtime=0 cores=4,6
/proc/54528/task/54546/stat : 54546 (Common-Cleaner) S 54525 54528 53867 0 -1 4194368 872 0 0 0 0 0 0 0 20 0 20 0 53199781 19521036288 435579 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54547] ppid=54525 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/54528/task/54547/stat : 54547 (Timer-0) S 54525 54528 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53199806 19521036288 435579 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
Current children cumulated CPU time: 3397.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1742316 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.08 5/342 54866
/proc/meminfo: memFree=124859972/131250000 swapFree=33010684/33010684
[pid=54528] ppid=54525 vsize=19063512 memory=1900044 CPUtime=3458.11 cores=4,6
/proc/54528/stat : 54528 (java) S 54525 54528 53867 0 -1 4194304 74297 0 0 0 345724 87 0 0 20 0 20 0 53199776 19521036288 475011 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
/proc/54528/statm: 4765878 475011 5534 1 0 556884 0
[pid=54528/tid=54530] ppid=54525 vsize=19063512 memory=1900044 CPUtime=3451.86 cores=4,6
/proc/54528/task/54530/stat : 54530 (java) R 54525 54528 53867 0 -1 4194368 31302 0 0 0 345168 18 0 0 20 0 20 0 53199778 19521036288 475011 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54539] ppid=54525 vsize=19063512 memory=1900044 CPUtime=0 cores=4,6
/proc/54528/task/54539/stat : 54539 (Finalizer) S 54525 54528 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53199780 19521036288 475011 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54546] ppid=54525 vsize=19063512 memory=5712 CPUtime=0 cores=4,6
/proc/54528/task/54546/stat : 54546 (Common-Cleaner) S 54525 54528 53867 0 -1 4194368 872 0 0 0 0 0 0 0 20 0 20 0 53199781 19521036288 475011 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54547] ppid=54525 vsize=19063512 memory=1900044 CPUtime=0 cores=4,6
/proc/54528/task/54547/stat : 54547 (Timer-0) S 54525 54528 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53199806 19521036288 475011 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
Current children cumulated CPU time: 3458.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1900044 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.08 5/341 54868
/proc/meminfo: memFree=124860176/131250000 swapFree=33010684/33010684
[pid=54528] ppid=54525 vsize=19063512 memory=1900044 CPUtime=3517.99 cores=4,6
/proc/54528/stat : 54528 (java) S 54525 54528 53867 0 -1 4194304 74990 0 0 0 351711 88 0 0 20 0 20 0 53199776 19521036288 475011 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
/proc/54528/statm: 4765878 475011 5534 1 0 556884 0
[pid=54528/tid=54530] ppid=54525 vsize=19063512 memory=3200 CPUtime=3511.71 cores=4,6
/proc/54528/task/54530/stat : 54530 (java) R 54525 54528 53867 0 -1 4194368 31887 0 0 0 351153 18 0 0 20 0 20 0 53199778 19521036288 475011 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54539] ppid=54525 vsize=19063512 memory=2892 CPUtime=0 cores=4,6
/proc/54528/task/54539/stat : 54539 (Finalizer) S 54525 54528 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53199780 19521036288 475011 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54546] ppid=54525 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/54528/task/54546/stat : 54546 (Common-Cleaner) S 54525 54528 53867 0 -1 4194368 950 0 0 0 0 0 0 0 20 0 20 0 53199781 19521036288 475011 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54547] ppid=54525 vsize=19063512 memory=1900044 CPUtime=0 cores=4,6
/proc/54528/task/54547/stat : 54547 (Timer-0) S 54525 54528 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53199806 19521036288 475011 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
Current children cumulated CPU time: 3517.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1900044 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.08 5/340 54937
/proc/meminfo: memFree=125600800/131250000 swapFree=33010684/33010684
[pid=54528] ppid=54525 vsize=19063512 memory=1900044 CPUtime=3577.83 cores=4,6
/proc/54528/stat : 54528 (java) S 54525 54528 53867 0 -1 4194304 75826 0 0 0 357695 88 0 0 20 0 20 0 53199776 19521036288 475011 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
/proc/54528/statm: 4765878 475011 5534 1 0 556884 0
[pid=54528/tid=54530] ppid=54525 vsize=19063512 memory=14248 CPUtime=3571.55 cores=4,6
/proc/54528/task/54530/stat : 54530 (java) R 54525 54528 53867 0 -1 4194368 32558 0 0 0 357137 18 0 0 20 0 20 0 53199778 19521036288 475011 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54539] ppid=54525 vsize=19063512 memory=-6000919485641746538 CPUtime=0 cores=4,6
/proc/54528/task/54539/stat : 54539 (Finalizer) S 54525 54528 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53199780 19521036288 475011 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54546] ppid=54525 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/54528/task/54546/stat : 54546 (Common-Cleaner) S 54525 54528 53867 0 -1 4194368 1026 0 0 0 0 0 0 0 20 0 20 0 53199781 19521036288 475011 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54547] ppid=54525 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/54528/task/54547/stat : 54547 (Timer-0) S 54525 54528 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53199806 19521036288 475011 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
Current children cumulated CPU time: 3577.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1900044 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.6 s]
/proc/loadavg: 4.30 4.14 4.09 5/341 54940
/proc/meminfo: memFree=125597064/131250000 swapFree=33010684/33010684
[pid=54528] ppid=54525 vsize=19063512 memory=1900044 CPUtime=3600.08 cores=4,6
/proc/54528/stat : 54528 (java) S 54525 54528 53867 0 -1 4194304 75949 0 0 0 359919 89 0 0 20 0 20 0 53199776 19521036288 475011 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
/proc/54528/statm: 4765878 475011 5534 1 0 556885 0
[pid=54528/tid=54530] ppid=54525 vsize=19063512 memory=21608 CPUtime=3593.78 cores=4,6
/proc/54528/task/54530/stat : 54530 (java) R 54525 54528 53867 0 -1 4194368 32669 0 0 0 359360 18 0 0 20 0 20 0 53199778 19521036288 475011 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54539] ppid=54525 vsize=19063512 memory=4480 CPUtime=0 cores=4,6
/proc/54528/task/54539/stat : 54539 (Finalizer) S 54525 54528 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 53199780 19521036288 475011 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54546] ppid=54525 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/54528/task/54546/stat : 54546 (Common-Cleaner) S 54525 54528 53867 0 -1 4194368 1026 0 0 0 0 0 0 0 20 0 20 0 53199781 19521036288 475011 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54547] ppid=54525 vsize=19063512 memory=1920 CPUtime=0 cores=4,6
/proc/54528/task/54547/stat : 54547 (Timer-0) S 54525 54528 53867 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 53199806 19521036288 475011 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1900044 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.4 s, system=0.904992 s

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

[startup+3604.7 s]
/proc/loadavg: 4.30 4.14 4.09 5/341 54940
/proc/meminfo: memFree=125597064/131250000 swapFree=33010684/33010684
[pid=54528] ppid=54525 vsize=19263204 memory=1900812 CPUtime=3600.28 cores=4,6
/proc/54528/stat : 54528 (java) S 54525 54528 53867 0 -1 4194304 78368 0 0 0 359939 89 0 0 20 0 21 0 53199776 19725520896 475203 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
/proc/54528/statm: 4815801 475203 5534 1 0 557841 0
[pid=54528/tid=54530] ppid=54525 vsize=19263204 memory=1900044 CPUtime=3593.85 cores=4,6
/proc/54528/task/54530/stat : 54530 (java) R 54525 54528 53867 0 -1 4194368 32808 0 0 0 359367 18 0 0 20 0 21 0 53199778 19725520896 475203 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54539] ppid=54525 vsize=19263204 memory=1900044 CPUtime=0 cores=4,6
/proc/54528/task/54539/stat : 54539 (Finalizer) S 54525 54528 53867 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 53199780 19725520896 475203 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
[pid=54528/tid=54546] ppid=54525 vsize=19263204 memory=18176 CPUtime=0 cores=4,6
/proc/54528/task/54546/stat : 54546 (Common-Cleaner) S 54525 54528 53867 0 -1 4194368 1026 0 0 0 0 0 0 0 20 0 21 0 53199781 19725520896 475203 18446744073709551615 94399713624064 94399713627760 140730509695584 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94399713635576 94399713636368 94399741243392 140730509699457 140730509699558 140730509699558 140730509705160 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1900812 KiB

Child status: 143

Real time (s): 3604.72
CPU time (s): 3600.31
CPU user time (s): 3599.4
CPU system time (s): 0.904992
CPU usage (%): 99.8775
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1900812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.4
system time used= 0.904992
maximum resident set size= 1901068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78408
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105061
involuntary context switches= 4772


# summary of solver processes directly reported to runsolver:
#   pid: 54528
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3599.4
#   total CPU system time (s): 0.904992

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.02681 second user time and 15.1627 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-07-01 15:07:12
IDJOB=4496556
IDBENCH=148119
IDSOLVER=3363
FILE ID=nodeC014/4496556-1751375232
RUNJOBID= nodeC014-1751374867-53878
SLURM_JOB_ID= 9598211
Free space on /tmp= 433000 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4496556-1751375232/watcher-4496556-1751375232 -o /tmp/evaluation-result-4496556-1751375232/solver-4496556-1751375232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751374867-53878 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4496556-1751375232.opb

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

MD5SUM BENCH= 3f61d67ec309aef8ac87c7a01b0ee309
RANDOM SEED=142362634

nodeC014 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		: 3600.117
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	: 7000.23
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.116
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	: 7000.23
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		: 3562.790
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	: 7000.23
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		: 3427.805
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	: 7000.23
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		: 3601.658
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	: 7000.23
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		: 3600.139
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	: 7000.23
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		: 3600.116
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	: 7000.23
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		: 3603.349
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	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127445716 kB
MemAvailable:   129169748 kB
Buffers:            3280 kB
Cached:          2520332 kB
SwapCached:            0 kB
Active:           943896 kB
Inactive:        2263868 kB
Active(anon):     701928 kB
Inactive(anon):        0 kB
Active(file):     241968 kB
Inactive(file):  2263868 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1040 kB
Writeback:            16 kB
AnonPages:        686952 kB
Mapped:           123768 kB
Shmem:             18068 kB
KReclaimable:     114872 kB
Slab:             204096 kB
SReclaimable:     114872 kB
SUnreclaim:        89224 kB
KernelStack:        5248 kB
PageTables:         5240 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7081416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    491520 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433000 MiB
End job on nodeC014 at 2025-07-01 16:07:17