Trace number 4440395

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 2024 2024-07-07SAT (TO)24 3600.63 3640.52

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMbeae51edba02eeda3c8007d8306fd545
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 benchmark18
Best CPU time to get the best result obtained on this benchmark16.5068
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
Number of bits of the biggest sum of numbers10
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.18/0.26	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.18/0.26	c This is free software under the dual EPL/GNU LGPL licenses.
0.18/0.26	c See www.sat4j.org for details.
0.18/0.28	c version CUSTOM.v20240707
0.18/0.30	c java.runtime.name	OpenJDK Runtime Environment
0.18/0.30	c java.vm.name		OpenJDK 64-Bit Server VM
0.18/0.30	c java.vm.version	22.0.1+8-16
0.18/0.30	c java.vm.vendor	Oracle Corporation
0.18/0.30	c sun.arch.data.model	64
0.18/0.30	c java.version		22.0.1
0.18/0.30	c os.name		Linux
0.18/0.30	c os.version		4.18.0-301.1.el8.x86_64
0.18/0.30	c os.arch		amd64
0.18/0.31	c Free memory 		2113181440
0.33/0.33	c Max memory 		16282288128
0.33/0.33	c Total memory 		2122317824
0.33/0.33	c Number of processors 	2
0.33/0.42	--- Begin Solver configuration ---
0.33/0.42	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.33/0.42	Learn all clauses as in MiniSAT
0.33/0.42	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.33/0.42	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.33/0.42	Expensive reason simplification
0.33/0.42	Glucose 2.1 dynamic restart strategy
0.33/0.42	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.33/0.42	timeout=2147483s
0.33/0.42	DB Simplification allowed=false
0.33/0.42	Listener: none
0.33/0.42	--- End Solver configuration ---
0.49/0.43	c Pseudo Boolean Optimization by upper bound
0.49/0.43	c --- Begin Solver configuration ---
0.49/0.43	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.49/0.43	c Learn all clauses as in MiniSAT
0.49/0.43	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.49/0.43	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.49/0.43	c Expensive reason simplification
0.49/0.43	c Glucose 2.1 dynamic restart strategy
0.49/0.43	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.49/0.43	c timeout=2147483s
0.49/0.43	c DB Simplification allowed=false
0.49/0.43	c Listener: none
0.49/0.43	c --- End Solver configuration ---
0.49/0.43	c solving HOME/instance-4440395-1721820325.opb
0.49/0.43	c reading problem ... 
0.49/0.44	c using VERIPB proof format
0.49/0.44	c  objective function found
0.99/0.79	c ... done. Wall clock time 0.348s.
0.99/0.79	c declared #vars     4318
0.99/0.79	c #constraints  15120
0.99/0.79	c constraints type 
0.99/0.79	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 11287
0.99/0.79	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.99/0.79	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.99/0.79	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3827
0.99/0.79	c 15120 constraints processed.
1.18/0.83	c objective function length is 490 literals
1.37/0.92	c SATISFIABLE
1.37/0.92	c OPTIMIZING...
1.37/0.92	c Got one! Elapsed wall clock time (in seconds):0.485
1.37/0.92	o 26
1.37/0.96	c Got one! Elapsed wall clock time (in seconds):0.531
1.37/0.96	o 25
2.35/1.46	c Got one! Elapsed wall clock time (in seconds):1.025
2.35/1.46	o 24
4.83/2.94	c cleaning 2952 clauses out of 5917 with flag 24227/5917
6.63/4.16	c cleaning 4476 clauses out of 8965 with flag 55604/11917
8.88/5.56	c cleaning 5736 clauses out of 11489 with flag 98289/18917
11.40/8.04	c cleaning 6865 clauses out of 13756 with flag 156449/26920
13.55/10.17	c cleaning 7939 clauses out of 15889 with flag 210704/35918
15.75/12.11	c cleaning 8956 clauses out of 17950 with flag 279237/45918
18.58/14.26	c cleaning 9972 clauses out of 19993 with flag 348109/56917
20.98/16.66	c cleaning 10992 clauses out of 22021 with flag 416628/68917
23.48/19.14	c cleaning 11999 clauses out of 24029 with flag 500610/81917
26.28/22.00	c cleaning 13007 clauses out of 26030 with flag 587220/95917
29.26/24.86	c cleaning 13993 clauses out of 28024 with flag 682511/110918
32.57/28.12	c cleaning 15015 clauses out of 30033 with flag 798221/126920
36.15/31.58	c cleaning 16000 clauses out of 32015 with flag 925440/143917
39.64/34.97	c cleaning 16992 clauses out of 34015 with flag 1075644/161917
42.96/37.93	c cleaning 17941 clauses out of 36024 with flag 1258202/180918
46.56/41.06	c cleaning 19034 clauses out of 38082 with flag 1487481/200917
50.03/44.16	c cleaning 19997 clauses out of 40048 with flag 1672210/221917
53.99/47.72	c cleaning 21009 clauses out of 42051 with flag 1847858/243917
57.78/51.57	c cleaning 22003 clauses out of 44043 with flag 2018419/266918
61.87/55.62	c cleaning 22972 clauses out of 46039 with flag 2216121/290917
65.61/59.49	c cleaning 24025 clauses out of 48067 with flag 2438541/315917
69.64/63.51	c cleaning 24966 clauses out of 50042 with flag 2712557/341917
73.84/67.74	c cleaning 26000 clauses out of 52076 with flag 2972569/368917
78.02/71.94	c cleaning 26973 clauses out of 54076 with flag 3225642/396917
82.52/76.40	c cleaning 28040 clauses out of 56103 with flag 3479348/425917
87.01/80.97	c cleaning 28971 clauses out of 58063 with flag 3722761/455917
91.80/85.71	c cleaning 29976 clauses out of 60092 with flag 4004508/486917
96.79/90.79	c cleaning 31021 clauses out of 62116 with flag 4303243/518917
102.76/96.93	c cleaning 32012 clauses out of 64095 with flag 4592277/551917
108.64/102.81	c cleaning 32977 clauses out of 66083 with flag 4915704/585917
115.13/109.31	c cleaning 34039 clauses out of 68106 with flag 5194259/620917
121.42/115.65	c cleaning 35032 clauses out of 70067 with flag 5470694/656917
128.31/122.55	c cleaning 36006 clauses out of 72035 with flag 5676078/693917
134.92/129.41	c cleaning 36994 clauses out of 74029 with flag 5946755/731917
141.90/136.49	c cleaning 37989 clauses out of 76035 with flag 6202915/770917
149.38/143.91	c cleaning 39003 clauses out of 78049 with flag 6485665/810920
156.48/151.07	c cleaning 39899 clauses out of 80043 with flag 6779392/851917
164.02/158.89	c cleaning 41060 clauses out of 82144 with flag 7083821/893917
171.80/166.63	c cleaning 42016 clauses out of 84084 with flag 7415333/936917
179.58/174.41	c cleaning 42993 clauses out of 86068 with flag 7795140/980917
187.77/182.61	c cleaning 44026 clauses out of 88076 with flag 8091788/1025918
195.56/190.61	c cleaning 45001 clauses out of 90049 with flag 8425280/1071917
203.55/198.61	c cleaning 45999 clauses out of 92048 with flag 8764594/1118917
211.13/206.22	c cleaning 47012 clauses out of 94053 with flag 9197263/1166921
219.72/214.81	c cleaning 47931 clauses out of 96038 with flag 9598849/1215918
229.10/224.44	c cleaning 49041 clauses out of 98107 with flag 9995273/1265918
237.59/232.96	c cleaning 49964 clauses out of 100065 with flag 10434327/1316917
247.89/243.21	c cleaning 51033 clauses out of 102101 with flag 10988179/1368917
257.07/252.53	c cleaning 52025 clauses out of 104070 with flag 11426552/1421919
266.49/262.00	c cleaning 52965 clauses out of 106043 with flag 11907324/1475917
275.98/271.42	c cleaning 53959 clauses out of 108078 with flag 12398771/1530917
285.61/281.28	c cleaning 55030 clauses out of 110119 with flag 12930016/1586917
295.30/290.91	c cleaning 55994 clauses out of 112089 with flag 13460617/1643917
306.18/301.88	c cleaning 57038 clauses out of 114096 with flag 13948143/1701918
317.32/313.17	c cleaning 57975 clauses out of 116057 with flag 14449359/1760917
328.69/324.55	c cleaning 59031 clauses out of 118082 with flag 14925514/1820917
340.17/336.01	c cleaning 59984 clauses out of 120052 with flag 15419757/1881918
351.30/347.35	c cleaning 61014 clauses out of 122067 with flag 15972306/1943917
363.57/359.68	c cleaning 61999 clauses out of 124053 with flag 16385251/2006917
375.95/372.21	c cleaning 62992 clauses out of 126054 with flag 16858879/2070917
387.84/384.15	c cleaning 63998 clauses out of 128063 with flag 17393073/2135918
400.52/396.82	c cleaning 65008 clauses out of 130065 with flag 17966057/2201918
414.57/411.07	c cleaning 66019 clauses out of 132056 with flag 18378167/2268917
428.08/424.57	c cleaning 67002 clauses out of 134041 with flag 18811482/2336921
441.72/438.37	c cleaning 68012 clauses out of 136035 with flag 19297088/2405917
455.69/452.31	c cleaning 68980 clauses out of 138024 with flag 19722400/2475918
469.37/466.30	c cleaning 70004 clauses out of 140043 with flag 20273788/2546917
483.01/479.91	c cleaning 70999 clauses out of 142039 with flag 20822242/2618917
499.60/513.02	c cleaning 72016 clauses out of 144040 with flag 21403987/2691917
513.97/527.42	c cleaning 72930 clauses out of 146024 with flag 21955260/2765917
529.87/543.31	c cleaning 74027 clauses out of 148094 with flag 22382983/2840917
546.50/561.01	c cleaning 75026 clauses out of 150067 with flag 22845123/2916917
562.46/578.23	c cleaning 75976 clauses out of 152041 with flag 23342420/2993917
578.45/594.12	c cleaning 76996 clauses out of 154065 with flag 23921284/3071917
594.80/611.09	c cleaning 78013 clauses out of 156069 with flag 24442972/3150917
611.65/627.85	c cleaning 79015 clauses out of 158056 with flag 24914728/3230917
628.98/646.92	c cleaning 80009 clauses out of 160042 with flag 25500142/3311918
646.47/664.46	c cleaning 80967 clauses out of 162032 with flag 26052925/3393917
663.53/681.92	c cleaning 82013 clauses out of 164066 with flag 26698397/3476918
680.25/698.66	c cleaning 82949 clauses out of 166052 with flag 27324445/3560917
696.85/715.61	c cleaning 83937 clauses out of 168103 with flag 28024501/3645917
714.42/733.88	c cleaning 85029 clauses out of 170166 with flag 28757371/3731917
732.35/751.74	c cleaning 86057 clauses out of 172138 with flag 29426426/3818918
750.24/770.68	c cleaning 87004 clauses out of 174080 with flag 30221478/3906917
767.80/788.11	c cleaning 87945 clauses out of 176076 with flag 31019957/3995917
787.32/808.16	c cleaning 89002 clauses out of 178132 with flag 31839370/4085918
805.06/826.16	c cleaning 89983 clauses out of 180129 with flag 32588507/4176917
823.06/843.81	c cleaning 91031 clauses out of 182146 with flag 33310740/4268917
841.64/862.78	c cleaning 92043 clauses out of 184120 with flag 34082954/4361922
860.99/882.04	c cleaning 92970 clauses out of 186072 with flag 34875589/4455917
881.67/903.35	c cleaning 94005 clauses out of 188104 with flag 35754394/4550919
902.92/925.29	c cleaning 94996 clauses out of 190097 with flag 36419919/4646917
925.32/948.59	c cleaning 96037 clauses out of 192107 with flag 37057510/4743923
946.61/969.84	c cleaning 97016 clauses out of 194064 with flag 37681633/4841917
968.22/992.88	c cleaning 98012 clauses out of 196050 with flag 38330468/4940919
988.51/1013.49	c cleaning 98927 clauses out of 198036 with flag 39027082/5040917
1009.13/1034.02	c cleaning 100041 clauses out of 200110 with flag 39908659/5141918
1029.46/1054.69	c cleaning 100956 clauses out of 202068 with flag 40782677/5243917
1051.73/1077.35	c cleaning 102045 clauses out of 204112 with flag 41494091/5346917
1075.61/1101.89	c cleaning 102999 clauses out of 206067 with flag 42105267/5450917
1100.02/1126.28	c cleaning 104025 clauses out of 208068 with flag 42637165/5555917
1122.76/1151.31	c cleaning 105015 clauses out of 210043 with flag 43352406/5661917
1144.73/1173.33	c cleaning 106000 clauses out of 212029 with flag 44176508/5768918
1169.56/1198.24	c cleaning 106995 clauses out of 214029 with flag 44899174/5876918
1193.70/1222.41	c cleaning 107997 clauses out of 216036 with flag 45668462/5985920
1217.45/1246.14	c cleaning 109005 clauses out of 218036 with flag 46371326/6095917
1241.95/1270.70	c cleaning 110000 clauses out of 220031 with flag 47148856/6206917
1264.85/1293.74	c cleaning 110958 clauses out of 222031 with flag 48155382/6318917
1289.07/1318.09	c cleaning 112006 clauses out of 224073 with flag 49040401/6431917
1312.67/1341.65	c cleaning 113025 clauses out of 226067 with flag 49838721/6545917
1336.49/1365.54	c cleaning 114004 clauses out of 228042 with flag 50479109/6660917
1361.98/1393.07	c cleaning 115003 clauses out of 230038 with flag 51352651/6776917
1386.19/1417.29	c cleaning 115914 clauses out of 232035 with flag 52131019/6893917
1410.49/1441.57	c cleaning 117041 clauses out of 234121 with flag 53178228/7011917
1435.85/1466.99	c cleaning 118021 clauses out of 236080 with flag 54049999/7130917
1462.43/1493.54	c cleaning 119012 clauses out of 238061 with flag 54815655/7250919
1487.79/1518.96	c cleaning 119963 clauses out of 240047 with flag 55890185/7371917
1514.41/1545.69	c cleaning 121040 clauses out of 242084 with flag 56865129/7493917
1539.24/1570.55	c cleaning 121997 clauses out of 244046 with flag 57693905/7616919
1565.95/1597.28	c cleaning 123016 clauses out of 246047 with flag 58660222/7740917
1593.46/1624.73	c cleaning 123976 clauses out of 248033 with flag 59761225/7865919
1622.20/1653.59	c cleaning 125011 clauses out of 250055 with flag 60617930/7991917
1649.04/1680.46	c cleaning 125942 clauses out of 252044 with flag 61566948/8118917
1677.87/1709.32	c cleaning 127046 clauses out of 254103 with flag 62602065/8246918
1705.40/1736.90	c cleaning 127985 clauses out of 256056 with flag 63576145/8375917
1732.37/1763.90	c cleaning 128978 clauses out of 258071 with flag 64786414/8505917
1760.91/1792.51	c cleaning 130041 clauses out of 260093 with flag 65894653/8636917
1789.85/1821.56	c cleaning 131020 clauses out of 262055 with flag 66623392/8768920
1821.55/1852.99	c cleaning 131994 clauses out of 264033 with flag 67365916/8901918
1851.09/1882.57	c cleaning 132902 clauses out of 266038 with flag 68195385/9035917
1882.20/1913.79	c cleaning 134053 clauses out of 268136 with flag 69258739/9170917
1912.33/1943.91	c cleaning 135035 clauses out of 270083 with flag 70489593/9306917
1942.05/1973.79	c cleaning 136004 clauses out of 272049 with flag 71584794/9443918
1973.71/2005.48	c cleaning 137014 clauses out of 274044 with flag 72587813/9581917
2004.57/2036.35	c cleaning 137999 clauses out of 276030 with flag 73626081/9720917
2036.27/2068.07	c cleaning 139017 clauses out of 278033 with flag 74533115/9860919
2067.34/2099.19	c cleaning 139988 clauses out of 280015 with flag 75617033/10001918
2100.33/2132.23	c cleaning 140992 clauses out of 282026 with flag 76896477/10143917
2133.18/2165.15	c cleaning 142003 clauses out of 284034 with flag 78027622/10286917
2165.03/2197.09	c cleaning 142979 clauses out of 286033 with flag 79169027/10430919
2197.73/2229.82	c cleaning 144022 clauses out of 288053 with flag 80254137/10575918
2230.58/2262.77	c cleaning 144993 clauses out of 290030 with flag 81258615/10721917
2266.56/2298.77	c cleaning 146011 clauses out of 292037 with flag 82194737/10868917
2301.09/2333.40	c cleaning 146982 clauses out of 294026 with flag 83539655/11016917
2336.77/2369.11	c cleaning 147952 clauses out of 296045 with flag 84737520/11165918
2371.49/2403.86	c cleaning 148965 clauses out of 298092 with flag 85852091/11315917
2406.26/2438.98	c cleaning 149997 clauses out of 300130 with flag 87103472/11466920
2439.53/2472.23	c cleaning 150985 clauses out of 302130 with flag 88335869/11618917
2474.97/2507.75	c cleaning 152053 clauses out of 304147 with flag 89571776/11771919
2510.87/2543.75	c cleaning 153002 clauses out of 306093 with flag 90758654/11925918
2545.40/2578.39	c cleaning 154006 clauses out of 308092 with flag 92226607/12080919
2582.00/2615.01	c cleaning 155013 clauses out of 310084 with flag 93356605/12236917
2618.22/2651.29	c cleaning 156030 clauses out of 312076 with flag 94421908/12393922
2656.89/2689.92	c cleaning 156956 clauses out of 314042 with flag 95512478/12551918
2696.03/2729.19	c cleaning 158016 clauses out of 316085 with flag 96584802/12710917
2736.11/2769.29	c cleaning 159011 clauses out of 318071 with flag 97733569/12870919
2774.40/2807.57	c cleaning 160011 clauses out of 320058 with flag 99058069/13031917
2812.12/2845.32	c cleaning 161019 clauses out of 322047 with flag 100190418/13193917
2850.14/2885.31	c cleaning 161956 clauses out of 324028 with flag 101463229/13356917
2888.69/2923.90	c cleaning 162950 clauses out of 326072 with flag 102795605/13520917
2927.33/2962.65	c cleaning 164057 clauses out of 328122 with flag 104102091/13685917
2967.58/3002.94	c cleaning 164990 clauses out of 330065 with flag 105415749/13851917
3009.26/3044.73	c cleaning 165984 clauses out of 332075 with flag 106540696/14018917
3055.72/3091.40	c cleaning 167037 clauses out of 334091 with flag 107617277/14186917
3098.11/3134.14	c cleaning 167997 clauses out of 336055 with flag 108740951/14355918
3136.08/3172.22	c cleaning 168934 clauses out of 338057 with flag 110164831/14525917
3177.76/3214.28	c cleaning 170040 clauses out of 340123 with flag 111450675/14696917
3221.29/3258.53	c cleaning 170952 clauses out of 342083 with flag 112597603/14868917
3265.25/3302.69	c cleaning 172039 clauses out of 344131 with flag 113767458/15041917
3311.65/3351.35	c cleaning 173038 clauses out of 346093 with flag 114692843/15215918
3357.37/3396.99	c cleaning 174014 clauses out of 348056 with flag 115803420/15390919
3403.26/3442.95	c cleaning 174997 clauses out of 350040 with flag 116980595/15566917
3447.68/3487.49	c cleaning 175988 clauses out of 352043 with flag 118163629/15743917
3495.24/3535.13	c cleaning 176959 clauses out of 354055 with flag 119677789/15921917
3541.94/3581.82	c cleaning 178048 clauses out of 356096 with flag 120915591/16100917
3585.61/3625.74	c cleaning 178958 clauses out of 358048 with flag 122306902/16280917
3600.07/3640.22	c starts		: 3354
3600.07/3640.25	c conflicts		: 16348504
3600.07/3640.25	c decisions		: 276357403
3600.07/3640.25	c propagations		: 10970801558
3600.07/3640.25	c inspects		: 42059323054
3600.07/3640.25	c shortcuts		: 0
3600.07/3640.25	c learnt literals	: 0
3600.07/3640.25	c learnt binary clauses	: 29
3600.07/3640.25	c learnt ternary clauses	: 18
3600.07/3640.25	c learnt constraints	: 16348504
3600.07/3640.25	c ignored constraints	: 0
3600.07/3640.25	c root simplifications	: 0
3600.07/3640.25	c removed literals (reason simplification)	: 146085589
3600.07/3640.25	c reason swapping (by a shorter reason)	: 0
3600.07/3640.25	c Calls to reduceDB	: 176
3600.07/3640.25	c Number of update (reduction) of LBD	: 11485021
3600.07/3640.25	c Imported unit clauses	: 0
3600.07/3640.25	c No decision after first conflict	: false
3600.07/3640.25	c number of reductions to clauses (during analyze)	: 0
3600.07/3640.25	c number of learned constraints concerned by reduction	: 0
3600.07/3640.25	c number of learning phase by resolution	: 0
3600.07/3640.25	c number of learning phase by cutting planes	: 0
3600.07/3640.25	c number of rounding to 1 operations	: 0
3600.07/3640.25	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3640.25	c number of reductions of the coefficients by power 2 	: 0
3600.07/3640.25	c number of right shift for reduction by power 2 	: 0
3600.07/3640.25	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3640.25	c number of ending skipping 	: 0
3600.07/3640.25	c number of internal skipping 	: 0
3600.07/3640.27	c number of derivation steps 	: 0
3600.07/3640.27	c number of skipped derivation steps 	: 0
3600.07/3640.27	c number of remaining unassigned 	: 0
3600.07/3640.27	c number of remaining assigned 	: 0
3600.07/3640.27	c number of falsified literals weakened from reason	: 0
3600.07/3640.27	c number of falsified literals weakened from conflict	: 0
3600.07/3640.27	c time for arithmetic operations	: 0
3600.07/3640.27	c minimum degree of deleted constraints	: null
3600.07/3640.27	c maximum degree of deleted constraints	: null
3600.07/3640.27	c number of deleted constraints	: 0
3600.07/3640.27	c speed (assignments/second)	: 3014436.79432437
3600.07/3640.27	c non guided choices	: 0
3600.48/3640.44	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 246648
3600.48/3640.44	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 29
3600.48/3640.44	s SATISFIABLE
3600.48/3640.44	c Found 3 solution(s)
3600.48/3640.45	v x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 x1529 x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 x2576 -x2577 x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 x2889 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 x2964 -x2965 -x2966 x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 x3003 x3004 -x3005 -x3006 x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 x3114 -x3115 -x3116 -x3117 x3118 -x3119 -x3120 -x3121 x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 x3186 -x3187 -x3188 -x3189 -x3190 x3191 -x3192 -x3193 x3194 -x3195 x3196 -x3197 -x3198 -x3199 -x3200 x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 x3221 -x3222 -x3223 -x3224 -x3225 x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 x3253 -x3254 x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 x3264 x3265 x3266 x3267 -x3268 x3269 -x3270 -x3271 -x3272 x3273 -x3274 -x3275 -x3276 x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 -x3294 -x3295 x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 x3326 -x3327 -x3328 x3329 x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 x3383 -x3384 x3385 -x3386 -x3387 x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 x3408 -x3409 -x3410 -x3411 -x3412 x3413 x3414 -x3415 -x3416 -x3417 x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 x3428 -x3429 -x3430 -x3431 x3432 -x3433 x3434 x3435 x3436 x3437 x3438 -x3439 x3440 -x3441 -x3442 -x3443 -x3444 -x3445 x3446 -x3447 -x3448 -x3449 x3450 -x3451 -x3452 -x3453 x3454 -x3455 x3456 -x3457 -x3458 -x3459 -x3460 -x3461 x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 x3477 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 x3567 x3568 -x3569 -x3570 x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 x3614 -x3615 x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 x3632 -x3633 -x3634 -x3635 x3636 -x3637 x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 x3801 x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 x4056 x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 x4081 -x4082 -x4083 -x4084 -x4085 -x4086 x4087 x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 x4280 -x4281 -x4282 -x4283 -x4284 x4285 -x4286 x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 x4301 x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 x4315 -x4316 -x4317 -x4318 
3600.48/3640.46	c objective function=24
3600.48/3640.46	c Total wall clock time (in seconds): 3640.033

Verifier Data 

OK	24

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (11924 MiB free)
  memory of node 1: 64510 MiB (46579 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440395-1721820325/watcher-4440395-1721820325 -o /tmp/evaluation-result-4440395-1721820325/solver-4440395-1721820325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721820325-229064 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440395-1721820325 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440395-1721820325.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100068 s]*
/proc/loadavg: 0.09 0.09 0.09 4/275 229154
/proc/meminfo: memFree=59823324/131655788 swapFree=131065036/131071996
[pid=229109] ppid=229101 vsize=18175400 memory=37716 CPUtime=0.04 cores=1,3
/proc/229109/stat : 229109 (java) S 229101 229109 229052 0 -1 1077936128 4498 0 18 0 1 3 0 0 20 0 7 0 18022065 18611609600 9429 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 0 0 16784588 0 0 0 17 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
/proc/229109/statm: 4543850 9429 3791 1 0 544764 0
[pid=229109/tid=229118] ppid=229101 vsize=18175400 memory=4026531971 CPUtime=0.03 cores=1,3
/proc/229109/task/229118/stat : 229118 (java) R 229101 229109 229052 0 -1 4194368 3961 0 14 0 0 3 0 0 20 0 7 0 18022067 18611609600 9490 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16784588 0 0 0 -1 1 0 0 4 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 37716 KiB

[startup+0.217248 s]*
/proc/loadavg: 0.09 0.09 0.09 12/319 229198
/proc/meminfo: memFree=59750364/131655788 swapFree=131065036/131071996
[pid=229109] ppid=229101 vsize=18975048 memory=55956 CPUtime=0.18 cores=1,3
/proc/229109/stat : 229109 (java) S 229101 229109 229052 0 -1 1077936128 6540 0 26 0 13 5 0 0 20 0 18 0 18022065 19430449152 13989 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
/proc/229109/statm: 4743762 13989 5617 1 0 550887 0
[pid=229109/tid=229118] ppid=229101 vsize=18975048 memory=8737651120394928259 CPUtime=0.12 cores=1,3
/proc/229109/task/229118/stat : 229118 (java) R 229101 229109 229052 0 -1 4194368 5419 0 22 0 8 4 0 0 20 0 18 0 18022067 19430449152 13989 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229170] ppid=229101 vsize=18975048 memory=948383 CPUtime=0 cores=1,3
/proc/229109/task/229170/stat : 229170 (Finalizer) S 229101 229109 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18022080 19430449152 13989 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229197] ppid=229101 vsize=18975048 memory=16102571999764192 CPUtime=0 cores=1,3
/proc/229109/task/229197/stat : 229197 (Common-Cleaner) S 229101 229109 229052 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18022082 19430449152 13989 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55956 KiB

[startup+0.317686 s]*
/proc/loadavg: 0.09 0.09 0.09 14/319 229198
/proc/meminfo: memFree=59732996/131655788 swapFree=131065036/131071996
[pid=229109] ppid=229101 vsize=18975048 memory=60576 CPUtime=0.33 cores=1,3
/proc/229109/stat : 229109 (java) S 229101 229109 229052 0 -1 1077936128 7121 0 26 0 27 6 0 0 20 0 18 0 18022065 19430449152 15144 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
/proc/229109/statm: 4743762 15144 5640 1 0 551341 0
[pid=229109/tid=229118] ppid=229101 vsize=18975048 memory=-8960590284347646652 CPUtime=0.2 cores=1,3
/proc/229109/task/229118/stat : 229118 (java) R 229101 229109 229052 0 -1 4194368 5684 0 22 0 16 4 0 0 20 0 18 0 18022067 19430449152 15144 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229170] ppid=229101 vsize=18975048 memory=1471337235681608281 CPUtime=0 cores=1,3
/proc/229109/task/229170/stat : 229170 (Finalizer) S 229101 229109 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18022080 19430449152 15144 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229197] ppid=229101 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/229109/task/229197/stat : 229197 (Common-Cleaner) S 229101 229109 229052 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18022082 19430449152 15144 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60576 KiB

[startup+0.700579 s]
/proc/loadavg: 1.36 0.36 0.18 14/320 229199
/proc/meminfo: memFree=59699732/131655788 swapFree=131065036/131071996
[pid=229109] ppid=229101 vsize=18975048 memory=86460 CPUtime=0.99 cores=1,3
/proc/229109/stat : 229109 (java) S 229101 229109 229052 0 -1 1077936128 8866 0 26 0 91 8 0 0 20 0 18 0 18022065 19430449152 21615 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
/proc/229109/statm: 4743762 21615 5851 1 0 552479 0
[pid=229109/tid=229118] ppid=229101 vsize=18975048 memory=11904 CPUtime=0.52 cores=1,3
/proc/229109/task/229118/stat : 229118 (java) R 229101 229109 229052 0 -1 4194368 5960 0 22 0 47 5 0 0 20 0 18 0 18022067 19430449152 21615 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229170] ppid=229101 vsize=18975048 memory=5468 CPUtime=0 cores=1,3
/proc/229109/task/229170/stat : 229170 (Finalizer) S 229101 229109 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18022080 19430449152 21615 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229197] ppid=229101 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/229109/task/229197/stat : 229197 (Common-Cleaner) S 229101 229109 229052 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18022082 19430449152 21615 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 86460 KiB

[startup+1.50058 s]
/proc/loadavg: 1.36 0.36 0.18 12/322 229201
/proc/meminfo: memFree=59435624/131655788 swapFree=131065036/131071996
[pid=229109] ppid=229101 vsize=19041612 memory=149352 CPUtime=2.53 cores=1,3
/proc/229109/stat : 229109 (java) S 229101 229109 229052 0 -1 1077936128 18956 0 27 0 241 12 0 0 20 0 19 0 18022065 19498610688 37338 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
/proc/229109/statm: 4760403 37338 5905 1 0 557741 0
[pid=229109/tid=229118] ppid=229101 vsize=19041612 memory=0 CPUtime=1.15 cores=1,3
/proc/229109/task/229118/stat : 229118 (java) R 229101 229109 229052 0 -1 4194368 6197 0 23 0 108 7 0 0 20 0 19 0 18022067 19498610688 37338 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229170] ppid=229101 vsize=19041612 memory=26124 CPUtime=0 cores=1,3
/proc/229109/task/229170/stat : 229170 (Finalizer) S 229101 229109 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18022080 19498610688 37338 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229197] ppid=229101 vsize=19041612 memory=5468 CPUtime=0 cores=1,3
/proc/229109/task/229197/stat : 229197 (Common-Cleaner) S 229101 229109 229052 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18022082 19498610688 37338 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229200] ppid=229101 vsize=19041612 memory=11644 CPUtime=0 cores=1,3
/proc/229109/task/229200/stat : 229200 (Timer-0) S 229101 229109 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18022151 19498610688 37338 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 149352 KiB

[startup+3.11258 s]
/proc/loadavg: 1.36 0.36 0.18 8/328 229207
/proc/meminfo: memFree=59192708/131655788 swapFree=131065036/131071996
[pid=229109] ppid=229101 vsize=19108176 memory=189040 CPUtime=5.21 cores=1,3
/proc/229109/stat : 229109 (java) S 229101 229109 229052 0 -1 1077936128 22959 0 27 0 507 14 0 0 20 0 20 0 18022065 19566772224 47260 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
/proc/229109/statm: 4777044 47260 5953 1 0 558077 0
[pid=229109/tid=229118] ppid=229101 vsize=19108176 memory=0 CPUtime=2.72 cores=1,3
/proc/229109/task/229118/stat : 229118 (java) R 229101 229109 229052 0 -1 4194368 7517 0 23 0 264 8 0 0 20 0 20 0 18022067 19566772224 47260 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229170] ppid=229101 vsize=19108176 memory=5468 CPUtime=0 cores=1,3
/proc/229109/task/229170/stat : 229170 (Finalizer) S 229101 229109 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 47260 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229197] ppid=229101 vsize=19108176 memory=164 CPUtime=0 cores=1,3
/proc/229109/task/229197/stat : 229197 (Common-Cleaner) S 229101 229109 229052 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 18022082 19566772224 47260 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229200] ppid=229101 vsize=19108176 memory=71368 CPUtime=0 cores=1,3
/proc/229109/task/229200/stat : 229200 (Timer-0) S 229101 229109 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022151 19566772224 47260 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
Current children cumulated CPU time: 5.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189040 KiB

[startup+6.30045 s]
/proc/loadavg: 1.66 0.44 0.20 9/328 229207
/proc/meminfo: memFree=59187980/131655788 swapFree=131065036/131071996
[pid=229109] ppid=229101 vsize=19108176 memory=184416 CPUtime=9.71 cores=1,3
/proc/229109/stat : 229109 (java) S 229101 229109 229052 0 -1 1077936128 23978 0 27 0 955 16 0 0 20 0 20 0 18022065 19566772224 46104 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
/proc/229109/statm: 4777044 46104 5953 1 0 558085 0
[pid=229109/tid=229118] ppid=229101 vsize=19108176 memory=0 CPUtime=5.88 cores=1,3
/proc/229109/task/229118/stat : 229118 (java) R 229101 229109 229052 0 -1 4194368 7581 0 23 0 579 9 0 0 20 0 20 0 18022067 19566772224 46104 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229170] ppid=229101 vsize=19108176 memory=189484 CPUtime=0 cores=1,3
/proc/229109/task/229170/stat : 229170 (Finalizer) S 229101 229109 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 46104 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229197] ppid=229101 vsize=19108176 memory=5468 CPUtime=0 cores=1,3
/proc/229109/task/229197/stat : 229197 (Common-Cleaner) S 229101 229109 229052 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 20 0 18022082 19566772224 46104 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229200] ppid=229101 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/229109/task/229200/stat : 229200 (Timer-0) S 229101 229109 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022151 19566772224 46104 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
Current children cumulated CPU time: 9.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184416 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 0.53 0.23 6/326 229208
/proc/meminfo: memFree=59141100/131655788 swapFree=131065036/131071996
[pid=229109] ppid=229101 vsize=19108176 memory=228392 CPUtime=16.51 cores=1,3
/proc/229109/stat : 229109 (java) S 229101 229109 229052 0 -1 1077936128 31817 0 27 0 1632 19 0 0 20 0 20 0 18022065 19566772224 57098 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
/proc/229109/statm: 4777044 57098 5969 1 0 558085 0
[pid=229109/tid=229118] ppid=229101 vsize=19108176 memory=11644 CPUtime=12.2 cores=1,3
/proc/229109/task/229118/stat : 229118 (java) R 229101 229109 229052 0 -1 4194368 9142 0 23 0 1209 11 0 0 20 0 20 0 18022067 19566772224 57098 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229170] ppid=229101 vsize=19108176 memory=188668 CPUtime=0 cores=1,3
/proc/229109/task/229170/stat : 229170 (Finalizer) S 229101 229109 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 57098 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229197] ppid=229101 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/229109/task/229197/stat : 229197 (Common-Cleaner) S 229101 229109 229052 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 20 0 18022082 19566772224 57098 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229200] ppid=229101 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/229109/task/229200/stat : 229200 (Timer-0) S 229101 229109 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022151 19566772224 57098 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
Current children cumulated CPU time: 16.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 228392 KiB

[startup+25.5005 s]
/proc/loadavg: 2.31 0.64 0.27 6/326 229210
/proc/meminfo: memFree=58711040/131655788 swapFree=131065036/131071996
[pid=229109] ppid=229101 vsize=19108176 memory=387184 CPUtime=29.96 cores=1,3
/proc/229109/stat : 229109 (java) S 229101 229109 229052 0 -1 1077936128 41558 0 27 0 2971 25 0 0 20 0 20 0 18022065 19566772224 96796 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
/proc/229109/statm: 4777044 96796 5969 1 0 558085 0
[pid=229109/tid=229118] ppid=229101 vsize=19108176 memory=387184 CPUtime=24.89 cores=1,3
/proc/229109/task/229118/stat : 229118 (java) R 229101 229109 229052 0 -1 4194368 10578 0 23 0 2474 15 0 0 20 0 20 0 18022067 19566772224 96796 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229170] ppid=229101 vsize=19108176 memory=11644 CPUtime=0 cores=1,3
/proc/229109/task/229170/stat : 229170 (Finalizer) S 229101 229109 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 96796 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229197] ppid=229101 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/229109/task/229197/stat : 229197 (Common-Cleaner) S 229101 229109 229052 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 20 0 18022082 19566772224 96796 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229200] ppid=229101 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/229109/task/229200/stat : 229200 (Timer-0) S 229101 229109 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022151 19566772224 96796 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
Current children cumulated CPU time: 29.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 387184 KiB

[startup+51.114 s]
/proc/loadavg: 3.05 0.98 0.40 6/326 229215
/proc/meminfo: memFree=57281548/131655788 swapFree=131065036/131071996
[pid=229109] ppid=229101 vsize=19108176 memory=886544 CPUtime=57.4 cores=1,3
/proc/229109/stat : 229109 (java) S 229101 229109 229052 0 -1 1077936128 58715 0 27 0 5695 45 0 0 20 0 20 0 18022065 19566772224 221636 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
/proc/229109/statm: 4777044 221636 5969 1 0 559095 0
[pid=229109/tid=229118] ppid=229101 vsize=19108176 memory=793100 CPUtime=50.14 cores=1,3
/proc/229109/task/229118/stat : 229118 (java) R 229101 229109 229052 0 -1 4194368 13765 0 23 0 4983 31 0 0 20 0 20 0 18022067 19566772224 221636 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 29 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229170] ppid=229101 vsize=19108176 memory=722660 CPUtime=0 cores=1,3
/proc/229109/task/229170/stat : 229170 (Finalizer) S 229101 229109 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 221636 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229197] ppid=229101 vsize=19108176 memory=-9105549897353634492 CPUtime=0 cores=1,3
/proc/229109/task/229197/stat : 229197 (Common-Cleaner) S 229101 229109 229052 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 20 0 18022082 19566772224 221636 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229200] ppid=229101 vsize=19108176 memory=728412 CPUtime=0 cores=1,3
/proc/229109/task/229200/stat : 229200 (Timer-0) S 229101 229109 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022151 19566772224 221636 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
Current children cumulated CPU time: 57.4 s
Current children cumulated vsize: 19108176 KiB

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

/proc/229109/task/229118/stat : 229118 (java) R 229101 229109 229052 0 -1 4194368 80440 0 23 0 320583 516 0 0 20 0 20 0 18022067 19566772224 551438 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4397 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229170] ppid=229101 vsize=19108176 memory=2205752 CPUtime=0 cores=1,3
/proc/229109/task/229170/stat : 229170 (Finalizer) S 229101 229109 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 551438 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229197] ppid=229101 vsize=19108176 memory=11644 CPUtime=0 cores=1,3
/proc/229109/task/229197/stat : 229197 (Common-Cleaner) S 229101 229109 229052 0 -1 1077936192 3412 0 0 0 0 0 0 0 20 0 20 0 18022082 19566772224 551438 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229200] ppid=229101 vsize=19108176 memory=2205752 CPUtime=0 cores=1,3
/proc/229109/task/229200/stat : 229200 (Timer-0) S 229101 229109 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022151 19566772224 551438 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
Current children cumulated CPU time: 3244.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2205752 KiB

[startup+3342.3 s]
/proc/loadavg: 4.83 4.55 4.24 6/323 230613
/proc/meminfo: memFree=39771752/131655788 swapFree=131065036/131071996
[pid=229109] ppid=229101 vsize=19108176 memory=2205772 CPUtime=3302.67 cores=1,3
/proc/229109/stat : 229109 (java) S 229101 229109 229052 0 -1 1077936128 198007 0 27 0 329569 698 0 0 20 0 20 0 18022065 19566772224 551443 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
/proc/229109/statm: 4777044 551443 5985 1 0 562603 0
[pid=229109/tid=229118] ppid=229101 vsize=19108176 memory=2205772 CPUtime=3268.34 cores=1,3
/proc/229109/task/229118/stat : 229118 (java) R 229101 229109 229052 0 -1 4194368 81788 0 23 0 326310 524 0 0 20 0 20 0 18022067 19566772224 551443 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4622 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229170] ppid=229101 vsize=19108176 memory=11904 CPUtime=0 cores=1,3
/proc/229109/task/229170/stat : 229170 (Finalizer) S 229101 229109 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 551443 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229197] ppid=229101 vsize=19108176 memory=2205772 CPUtime=0 cores=1,3
/proc/229109/task/229197/stat : 229197 (Common-Cleaner) S 229101 229109 229052 0 -1 1077936192 3483 0 0 0 0 0 0 0 20 0 20 0 18022082 19566772224 551443 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229200] ppid=229101 vsize=19108176 memory=2205772 CPUtime=0 cores=1,3
/proc/229109/task/229200/stat : 229200 (Timer-0) S 229101 229109 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022151 19566772224 551443 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
Current children cumulated CPU time: 3302.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2205772 KiB

[startup+3402.3 s]
/proc/loadavg: 4.50 4.52 4.25 6/325 230626
/proc/meminfo: memFree=39583176/131655788 swapFree=131065036/131071996
[pid=229109] ppid=229101 vsize=19108176 memory=2206012 CPUtime=3362.79 cores=1,3
/proc/229109/stat : 229109 (java) S 229101 229109 229052 0 -1 1077936128 207168 0 27 0 335567 712 0 0 20 0 20 0 18022065 19566772224 551503 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
/proc/229109/statm: 4777044 551503 5985 1 0 562619 0
[pid=229109/tid=229118] ppid=229101 vsize=19108176 memory=2205772 CPUtime=3327.55 cores=1,3
/proc/229109/task/229118/stat : 229118 (java) R 229101 229109 229052 0 -1 4194368 84288 0 23 0 332220 535 0 0 20 0 20 0 18022067 19566772224 551503 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4632 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229170] ppid=229101 vsize=19108176 memory=164 CPUtime=0 cores=1,3
/proc/229109/task/229170/stat : 229170 (Finalizer) S 229101 229109 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 551503 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229197] ppid=229101 vsize=19108176 memory=2205752 CPUtime=0 cores=1,3
/proc/229109/task/229197/stat : 229197 (Common-Cleaner) S 229101 229109 229052 0 -1 1077936192 3559 0 0 0 0 0 0 0 20 0 20 0 18022082 19566772224 551503 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229200] ppid=229101 vsize=19108176 memory=2206004 CPUtime=0 cores=1,3
/proc/229109/task/229200/stat : 229200 (Timer-0) S 229101 229109 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022151 19566772224 551503 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
Current children cumulated CPU time: 3362.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2206012 KiB

[startup+3462.3 s]
/proc/loadavg: 4.99 4.66 4.31 6/325 230637
/proc/meminfo: memFree=39363168/131655788 swapFree=131065036/131071996
[pid=229109] ppid=229101 vsize=19108176 memory=2206028 CPUtime=3422.63 cores=1,3
/proc/229109/stat : 229109 (java) S 229101 229109 229052 0 -1 1077936128 209582 0 27 0 341538 725 0 0 20 0 20 0 18022065 19566772224 551507 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
/proc/229109/statm: 4777044 551507 5985 1 0 562619 0
[pid=229109/tid=229118] ppid=229101 vsize=19108176 memory=2205772 CPUtime=3387.11 cores=1,3
/proc/229109/task/229118/stat : 229118 (java) R 229101 229109 229052 0 -1 4194368 85886 0 23 0 338166 545 0 0 20 0 20 0 18022067 19566772224 551507 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4640 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229170] ppid=229101 vsize=19108176 memory=164 CPUtime=0 cores=1,3
/proc/229109/task/229170/stat : 229170 (Finalizer) S 229101 229109 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 551507 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229197] ppid=229101 vsize=19108176 memory=2205752 CPUtime=0 cores=1,3
/proc/229109/task/229197/stat : 229197 (Common-Cleaner) S 229101 229109 229052 0 -1 1077936192 3619 0 0 0 0 0 0 0 20 0 20 0 18022082 19566772224 551507 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229200] ppid=229101 vsize=19108176 memory=2206016 CPUtime=0 cores=1,3
/proc/229109/task/229200/stat : 229200 (Timer-0) S 229101 229109 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022151 19566772224 551507 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
Current children cumulated CPU time: 3422.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2206028 KiB

[startup+3522.3 s]
/proc/loadavg: 4.47 4.58 4.31 6/325 230647
/proc/meminfo: memFree=39167712/131655788 swapFree=131065036/131071996
[pid=229109] ppid=229101 vsize=19108176 memory=2206112 CPUtime=3482.49 cores=1,3
/proc/229109/stat : 229109 (java) S 229101 229109 229052 0 -1 1077936128 211516 0 27 0 347511 738 0 0 20 0 20 0 18022065 19566772224 551528 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
/proc/229109/statm: 4777044 551528 5985 1 0 562625 0
[pid=229109/tid=229118] ppid=229101 vsize=19108176 memory=2206016 CPUtime=3446.53 cores=1,3
/proc/229109/task/229118/stat : 229118 (java) R 229101 229109 229052 0 -1 4194368 87081 0 23 0 344098 555 0 0 20 0 20 0 18022067 19566772224 551528 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4649 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229170] ppid=229101 vsize=19108176 memory=11904 CPUtime=0 cores=1,3
/proc/229109/task/229170/stat : 229170 (Finalizer) S 229101 229109 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 551528 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229197] ppid=229101 vsize=19108176 memory=2205752 CPUtime=0 cores=1,3
/proc/229109/task/229197/stat : 229197 (Common-Cleaner) S 229101 229109 229052 0 -1 1077936192 3696 0 0 0 0 0 0 0 20 0 20 0 18022082 19566772224 551528 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229200] ppid=229101 vsize=19108176 memory=11644 CPUtime=0 cores=1,3
/proc/229109/task/229200/stat : 229200 (Timer-0) S 229101 229109 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022151 19566772224 551528 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
Current children cumulated CPU time: 3482.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2206112 KiB

[startup+3582.3 s]
/proc/loadavg: 4.28 4.50 4.30 7/325 230657
/proc/meminfo: memFree=38946144/131655788 swapFree=131065036/131071996
[pid=229109] ppid=229101 vsize=19108176 memory=2206112 CPUtime=3542.45 cores=1,3
/proc/229109/stat : 229109 (java) S 229101 229109 229052 0 -1 1077936128 213741 0 27 0 353496 749 0 0 20 0 20 0 18022065 19566772224 551528 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
/proc/229109/statm: 4777044 551528 5985 1 0 562625 0
[pid=229109/tid=229118] ppid=229101 vsize=19108176 memory=2205752 CPUtime=3505.83 cores=1,3
/proc/229109/task/229118/stat : 229118 (java) R 229101 229109 229052 0 -1 4194368 88265 0 23 0 350020 563 0 0 20 0 20 0 18022067 19566772224 551528 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4658 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229170] ppid=229101 vsize=19108176 memory=11644 CPUtime=0 cores=1,3
/proc/229109/task/229170/stat : 229170 (Finalizer) S 229101 229109 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 551528 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229197] ppid=229101 vsize=19108176 memory=5468 CPUtime=0 cores=1,3
/proc/229109/task/229197/stat : 229197 (Common-Cleaner) S 229101 229109 229052 0 -1 1077936192 3773 0 0 0 0 0 0 0 20 0 20 0 18022082 19566772224 551528 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229200] ppid=229101 vsize=19108176 memory=2206112 CPUtime=0 cores=1,3
/proc/229109/task/229200/stat : 229200 (Timer-0) S 229101 229109 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022151 19566772224 551528 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
Current children cumulated CPU time: 3542.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2206112 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3640.2 s]
/proc/loadavg: 4.52 4.52 4.31 8/324 231254
/proc/meminfo: memFree=51732680/131655788 swapFree=131065036/131071996
[pid=229109] ppid=229101 vsize=19108176 memory=2206116 CPUtime=3600.07 cores=1,3
/proc/229109/stat : 229109 (java) S 229101 229109 229052 0 -1 1077936128 215766 0 27 0 359247 760 0 0 20 0 20 0 18022065 19566772224 551529 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
/proc/229109/statm: 4777044 551529 5985 1 0 562625 0
[pid=229109/tid=229118] ppid=229101 vsize=19108176 memory=948311 CPUtime=3563.16 cores=1,3
/proc/229109/task/229118/stat : 229118 (java) R 229101 229109 229052 0 -1 4194368 89464 0 23 0 355744 572 0 0 20 0 20 0 18022067 19566772224 551529 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4679 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229170] ppid=229101 vsize=19108176 memory=948936 CPUtime=0 cores=1,3
/proc/229109/task/229170/stat : 229170 (Finalizer) S 229101 229109 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18022080 19566772224 551529 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229197] ppid=229101 vsize=19108176 memory=3618132347079591844 CPUtime=0 cores=1,3
/proc/229109/task/229197/stat : 229197 (Common-Cleaner) S 229101 229109 229052 0 -1 1077936192 3814 0 0 0 0 0 0 0 20 0 20 0 18022082 19566772224 551529 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229200] ppid=229101 vsize=19108176 memory=32172 CPUtime=0 cores=1,3
/proc/229109/task/229200/stat : 229200 (Timer-0) S 229101 229109 229052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022151 19566772224 551529 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2206116 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593 s, system=7.62665 s

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

[startup+3640.41 s]
/proc/loadavg: 4.52 4.52 4.31 8/324 231254
/proc/meminfo: memFree=51732680/131655788 swapFree=131065036/131071996
[pid=229109] ppid=229101 vsize=19307868 memory=2206792 CPUtime=3600.48 cores=1,3
/proc/229109/stat : 229109 (java) S 229101 229109 229052 0 -1 1077936128 217958 0 27 0 359287 761 0 0 20 0 21 0 18022065 19771256832 551698 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
/proc/229109/statm: 4826967 551698 5984 1 0 563564 0
[pid=229109/tid=229118] ppid=229101 vsize=19307868 memory=24980 CPUtime=3563.35 cores=1,3
/proc/229109/task/229118/stat : 229118 (java) R 229101 229109 229052 0 -1 4194368 89650 0 23 0 355763 572 0 0 20 0 21 0 18022067 19771256832 551698 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4679 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229170] ppid=229101 vsize=19307868 memory=2206116 CPUtime=0 cores=1,3
/proc/229109/task/229170/stat : 229170 (Finalizer) S 229101 229109 229052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18022080 19771256832 551698 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
[pid=229109/tid=229197] ppid=229101 vsize=19307868 memory=5468 CPUtime=0 cores=1,3
/proc/229109/task/229197/stat : 229197 (Common-Cleaner) S 229101 229109 229052 0 -1 1077936192 3814 0 0 0 0 0 0 0 20 0 21 0 18022082 19771256832 551698 134679101440 94747638583296 94747638586992 140735931655728 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94747638594808 94747638595600 94747640487936 140735931659179 140735931659361 140735931659361 140735931666376 0
Current children cumulated CPU time: 3600.48 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2206792 KiB

[startup+3640.5 s]*
/proc/loadavg: 4.52 4.52 4.31 5/306 231257
/proc/meminfo: memFree=52479880/131655788 swapFree=131065036/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3640.52
CPU time (s): 3600.63
CPU user time (s): 3593
CPU system time (s): 7.62665
CPU usage (%): 98.9042
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2206792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593
system time used= 7.62665
maximum resident set size= 2207664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218413
page faults= 27
swaps= 0
block input operations= 10720
block output operations= 9561624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114553
involuntary context switches= 7473


# summary of solver processes directly reported to runsolver:
#   pid: 229109
#   total CPU time (s): 3600.63
#   total CPU user time (s): 3593
#   total CPU system time (s): 7.62665

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.674 second user time and 39.1401 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-24 13:25:25
IDJOB=4440395
IDBENCH=148191
IDSOLVER=3079
FILE ID=nodeC010/4440395-1721820325
RUNJOBID= nodeC010-1721820325-229064
SLURM_JOB_ID= 7891462
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440395-1721820325/watcher-4440395-1721820325 -o /tmp/evaluation-result-4440395-1721820325/solver-4440395-1721820325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721820325-229064 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440395-1721820325 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440395-1721820325.opb

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

MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=1968991675

nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        59908948 kB
MemAvailable:   129779876 kB
Buffers:          241752 kB
Cached:         69956152 kB
SwapCached:         3992 kB
Active:          2222340 kB
Inactive:       68295284 kB
Active(anon):       1576 kB
Inactive(anon):   371964 kB
Active(file):    2220764 kB
Inactive(file): 67923320 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131065036 kB
Dirty:              4820 kB
Writeback:             0 kB
AnonPages:        316068 kB
Mapped:           100504 kB
Shmem:             53752 kB
KReclaimable:     788588 kB
Slab:             909744 kB
SReclaimable:     788588 kB
SUnreclaim:       121156 kB
KernelStack:        3796 kB
PageTables:         9384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     611108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18816 kB
HardwareCorrupted:     0 kB
AnonHugePages:    192512 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      412488 kB
DirectMap2M:    54018048 kB
DirectMap1G:    81788928 kB

Free space on /tmp at the end= 723720 MiB
End job on nodeC010 at 2024-07-24 14:26:06