Trace number 4497200

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)63681 3600.34 3604.35

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
MD5SUMec773b047bf21dab87650e27deaa6768
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 benchmark50769
Best CPU time to get the best result obtained on this benchmark4.19641
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3945
Total number of constraints8604
Number of constraints which are clauses8604
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 constraint59
Number of terms in the objective function 1872
Biggest coefficient in the objective function 2110
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3036193
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2110
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3036193
Number of bits of the biggest sum of numbers22
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.05/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.05/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.12	c See www.sat4j.org for details.
0.05/0.12	c version PB25.v20250606
0.05/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.05/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.05/0.13	c java.vm.version	22.0.1+8-16
0.05/0.13	c java.vm.vendor	Oracle Corporation
0.05/0.13	c sun.arch.data.model	64
0.05/0.13	c java.version		22.0.1
0.05/0.13	c os.name		Linux
0.05/0.13	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.05/0.13	c os.arch		amd64
0.05/0.13	c Free memory 		2104792832
0.05/0.13	c Max memory 		16282288128
0.05/0.14	c Total memory 		2113929216
0.05/0.14	c Number of processors 	2
0.05/0.17	c Pseudo Boolean Optimization by upper bound
0.05/0.17	c --- Begin Solver configuration ---
0.05/0.17	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.05/0.17	c Learn all clauses as in MiniSAT
0.05/0.17	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.05/0.17	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.05/0.17	c Expensive reason simplification
0.05/0.17	c Glucose 2.1 dynamic restart strategy
0.05/0.17	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.05/0.17	c timeout=2147483s
0.05/0.17	c DB Simplification allowed=false
0.05/0.17	c Listener: none
0.05/0.17	c --- End Solver configuration ---
0.05/0.17	c solving HOME/instance-4497200-1751386581.opb
0.05/0.17	c reading problem ... 
0.05/0.18	c  objective function found
0.24/0.30	c ... done. Wall clock time 0.117s.
0.24/0.30	c declared #vars     3945
0.24/0.30	c #constraints  8604
0.24/0.30	c constraints type 
0.24/0.30	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6506
0.24/0.30	c org.sat4j.specs.Constr$1 => 22
0.24/0.30	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2071
0.24/0.30	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.24/0.30	c 8604 constraints processed.
0.42/0.32	c objective function length is 1872 literals
0.42/0.36	c SATISFIABLE
0.42/0.36	c OPTIMIZING...
0.42/0.36	c Got one! Elapsed wall clock time (in seconds):0.185
0.42/0.36	o 70191
0.42/0.39	c Got one! Elapsed wall clock time (in seconds):0.216
0.42/0.39	o 68889
0.62/0.42	c Got one! Elapsed wall clock time (in seconds):0.243
0.62/0.42	o 67587
0.62/0.44	c Got one! Elapsed wall clock time (in seconds):0.265
0.62/0.44	o 66285
0.62/0.47	c Got one! Elapsed wall clock time (in seconds):0.294
0.62/0.47	o 64983
0.80/0.52	c Got one! Elapsed wall clock time (in seconds):0.349
0.80/0.52	o 63681
2.94/2.16	c cleaning 2638 clauses out of 5278 with flag 24862/5278
4.82/3.83	c cleaning 4308 clauses out of 8637 with flag 52999/11275
6.78/5.79	c cleaning 5654 clauses out of 11332 with flag 87256/18278
9.32/8.19	c cleaning 6816 clauses out of 13675 with flag 139116/26275
11.72/10.52	c cleaning 7899 clauses out of 15859 with flag 198676/35275
14.42/13.26	c cleaning 8946 clauses out of 17960 with flag 256610/45275
17.62/16.40	c cleaning 9993 clauses out of 20014 with flag 332691/56275
20.91/19.77	c cleaning 10979 clauses out of 22021 with flag 395507/68275
24.50/23.31	c cleaning 12003 clauses out of 24042 with flag 470045/81275
28.39/27.25	c cleaning 13004 clauses out of 26043 with flag 544564/95279
32.89/31.78	c cleaning 13983 clauses out of 28035 with flag 649062/110275
37.68/36.56	c cleaning 15017 clauses out of 30052 with flag 731397/126275
42.59/41.43	c cleaning 16000 clauses out of 32035 with flag 823620/143275
47.80/46.66	c cleaning 17018 clauses out of 34036 with flag 918191/161276
53.39/52.28	c cleaning 18000 clauses out of 36017 with flag 1011540/180275
59.28/58.13	c cleaning 18992 clauses out of 38017 with flag 1107117/200275
64.96/63.89	c cleaning 20001 clauses out of 40028 with flag 1205729/221278
71.25/70.17	c cleaning 21003 clauses out of 42024 with flag 1334302/243275
77.72/76.64	c cleaning 21998 clauses out of 44021 with flag 1461465/266275
85.12/83.91	c cleaning 23006 clauses out of 46023 with flag 1573765/290275
92.26/90.98	c cleaning 24007 clauses out of 48017 with flag 1677650/315275
99.35/98.05	c cleaning 24993 clauses out of 50010 with flag 1776230/341275
106.63/105.38	c cleaning 26001 clauses out of 52018 with flag 1879193/368276
114.63/113.34	c cleaning 26973 clauses out of 54016 with flag 2024218/396275
122.11/120.87	c cleaning 28018 clauses out of 56043 with flag 2156344/425275
130.41/129.10	c cleaning 28996 clauses out of 58026 with flag 2329768/455276
138.88/137.64	c cleaning 30001 clauses out of 60031 with flag 2489373/486277
147.76/146.50	c cleaning 31014 clauses out of 62028 with flag 2671135/518275
157.25/156.03	c cleaning 31975 clauses out of 64014 with flag 2857157/551275
166.82/165.64	c cleaning 33011 clauses out of 66040 with flag 3045218/585276
176.30/175.10	c cleaning 33996 clauses out of 68034 with flag 3252201/620281
186.18/185.01	c cleaning 34987 clauses out of 70032 with flag 3461936/656275
196.67/195.51	c cleaning 35987 clauses out of 72046 with flag 3675106/693276
208.04/206.97	c cleaning 37011 clauses out of 74058 with flag 3917685/731275
219.23/218.12	c cleaning 38005 clauses out of 76047 with flag 4166356/770275
230.50/229.43	c cleaning 39005 clauses out of 78042 with flag 4459612/810275
242.99/241.99	c cleaning 40007 clauses out of 80037 with flag 4714373/851275
255.66/254.60	c cleaning 40968 clauses out of 82030 with flag 4983520/893275
268.53/267.55	c cleaning 42011 clauses out of 84062 with flag 5244592/936275
281.15/280.14	c cleaning 43001 clauses out of 86051 with flag 5514467/980275
294.12/293.18	c cleaning 44010 clauses out of 88053 with flag 5793629/1025278
306.68/305.70	c cleaning 44996 clauses out of 90041 with flag 6032086/1071276
319.45/318.52	c cleaning 46002 clauses out of 92044 with flag 6269938/1118275
333.24/332.32	c cleaning 46996 clauses out of 94042 with flag 6533111/1166275
347.91/347.06	c cleaning 47994 clauses out of 96046 with flag 6823544/1215275
362.68/361.84	c cleaning 49009 clauses out of 98052 with flag 7114585/1265275
378.07/377.25	c cleaning 50012 clauses out of 100043 with flag 7417237/1316275
393.73/393.00	c cleaning 51011 clauses out of 102031 with flag 7778465/1368275
409.60/408.88	c cleaning 52005 clauses out of 104020 with flag 8062855/1421275
425.70/424.98	c cleaning 52992 clauses out of 106015 with flag 8398823/1475275
442.06/441.33	c cleaning 54012 clauses out of 108024 with flag 8724232/1530276
458.17/457.45	c cleaning 55004 clauses out of 110012 with flag 8987479/1586276
473.53/472.83	c cleaning 55990 clauses out of 112007 with flag 9246519/1643275
489.79/489.16	c cleaning 56998 clauses out of 114017 with flag 9505047/1701275
507.97/507.38	c cleaning 58006 clauses out of 116019 with flag 9820265/1760275
526.13/525.59	c cleaning 59007 clauses out of 118013 with flag 10093703/1820275
544.29/543.79	c cleaning 59979 clauses out of 120006 with flag 10375328/1881275
563.38/562.86	c cleaning 60973 clauses out of 122027 with flag 10690423/1943275
582.73/582.25	c cleaning 62015 clauses out of 124054 with flag 11023412/2006275
601.79/601.37	c cleaning 63016 clauses out of 126039 with flag 11431279/2070275
621.68/621.24	c cleaning 64002 clauses out of 128024 with flag 11770491/2135276
642.13/641.74	c cleaning 64972 clauses out of 130021 with flag 12147863/2201275
662.58/662.25	c cleaning 66020 clauses out of 132049 with flag 12534985/2268275
682.98/682.66	c cleaning 67005 clauses out of 134029 with flag 12934303/2336275
703.43/703.12	c cleaning 67972 clauses out of 136024 with flag 13315526/2405275
724.88/724.67	c cleaning 69016 clauses out of 138052 with flag 13759354/2475275
746.23/746.01	c cleaning 69973 clauses out of 140037 with flag 14120662/2546276
767.73/767.58	c cleaning 71026 clauses out of 142065 with flag 14503967/2618277
789.98/789.83	c cleaning 71996 clauses out of 144037 with flag 14856921/2691275
810.74/810.64	c cleaning 73010 clauses out of 146041 with flag 15215173/2765275
831.89/831.81	c cleaning 73992 clauses out of 148032 with flag 15595693/2840276
853.59/853.53	c cleaning 75014 clauses out of 150039 with flag 15983963/2916275
875.34/875.30	c cleaning 75991 clauses out of 152025 with flag 16376564/2993275
898.09/898.11	c cleaning 77008 clauses out of 154035 with flag 16735639/3071276
921.04/921.11	c cleaning 77986 clauses out of 156026 with flag 17095203/3150275
944.18/944.31	c cleaning 79003 clauses out of 158040 with flag 17499283/3230275
966.68/966.89	c cleaning 80012 clauses out of 160038 with flag 17936496/3311276
990.63/990.82	c cleaning 81012 clauses out of 162025 with flag 18360615/3393275
1014.58/1014.84	c cleaning 82000 clauses out of 164013 with flag 18789642/3476275
1038.62/1038.90	c cleaning 83001 clauses out of 166014 with flag 19216279/3560276
1062.86/1063.29	c cleaning 84001 clauses out of 168012 with flag 19733376/3645275
1087.91/1088.22	c cleaning 84983 clauses out of 170011 with flag 20240194/3731275
1114.15/1114.52	c cleaning 85987 clauses out of 172028 with flag 20732465/3818275
1139.60/1140.00	c cleaning 87002 clauses out of 174041 with flag 21218056/3906275
1165.54/1166.05	c cleaning 87999 clauses out of 176039 with flag 21748594/3995275
1191.77/1192.30	c cleaning 88998 clauses out of 178040 with flag 22275386/4085275
1218.00/1218.55	c cleaning 89997 clauses out of 180042 with flag 22766109/4176275
1244.44/1245.01	c cleaning 91009 clauses out of 182045 with flag 23228799/4268275
1270.77/1271.43	c cleaning 92019 clauses out of 184037 with flag 23711198/4361276
1297.51/1298.25	c cleaning 92998 clauses out of 186017 with flag 24194128/4455275
1324.84/1325.64	c cleaning 93980 clauses out of 188019 with flag 24622017/4550275
1352.44/1352.92	c cleaning 95009 clauses out of 190039 with flag 25082995/4646275
1379.69/1380.25	c cleaning 95972 clauses out of 192030 with flag 25561697/4743275
1408.72/1409.39	c cleaning 97012 clauses out of 194058 with flag 26113277/4841275
1439.94/1440.67	c cleaning 97990 clauses out of 196046 with flag 26745430/4940275
1469.98/1470.70	c cleaning 99024 clauses out of 198056 with flag 27349769/5040275
1500.80/1501.61	c cleaning 99997 clauses out of 200033 with flag 27908975/5141276
1532.64/1533.42	c cleaning 100998 clauses out of 202035 with flag 28448725/5243275
1562.88/1563.70	c cleaning 101988 clauses out of 204039 with flag 28975539/5346277
1594.00/1594.96	c cleaning 103016 clauses out of 206049 with flag 29542657/5450275
1624.83/1625.83	c cleaning 104001 clauses out of 208033 with flag 30110474/5555275
1656.16/1657.25	c cleaning 105001 clauses out of 210032 with flag 30710359/5661275
1686.89/1687.93	c cleaning 105976 clauses out of 212031 with flag 31264159/5768275
1718.61/1719.79	c cleaning 107028 clauses out of 214057 with flag 31885254/5876277
1751.24/1752.43	c cleaning 107998 clauses out of 216027 with flag 32514142/5985275
1784.07/1785.32	c cleaning 109007 clauses out of 218029 with flag 33089454/6095275
1815.89/1817.26	c cleaning 110008 clauses out of 220024 with flag 33652099/6206277
1849.11/1850.42	c cleaning 110964 clauses out of 222014 with flag 34182435/6318275
1881.53/1882.91	c cleaning 112000 clauses out of 224051 with flag 34779105/6431276
1914.96/1916.47	c cleaning 113022 clauses out of 226050 with flag 35383125/6545275
1948.88/1950.48	c cleaning 113990 clauses out of 228028 with flag 36016364/6660275
1982.10/1983.71	c cleaning 115008 clauses out of 230040 with flag 36580845/6776277
2017.80/2019.41	c cleaning 115978 clauses out of 232030 with flag 37179522/6893275
2054.31/2056.07	c cleaning 117004 clauses out of 234052 with flag 37796019/7011275
2089.72/2091.58	c cleaning 117999 clauses out of 236048 with flag 38424830/7130275
2126.04/2127.92	c cleaning 119004 clauses out of 238049 with flag 39068197/7250275
2162.07/2164.03	c cleaning 120008 clauses out of 240045 with flag 39786987/7371275
2198.29/2200.28	c cleaning 121004 clauses out of 242037 with flag 40443825/7493275
2236.30/2238.33	c cleaning 121995 clauses out of 244033 with flag 41141939/7616275
2274.81/2276.99	c cleaning 123009 clauses out of 246039 with flag 41871675/7740276
2310.93/2313.11	c cleaning 123997 clauses out of 248029 with flag 42556663/7865275
2347.55/2349.87	c cleaning 125008 clauses out of 250032 with flag 43264936/7991275
2384.36/2386.74	c cleaning 126000 clauses out of 252024 with flag 43939300/8118275
2424.24/2426.68	c cleaning 126987 clauses out of 254026 with flag 44637703/8246277
2460.95/2463.43	c cleaning 127985 clauses out of 256037 with flag 45303843/8375275
2497.77/2500.33	c cleaning 129005 clauses out of 258052 with flag 45974342/8505275
2535.68/2538.31	c cleaning 130009 clauses out of 260049 with flag 46617335/8636277
2571.79/2574.52	c cleaning 131010 clauses out of 262038 with flag 47278385/8768275
2610.32/2612.51	c cleaning 131990 clauses out of 264028 with flag 47944328/8901275
2650.53/2652.87	c cleaning 133014 clauses out of 266038 with flag 48649814/9035275
2692.43/2694.89	c cleaning 134010 clauses out of 268025 with flag 49396813/9170276
2733.34/2735.86	c cleaning 134960 clauses out of 270016 with flag 50077947/9306277
2774.05/2776.69	c cleaning 136023 clauses out of 272054 with flag 50833951/9443275
2815.70/2818.38	c cleaning 136991 clauses out of 274031 with flag 51573139/9581275
2857.81/2860.50	c cleaning 138010 clauses out of 276040 with flag 52321791/9720275
2899.91/2902.78	c cleaning 138952 clauses out of 278033 with flag 53087186/9860278
2942.52/2945.42	c cleaning 140034 clauses out of 280078 with flag 53866574/10001275
2985.41/2988.45	c cleaning 140998 clauses out of 282044 with flag 54650374/10143275
3027.51/3030.61	c cleaning 142011 clauses out of 284046 with flag 55536323/10286275
3072.93/3076.00	c cleaning 142982 clauses out of 286035 with flag 56380616/10430275
3118.43/3121.65	c cleaning 144026 clauses out of 288053 with flag 57218826/10575275
3162.03/3165.36	c cleaning 145003 clauses out of 290027 with flag 58127076/10721275
3205.93/3209.39	c cleaning 145975 clauses out of 292024 with flag 58937889/10868275
3250.72/3254.25	c cleaning 147003 clauses out of 294049 with flag 59800159/11016275
3293.44/3297.07	c cleaning 148011 clauses out of 296047 with flag 60596889/11165276
3339.13/3342.81	c cleaning 149018 clauses out of 298035 with flag 61404287/11315275
3383.45/3387.10	c cleaning 150002 clauses out of 300017 with flag 62278048/11466275
3430.35/3434.15	c cleaning 150992 clauses out of 302016 with flag 63117808/11618276
3475.83/3479.70	c cleaning 152006 clauses out of 304023 with flag 63988472/11771275
3520.73/3524.76	c cleaning 152975 clauses out of 306017 with flag 64806556/11925275
3566.33/3570.41	c cleaning 154014 clauses out of 308042 with flag 65581634/12080275
3600.06/3604.21	c starts		: 12692
3600.06/3604.22	c conflicts		: 12195356
3600.06/3604.22	c decisions		: 126808496
3600.06/3604.22	c propagations		: 20824267152
3600.06/3604.22	c inspects		: 21947865900
3600.06/3604.22	c shortcuts		: 0
3600.06/3604.22	c learnt literals	: 0
3600.06/3604.22	c learnt binary clauses	: 1
3600.06/3604.22	c learnt ternary clauses	: 4
3600.06/3604.22	c learnt constraints	: 12195356
3600.06/3604.22	c ignored constraints	: 0
3600.06/3604.22	c root simplifications	: 0
3600.06/3604.23	c removed literals (reason simplification)	: 62256889
3600.06/3604.23	c reason swapping (by a shorter reason)	: 0
3600.06/3604.23	c Calls to reduceDB	: 151
3600.06/3604.23	c Number of update (reduction) of LBD	: 7648991
3600.06/3604.23	c Imported unit clauses	: 0
3600.06/3604.23	c No decision after first conflict	: false
3600.06/3604.23	c number of reductions to clauses (during analyze)	: 0
3600.06/3604.23	c number of learned constraints concerned by reduction	: 0
3600.06/3604.23	c number of learning phase by resolution	: 0
3600.06/3604.23	c number of learning phase by cutting planes	: 0
3600.06/3604.23	c number of rounding to 1 operations	: 0
3600.06/3604.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3604.23	c number of reductions of the coefficients by power 2 	: 0
3600.06/3604.23	c number of right shift for reduction by power 2 	: 0
3600.06/3604.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3604.23	c number of ending skipping 	: 0
3600.06/3604.23	c number of internal skipping 	: 0
3600.06/3604.23	c number of derivation steps 	: 0
3600.06/3604.23	c number of skipped derivation steps 	: 0
3600.06/3604.23	c number of remaining unassigned 	: 0
3600.06/3604.23	c number of remaining assigned 	: 0
3600.06/3604.23	c number of falsified literals weakened from reason	: 0
3600.06/3604.23	c number of falsified literals weakened from conflict	: 0
3600.06/3604.23	c time for arithmetic operations	: 0
3600.06/3604.24	c minimum degree of deleted constraints	: null
3600.06/3604.24	c maximum degree of deleted constraints	: null
3600.06/3604.24	c number of deleted constraints	: 0
3600.06/3604.24	c speed (assignments/second)	: 5778250.856224013
3600.06/3604.24	c non guided choices	: 0
3600.25/3604.30	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 269108
3600.25/3604.30	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1
3600.25/3604.30	s SATISFIABLE
3600.25/3604.30	c Found 6 solution(s)
3600.25/3604.32	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 
3600.25/3604.33	c objective function=63681
3600.25/3604.34	c Total wall clock time (in seconds): 3604.16

Verifier Data 

OK	63681

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497200-1751386581/watcher-4497200-1751386581 -o /tmp/evaluation-result-4497200-1751386581/solver-4497200-1751386581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751386581-53808 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4497200-1751386581.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=53859, runsolver pid=53850

[startup+0.10006 s]*
/proc/loadavg: 0.55 1.63 2.64 10/331 53936
/proc/meminfo: memFree=129727488/131249996 swapFree=33010160/33010684
[pid=53859] ppid=53850 vsize=18930384 memory=48316 CPUtime=0.05 cores=0,2
/proc/53859/stat : 53859 (java) S 53850 53859 53798 0 -1 4194304 5685 0 199 0 3 2 0 0 20 0 18 0 54336520 19384713216 12079 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
/proc/53859/statm: 4732596 12079 5271 1 0 547009 0
[pid=53859/tid=53869] ppid=53850 vsize=18930384 memory=4026532124 CPUtime=0.03 cores=0,2
/proc/53859/task/53869/stat : 53869 (java) R 53850 53859 53798 0 -1 4194368 4576 0 194 0 2 1 0 0 20 0 18 0 54336524 19384713216 12079 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53905] ppid=53850 vsize=18930384 memory=2641 CPUtime=0 cores=0,2
/proc/53859/task/53905/stat : 53905 (Finalizer) S 53850 53859 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54336527 19384713216 12079 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53936] ppid=53850 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/53859/task/53936/stat : 53936 (Common-Cleaner) S 53850 53859 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 54336528 19384713216 12079 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48316 KiB

[startup+0.20557 s]*
/proc/loadavg: 0.55 1.63 2.64 13/331 53936
/proc/meminfo: memFree=129691640/131249996 swapFree=33010160/33010684
[pid=53859] ppid=53850 vsize=18930384 memory=61356 CPUtime=0.24 cores=0,2
/proc/53859/stat : 53859 (java) S 53850 53859 53798 0 -1 4194304 6776 0 199 0 21 3 0 0 20 0 18 0 54336520 19384713216 15339 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
/proc/53859/statm: 4732596 15339 5399 1 0 547836 0
[pid=53859/tid=53869] ppid=53850 vsize=18930384 memory=4026663196 CPUtime=0.12 cores=0,2
/proc/53859/task/53869/stat : 53869 (java) R 53850 53859 53798 0 -1 4194368 5128 0 194 0 11 1 0 0 20 0 18 0 54336524 19384713216 15339 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53905] ppid=53850 vsize=18930384 memory=2641 CPUtime=0 cores=0,2
/proc/53859/task/53905/stat : 53905 (Finalizer) S 53850 53859 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54336527 19384713216 15339 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53936] ppid=53850 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/53859/task/53936/stat : 53936 (Common-Cleaner) S 53850 53859 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 54336528 19384713216 15339 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61356 KiB

[startup+0.305531 s]*
/proc/loadavg: 0.55 1.63 2.64 8/313 53940
/proc/meminfo: memFree=129681704/131249996 swapFree=33010160/33010684
[pid=53859] ppid=53850 vsize=18930384 memory=82660 CPUtime=0.42 cores=0,2
/proc/53859/stat : 53859 (java) S 53850 53859 53798 0 -1 4194304 8634 0 199 0 39 3 0 0 20 0 18 0 54336520 19384713216 20665 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
/proc/53859/statm: 4732596 20665 5399 1 0 549036 0
[pid=53859/tid=53869] ppid=53850 vsize=18930384 memory=-6000919502771087722 CPUtime=0.2 cores=0,2
/proc/53859/task/53869/stat : 53869 (java) R 53850 53859 53798 0 -1 4194368 5180 0 194 0 18 2 0 0 20 0 18 0 54336524 19384713216 20665 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53905] ppid=53850 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/53859/task/53905/stat : 53905 (Finalizer) S 53850 53859 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54336527 19384713216 20665 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53936] ppid=53850 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/53859/task/53936/stat : 53936 (Common-Cleaner) S 53850 53859 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 54336528 19384713216 20665 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 82660 KiB

[startup+0.700213 s]
/proc/loadavg: 0.55 1.63 2.64 8/313 53950
/proc/meminfo: memFree=129638192/131249996 swapFree=33010160/33010684
[pid=53859] ppid=53850 vsize=18996948 memory=96936 CPUtime=1.18 cores=0,2
/proc/53859/stat : 53859 (java) S 53850 53859 53798 0 -1 4194304 10458 0 199 0 113 5 0 0 20 0 19 0 54336520 19452874752 24234 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
/proc/53859/statm: 4749237 24234 5431 1 0 550562 0
[pid=53859/tid=53869] ppid=53850 vsize=18996948 memory=17792 CPUtime=0.51 cores=0,2
/proc/53859/task/53869/stat : 53869 (java) R 53850 53859 53798 0 -1 4194368 5275 0 194 0 49 2 0 0 20 0 19 0 54336524 19452874752 24234 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53905] ppid=53850 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/53859/task/53905/stat : 53905 (Finalizer) S 53850 53859 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54336527 19452874752 24234 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53936] ppid=53850 vsize=18996948 memory=21996 CPUtime=0 cores=0,2
/proc/53859/task/53936/stat : 53936 (Common-Cleaner) S 53850 53859 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 54336528 19452874752 24234 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53941] ppid=53850 vsize=18996948 memory=4352 CPUtime=0 cores=0,2
/proc/53859/task/53941/stat : 53941 (Timer-0) S 53850 53859 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54336553 19452874752 24234 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 96936 KiB

[startup+1.50018 s]
/proc/loadavg: 0.55 1.63 2.64 7/313 53950
/proc/meminfo: memFree=129623320/131249996 swapFree=33010160/33010684
[pid=53859] ppid=53850 vsize=18996948 memory=99744 CPUtime=2.18 cores=0,2
/proc/53859/stat : 53859 (java) S 53850 53859 53798 0 -1 4194304 10964 0 199 0 212 6 0 0 20 0 19 0 54336520 19452874752 24936 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
/proc/53859/statm: 4749237 24936 5431 1 0 550694 0
[pid=53859/tid=53869] ppid=53850 vsize=18996948 memory=0 CPUtime=1.3 cores=0,2
/proc/53859/task/53869/stat : 53869 (java) R 53850 53859 53798 0 -1 4194368 5410 0 194 0 127 3 0 0 20 0 19 0 54336524 19452874752 24936 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53905] ppid=53850 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/53859/task/53905/stat : 53905 (Finalizer) S 53850 53859 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54336527 19452874752 24936 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53936] ppid=53850 vsize=18996948 memory=21996 CPUtime=0 cores=0,2
/proc/53859/task/53936/stat : 53936 (Common-Cleaner) S 53850 53859 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 54336528 19452874752 24936 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53941] ppid=53850 vsize=18996948 memory=4352 CPUtime=0 cores=0,2
/proc/53859/task/53941/stat : 53941 (Timer-0) S 53850 53859 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54336553 19452874752 24936 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
Current children cumulated CPU time: 2.18 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 99744 KiB

[startup+3.10532 s]
/proc/loadavg: 0.55 1.63 2.64 7/335 54005
/proc/meminfo: memFree=129431288/131249996 swapFree=33010160/33010684
[pid=53859] ppid=53850 vsize=18996948 memory=105012 CPUtime=4.11 cores=0,2
/proc/53859/stat : 53859 (java) S 53850 53859 53798 0 -1 4194304 16095 0 199 0 404 7 0 0 20 0 19 0 54336520 19452874752 26253 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
/proc/53859/statm: 4749237 26253 5431 1 0 550883 0
[pid=53859/tid=53869] ppid=53850 vsize=18996948 memory=10752 CPUtime=2.87 cores=0,2
/proc/53859/task/53869/stat : 53869 (java) R 53850 53859 53798 0 -1 4194368 6476 0 194 0 284 3 0 0 20 0 19 0 54336524 19452874752 26253 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53905] ppid=53850 vsize=18996948 memory=-6000919507066055018 CPUtime=0 cores=0,2
/proc/53859/task/53905/stat : 53905 (Finalizer) S 53850 53859 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54336527 19452874752 26253 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53936] ppid=53850 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/53859/task/53936/stat : 53936 (Common-Cleaner) S 53850 53859 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 54336528 19452874752 26253 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53941] ppid=53850 vsize=18996948 memory=21996 CPUtime=0 cores=0,2
/proc/53859/task/53941/stat : 53941 (Timer-0) S 53850 53859 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54336553 19452874752 26253 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
Current children cumulated CPU time: 4.11 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 105012 KiB

[startup+6.30014 s]
/proc/loadavg: 0.99 1.70 2.66 6/336 54006
/proc/meminfo: memFree=129063000/131249996 swapFree=33010160/33010684
[pid=53859] ppid=53850 vsize=18996948 memory=107616 CPUtime=7.38 cores=0,2
/proc/53859/stat : 53859 (java) S 53850 53859 53798 0 -1 4194304 20110 0 199 0 730 8 0 0 20 0 19 0 54336520 19452874752 26904 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
/proc/53859/statm: 4749237 26904 5431 1 0 551038 0
[pid=53859/tid=53869] ppid=53850 vsize=18996948 memory=0 CPUtime=6.05 cores=0,2
/proc/53859/task/53869/stat : 53869 (java) R 53850 53859 53798 0 -1 4194368 7111 0 194 0 602 3 0 0 20 0 19 0 54336524 19452874752 26904 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53905] ppid=53850 vsize=18996948 memory=21996 CPUtime=0 cores=0,2
/proc/53859/task/53905/stat : 53905 (Finalizer) S 53850 53859 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54336527 19452874752 26904 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53936] ppid=53850 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/53859/task/53936/stat : 53936 (Common-Cleaner) S 53850 53859 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 54336528 19452874752 26904 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53941] ppid=53850 vsize=18996948 memory=14976 CPUtime=0 cores=0,2
/proc/53859/task/53941/stat : 53941 (Timer-0) S 53850 53859 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54336553 19452874752 26904 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
Current children cumulated CPU time: 7.38 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 107616 KiB

[startup+12.7001 s]
/proc/loadavg: 1.23 1.74 2.67 5/336 54006
/proc/meminfo: memFree=129009364/131249996 swapFree=33010160/33010684
[pid=53859] ppid=53850 vsize=18996948 memory=121776 CPUtime=13.92 cores=0,2
/proc/53859/stat : 53859 (java) S 53850 53859 53798 0 -1 4194304 25633 0 199 0 1383 9 0 0 20 0 19 0 54336520 19452874752 30444 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
/proc/53859/statm: 4749237 30444 5431 1 0 551703 0
[pid=53859/tid=53869] ppid=53850 vsize=18996948 memory=119728 CPUtime=12.44 cores=0,2
/proc/53859/task/53869/stat : 53869 (java) R 53850 53859 53798 0 -1 4194368 7685 0 194 0 1240 4 0 0 20 0 19 0 54336524 19452874752 30444 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53905] ppid=53850 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/53859/task/53905/stat : 53905 (Finalizer) S 53850 53859 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54336527 19452874752 30444 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53936] ppid=53850 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/53859/task/53936/stat : 53936 (Common-Cleaner) S 53850 53859 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 54336528 19452874752 30444 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53941] ppid=53850 vsize=18996948 memory=-6000919507066055018 CPUtime=0 cores=0,2
/proc/53859/task/53941/stat : 53941 (Timer-0) S 53850 53859 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54336553 19452874752 30444 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
Current children cumulated CPU time: 13.92 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 121776 KiB

[startup+25.5002 s]
/proc/loadavg: 1.91 1.87 2.70 5/337 54007
/proc/meminfo: memFree=128919300/131249996 swapFree=33010160/33010684
[pid=53859] ppid=53850 vsize=18996948 memory=148528 CPUtime=26.7 cores=0,2
/proc/53859/stat : 53859 (java) S 53850 53859 53798 0 -1 4194304 27555 0 199 0 2660 10 0 0 20 0 19 0 54336520 19452874752 37132 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
/proc/53859/statm: 4749237 37132 5463 1 0 551703 0
[pid=53859/tid=53869] ppid=53850 vsize=18996948 memory=119728 CPUtime=25.2 cores=0,2
/proc/53859/task/53869/stat : 53869 (java) R 53850 53859 53798 0 -1 4194368 8801 0 194 0 2516 4 0 0 20 0 19 0 54336524 19452874752 37132 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53905] ppid=53850 vsize=18996948 memory=-6000919507066055018 CPUtime=0 cores=0,2
/proc/53859/task/53905/stat : 53905 (Finalizer) S 53850 53859 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54336527 19452874752 37132 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53936] ppid=53850 vsize=18996948 memory=138288 CPUtime=0 cores=0,2
/proc/53859/task/53936/stat : 53936 (Common-Cleaner) S 53850 53859 53798 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 54336528 19452874752 37132 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53941] ppid=53850 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/53859/task/53941/stat : 53941 (Timer-0) S 53850 53859 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54336553 19452874752 37132 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
Current children cumulated CPU time: 26.7 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 148528 KiB

[startup+51.1048 s]
/proc/loadavg: 2.62 2.04 2.73 5/340 54011
/proc/meminfo: memFree=128845312/131249996 swapFree=33010160/33010684
[pid=53859] ppid=53850 vsize=19063512 memory=177768 CPUtime=52.3 cores=0,2
/proc/53859/stat : 53859 (java) S 53850 53859 53798 0 -1 4194304 29109 0 199 0 5219 11 0 0 20 0 20 0 54336520 19521036288 44442 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
/proc/53859/statm: 4765878 44442 5495 1 0 551992 0
[pid=53859/tid=53869] ppid=53850 vsize=19063512 memory=164 CPUtime=50.73 cores=0,2
/proc/53859/task/53869/stat : 53869 (java) R 53850 53859 53798 0 -1 4194368 8833 0 194 0 5068 5 0 0 20 0 20 0 54336524 19521036288 44442 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53905] ppid=53850 vsize=19063512 memory=21996 CPUtime=0 cores=0,2
/proc/53859/task/53905/stat : 53905 (Finalizer) S 53850 53859 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 44442 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0

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

[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/340 54177
/proc/meminfo: memFree=123360456/131249996 swapFree=33010160/33010684
[pid=53859] ppid=53850 vsize=19063512 memory=1888052 CPUtime=3278.76 cores=0,2
/proc/53859/stat : 53859 (java) S 53850 53859 53798 0 -1 4194304 80177 0 199 0 327792 84 0 0 20 0 20 0 54336520 19521036288 472013 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
/proc/53859/statm: 4765878 472013 5527 1 0 559053 0
[pid=53859/tid=53869] ppid=53850 vsize=19063512 memory=1888052 CPUtime=3272.05 cores=0,2
/proc/53859/task/53869/stat : 53869 (java) R 53850 53859 53798 0 -1 4194368 31428 0 194 0 327195 10 0 0 20 0 20 0 54336524 19521036288 472013 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53905] ppid=53850 vsize=19063512 memory=1888052 CPUtime=0 cores=0,2
/proc/53859/task/53905/stat : 53905 (Finalizer) S 53850 53859 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 472013 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53936] ppid=53850 vsize=19063512 memory=1888052 CPUtime=0 cores=0,2
/proc/53859/task/53936/stat : 53936 (Common-Cleaner) S 53850 53859 53798 0 -1 4194368 956 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 472013 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53941] ppid=53850 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/53859/task/53941/stat : 53941 (Timer-0) S 53850 53859 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336553 19521036288 472013 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
Current children cumulated CPU time: 3278.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1888052 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/341 54180
/proc/meminfo: memFree=123356704/131249996 swapFree=33010160/33010684
[pid=53859] ppid=53850 vsize=19063512 memory=1888052 CPUtime=3338.63 cores=0,2
/proc/53859/stat : 53859 (java) S 53850 53859 53798 0 -1 4194304 81114 0 199 0 333777 86 0 0 20 0 20 0 54336520 19521036288 472013 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
/proc/53859/statm: 4765878 472013 5527 1 0 559058 0
[pid=53859/tid=53869] ppid=53850 vsize=19063512 memory=1888052 CPUtime=3331.91 cores=0,2
/proc/53859/task/53869/stat : 53869 (java) R 53850 53859 53798 0 -1 4194368 32168 0 194 0 333180 11 0 0 20 0 20 0 54336524 19521036288 472013 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53905] ppid=53850 vsize=19063512 memory=1888052 CPUtime=0 cores=0,2
/proc/53859/task/53905/stat : 53905 (Finalizer) S 53850 53859 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 472013 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53936] ppid=53850 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/53859/task/53936/stat : 53936 (Common-Cleaner) S 53850 53859 53798 0 -1 4194368 1061 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 472013 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53941] ppid=53850 vsize=19063512 memory=1888052 CPUtime=0 cores=0,2
/proc/53859/task/53941/stat : 53941 (Timer-0) S 53850 53859 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336553 19521036288 472013 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
Current children cumulated CPU time: 3338.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1888052 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/341 54186
/proc/meminfo: memFree=123294432/131249996 swapFree=33010160/33010684
[pid=53859] ppid=53850 vsize=19063512 memory=1945468 CPUtime=3398.61 cores=0,2
/proc/53859/stat : 53859 (java) S 53850 53859 53798 0 -1 4194304 82214 0 199 0 339774 87 0 0 20 0 20 0 54336520 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
/proc/53859/statm: 4765878 486367 5527 1 0 559058 0
[pid=53859/tid=53869] ppid=53850 vsize=19063512 memory=1888052 CPUtime=3391.63 cores=0,2
/proc/53859/task/53869/stat : 53869 (java) R 53850 53859 53798 0 -1 4194368 32706 0 194 0 339152 11 0 0 20 0 20 0 54336524 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53905] ppid=53850 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/53859/task/53905/stat : 53905 (Finalizer) S 53850 53859 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53936] ppid=53850 vsize=19063512 memory=1945468 CPUtime=0 cores=0,2
/proc/53859/task/53936/stat : 53936 (Common-Cleaner) S 53850 53859 53798 0 -1 4194368 1165 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53941] ppid=53850 vsize=19063512 memory=1945468 CPUtime=0 cores=0,2
/proc/53859/task/53941/stat : 53941 (Timer-0) S 53850 53859 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336553 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
Current children cumulated CPU time: 3398.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1945468 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/341 54188
/proc/meminfo: memFree=123229856/131249996 swapFree=33010160/33010684
[pid=53859] ppid=53850 vsize=19063512 memory=1945468 CPUtime=3458.48 cores=0,2
/proc/53859/stat : 53859 (java) S 53850 53859 53798 0 -1 4194304 82540 0 199 0 345760 88 0 0 20 0 20 0 54336520 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
/proc/53859/statm: 4765878 486367 5527 1 0 559058 0
[pid=53859/tid=53869] ppid=53850 vsize=19063512 memory=1888052 CPUtime=3451.48 cores=0,2
/proc/53859/task/53869/stat : 53869 (java) R 53850 53859 53798 0 -1 4194368 32996 0 194 0 345137 11 0 0 20 0 20 0 54336524 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53905] ppid=53850 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/53859/task/53905/stat : 53905 (Finalizer) S 53850 53859 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53936] ppid=53850 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/53859/task/53936/stat : 53936 (Common-Cleaner) S 53850 53859 53798 0 -1 4194368 1166 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53941] ppid=53850 vsize=19063512 memory=1945468 CPUtime=0 cores=0,2
/proc/53859/task/53941/stat : 53941 (Timer-0) S 53850 53859 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336553 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
Current children cumulated CPU time: 3458.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1945468 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/341 54190
/proc/meminfo: memFree=123142960/131249996 swapFree=33010160/33010684
[pid=53859] ppid=53850 vsize=19063512 memory=1945468 CPUtime=3518.34 cores=0,2
/proc/53859/stat : 53859 (java) S 53850 53859 53798 0 -1 4194304 82763 0 199 0 351745 89 0 0 20 0 20 0 54336520 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
/proc/53859/statm: 4765878 486367 5527 1 0 559058 0
[pid=53859/tid=53869] ppid=53850 vsize=19063512 memory=4252 CPUtime=3511.33 cores=0,2
/proc/53859/task/53869/stat : 53869 (java) R 53850 53859 53798 0 -1 4194368 33189 0 194 0 351122 11 0 0 20 0 20 0 54336524 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53905] ppid=53850 vsize=19063512 memory=1945468 CPUtime=0 cores=0,2
/proc/53859/task/53905/stat : 53905 (Finalizer) S 53850 53859 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53936] ppid=53850 vsize=19063512 memory=14976 CPUtime=0 cores=0,2
/proc/53859/task/53936/stat : 53936 (Common-Cleaner) S 53850 53859 53798 0 -1 4194368 1166 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53941] ppid=53850 vsize=19063512 memory=46336 CPUtime=0 cores=0,2
/proc/53859/task/53941/stat : 53941 (Timer-0) S 53850 53859 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336553 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
Current children cumulated CPU time: 3518.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1945468 KiB

[startup+3582.3 s]
/proc/loadavg: 4.29 4.17 4.10 5/340 54192
/proc/meminfo: memFree=123057752/131249996 swapFree=33010160/33010684
[pid=53859] ppid=53850 vsize=19063512 memory=1945468 CPUtime=3578.21 cores=0,2
/proc/53859/stat : 53859 (java) S 53850 53859 53798 0 -1 4194304 83800 0 199 0 357731 90 0 0 20 0 20 0 54336520 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
/proc/53859/statm: 4765878 486367 5527 1 0 559058 0
[pid=53859/tid=53869] ppid=53850 vsize=19063512 memory=14976 CPUtime=3571.18 cores=0,2
/proc/53859/task/53869/stat : 53869 (java) R 53850 53859 53798 0 -1 4194368 34101 0 194 0 357107 11 0 0 20 0 20 0 54336524 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53905] ppid=53850 vsize=19063512 memory=17792 CPUtime=0 cores=0,2
/proc/53859/task/53905/stat : 53905 (Finalizer) S 53850 53859 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53936] ppid=53850 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/53859/task/53936/stat : 53936 (Common-Cleaner) S 53850 53859 53798 0 -1 4194368 1241 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53941] ppid=53850 vsize=19063512 memory=1945468 CPUtime=0 cores=0,2
/proc/53859/task/53941/stat : 53941 (Timer-0) S 53850 53859 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336553 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
Current children cumulated CPU time: 3578.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1945468 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.2 s]
/proc/loadavg: 4.21 4.16 4.10 4/316 54204
/proc/meminfo: memFree=125154628/131249996 swapFree=33010160/33010684
[pid=53859] ppid=53850 vsize=19063512 memory=1945468 CPUtime=3600.06 cores=0,2
/proc/53859/stat : 53859 (java) S 53850 53859 53798 0 -1 4194304 83927 0 199 0 359916 90 0 0 20 0 20 0 54336520 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
/proc/53859/statm: 4765878 486367 5527 1 0 559058 0
[pid=53859/tid=53869] ppid=53850 vsize=19063512 memory=2712 CPUtime=3593.03 cores=0,2
/proc/53859/task/53869/stat : 53869 (java) R 53850 53859 53798 0 -1 4194368 34217 0 194 0 359292 11 0 0 20 0 20 0 54336524 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53905] ppid=53850 vsize=19063512 memory=17404 CPUtime=0 cores=0,2
/proc/53859/task/53905/stat : 53905 (Finalizer) S 53850 53859 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53936] ppid=53850 vsize=19063512 memory=9344 CPUtime=0 cores=0,2
/proc/53859/task/53936/stat : 53936 (Common-Cleaner) S 53850 53859 53798 0 -1 4194368 1241 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53941] ppid=53850 vsize=19063512 memory=26512 CPUtime=0 cores=0,2
/proc/53859/task/53941/stat : 53941 (Timer-0) S 53850 53859 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336553 19521036288 486367 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1945468 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.43 s, system=0.915669 s

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

[startup+3604.3 s]
/proc/loadavg: 4.21 4.16 4.10 4/316 54204
/proc/meminfo: memFree=125154628/131249996 swapFree=33010160/33010684
[pid=53859] ppid=53850 vsize=19263204 memory=1946108 CPUtime=3600.25 cores=0,2
/proc/53859/stat : 53859 (java) S 53850 53859 53798 0 -1 4194304 85982 0 199 0 359935 90 0 0 20 0 21 0 54336520 19725520896 486527 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
/proc/53859/statm: 4815801 486527 5527 1 0 560043 0
[pid=53859/tid=53869] ppid=53850 vsize=19263204 memory=1888052 CPUtime=3593.13 cores=0,2
/proc/53859/task/53869/stat : 53869 (java) R 53850 53859 53798 0 -1 4194368 34348 0 194 0 359302 11 0 0 20 0 21 0 54336524 19725520896 486527 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53905] ppid=53850 vsize=19263204 memory=5632 CPUtime=0 cores=0,2
/proc/53859/task/53905/stat : 53905 (Finalizer) S 53850 53859 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 54336527 19725520896 486527 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
[pid=53859/tid=53936] ppid=53850 vsize=19263204 memory=4352 CPUtime=0 cores=0,2
/proc/53859/task/53936/stat : 53936 (Common-Cleaner) S 53850 53859 53798 0 -1 4194368 1241 0 0 0 0 0 0 0 20 0 21 0 54336528 19725520896 486527 18446744073709551615 94287500931072 94287500934768 140722014872704 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94287500942584 94287500943376 94287501303808 140722014878081 140722014878182 140722014878182 140722014883784 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1946108 KiB

Child status: 143

Real time (s): 3604.35
CPU time (s): 3600.34
CPU user time (s): 3599.43
CPU system time (s): 0.915669
CPU usage (%): 99.8888
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1946108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.43
system time used= 0.915669
maximum resident set size= 1946236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86265
page faults= 199
swaps= 0
block input operations= 40
block output operations= 15704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104344
involuntary context switches= 10418


# summary of solver processes directly reported to runsolver:
#   pid: 53859
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3599.43
#   total CPU system time (s): 0.915669

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67683 second user time and 13.1184 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-01 18:16:21
IDJOB=4497200
IDBENCH=148155
IDSOLVER=3363
FILE ID=nodeC029/4497200-1751386581
RUNJOBID= nodeC029-1751386581-53808
SLURM_JOB_ID= 9598249
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497200-1751386581/watcher-4497200-1751386581 -o /tmp/evaluation-result-4497200-1751386581/solver-4497200-1751386581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751386581-53808 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4497200-1751386581.opb

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

MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768
RANDOM SEED=451587520

nodeC029 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		: 3599.725
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 1509.623
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3599.505
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 2377.701
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3599.724
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 1922.222
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129787604 kB
MemAvailable:   129731320 kB
Buffers:            2128 kB
Cached:           750748 kB
SwapCached:           40 kB
Active:           435680 kB
Inactive:         381188 kB
Active(anon):      77568 kB
Inactive(anon):     4768 kB
Active(file):     358112 kB
Inactive(file):   376420 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1944 kB
Writeback:             0 kB
AnonPages:         67252 kB
Mapped:           103136 kB
Shmem:             18020 kB
KReclaimable:      96844 kB
Slab:             183856 kB
SReclaimable:      96844 kB
SUnreclaim:        87012 kB
KernelStack:        3908 kB
PageTables:         2356 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     330720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150328 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC029 at 2025-07-01 19:16:25