Trace number 4497706

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)24 3600.29 3604.17

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 benchmark1.91149
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.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.10	c version PB25.v20250606
0.09/0.11	c java.runtime.name	OpenJDK Runtime Environment
0.09/0.11	c java.vm.name		OpenJDK 64-Bit Server VM
0.09/0.11	c java.vm.version	22.0.1+8-16
0.09/0.11	c java.vm.vendor	Oracle Corporation
0.09/0.11	c sun.arch.data.model	64
0.09/0.11	c java.version		22.0.1
0.09/0.11	c os.name		Linux
0.09/0.11	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.09/0.11	c os.arch		amd64
0.09/0.12	c Free memory 		2104792832
0.09/0.12	c Max memory 		16282288128
0.09/0.12	c Total memory 		2113929216
0.09/0.12	c Number of processors 	2
0.09/0.16	c Pseudo Boolean Optimization by upper bound
0.09/0.16	c --- Begin Solver configuration ---
0.09/0.16	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.09/0.16	c Learn all clauses as in MiniSAT
0.09/0.16	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.16	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.16	c Expensive reason simplification
0.09/0.16	c Glucose 2.1 dynamic restart strategy
0.09/0.16	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.09/0.16	c timeout=2147483s
0.09/0.16	c DB Simplification allowed=false
0.09/0.16	c Listener: none
0.09/0.16	c --- End Solver configuration ---
0.09/0.16	c solving HOME/instance-4497706-1751390187.opb
0.09/0.16	c reading problem ... 
0.09/0.16	c  objective function found
0.45/0.32	c ... done. Wall clock time 0.158s.
0.45/0.32	c declared #vars     4318
0.45/0.32	c #constraints  15120
0.45/0.32	c constraints type 
0.45/0.32	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 11287
0.45/0.32	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.45/0.32	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.45/0.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3827
0.45/0.32	c 15120 constraints processed.
0.45/0.34	c objective function length is 490 literals
0.45/0.38	c SATISFIABLE
0.45/0.38	c OPTIMIZING...
0.45/0.38	c Got one! Elapsed wall clock time (in seconds):0.22
0.45/0.38	o 26
0.45/0.39	c Got one! Elapsed wall clock time (in seconds):0.231
0.45/0.39	o 25
0.83/0.56	c Got one! Elapsed wall clock time (in seconds):0.395
0.83/0.56	o 24
2.49/1.79	c cleaning 2952 clauses out of 5917 with flag 24227/5917
4.13/3.12	c cleaning 4476 clauses out of 8965 with flag 55604/11917
5.78/4.62	c cleaning 5736 clauses out of 11489 with flag 98289/18917
7.48/6.30	c cleaning 6865 clauses out of 13756 with flag 156449/26920
9.38/8.25	c cleaning 7939 clauses out of 15889 with flag 210704/35918
11.48/10.36	c cleaning 8956 clauses out of 17950 with flag 279237/45918
13.95/12.69	c cleaning 9972 clauses out of 19993 with flag 348109/56917
16.54/15.25	c cleaning 10992 clauses out of 22021 with flag 416628/68917
19.23/17.99	c cleaning 11999 clauses out of 24029 with flag 500610/81917
22.33/21.07	c cleaning 13007 clauses out of 26030 with flag 587220/95917
25.43/24.15	c cleaning 13993 clauses out of 28024 with flag 682511/110918
28.92/27.67	c cleaning 15015 clauses out of 30033 with flag 798221/126920
32.53/31.29	c cleaning 16000 clauses out of 32015 with flag 925440/143917
35.65/34.35	c cleaning 16992 clauses out of 34015 with flag 1075644/161917
38.66/37.11	c cleaning 17941 clauses out of 36024 with flag 1258202/180918
41.73/40.04	c cleaning 19034 clauses out of 38082 with flag 1487481/200917
44.93/43.06	c cleaning 19997 clauses out of 40048 with flag 1672210/221917
48.42/46.54	c cleaning 21009 clauses out of 42051 with flag 1847858/243917
52.21/50.30	c cleaning 22003 clauses out of 44043 with flag 2018419/266918
56.10/54.25	c cleaning 22972 clauses out of 46039 with flag 2216121/290917
59.79/57.94	c cleaning 24025 clauses out of 48067 with flag 2438541/315917
63.79/61.91	c cleaning 24966 clauses out of 50042 with flag 2712557/341917
68.28/66.42	c cleaning 26000 clauses out of 52076 with flag 2972569/368917
72.67/70.86	c cleaning 26973 clauses out of 54076 with flag 3225642/396917
77.36/75.53	c cleaning 28040 clauses out of 56103 with flag 3479348/425917
82.15/80.32	c cleaning 28971 clauses out of 58063 with flag 3722761/455917
87.14/85.31	c cleaning 29976 clauses out of 60092 with flag 4004508/486917
92.33/90.55	c cleaning 31021 clauses out of 62116 with flag 4303243/518917
97.94/96.14	c cleaning 32012 clauses out of 64095 with flag 4592277/551917
103.93/102.16	c cleaning 32977 clauses out of 66083 with flag 4915704/585917
110.71/108.94	c cleaning 34039 clauses out of 68106 with flag 5194259/620917
117.59/115.83	c cleaning 35032 clauses out of 70067 with flag 5470694/656917
125.18/123.50	c cleaning 36006 clauses out of 72035 with flag 5676078/693917
132.57/130.81	c cleaning 36994 clauses out of 74029 with flag 5946755/731917
140.37/138.63	c cleaning 37989 clauses out of 76035 with flag 6202915/770917
148.56/146.82	c cleaning 39003 clauses out of 78049 with flag 6485665/810920
156.34/154.66	c cleaning 39899 clauses out of 80043 with flag 6779392/851917
164.62/162.90	c cleaning 41060 clauses out of 82144 with flag 7083821/893917
173.10/171.44	c cleaning 42016 clauses out of 84084 with flag 7415333/936917
181.50/179.83	c cleaning 42993 clauses out of 86068 with flag 7795140/980917
190.49/188.89	c cleaning 44026 clauses out of 88076 with flag 8091788/1025918
199.06/197.46	c cleaning 45001 clauses out of 90049 with flag 8425280/1071917
207.75/206.17	c cleaning 45999 clauses out of 92048 with flag 8764594/1118917
216.23/214.63	c cleaning 47012 clauses out of 94053 with flag 9197263/1166921
225.64/224.09	c cleaning 47931 clauses out of 96038 with flag 9598849/1215918
236.11/234.55	c cleaning 49041 clauses out of 98107 with flag 9995273/1265918
245.49/243.96	c cleaning 49964 clauses out of 100065 with flag 10434327/1316917
256.67/255.19	c cleaning 51033 clauses out of 102101 with flag 10988179/1368917
266.86/265.34	c cleaning 52025 clauses out of 104070 with flag 11426552/1421919
277.24/275.72	c cleaning 52965 clauses out of 106043 with flag 11907324/1475917
287.62/286.13	c cleaning 53959 clauses out of 108078 with flag 12398771/1530917
298.29/296.88	c cleaning 55030 clauses out of 110119 with flag 12930016/1586917
309.00/307.50	c cleaning 55994 clauses out of 112089 with flag 13460617/1643917
320.88/319.49	c cleaning 57038 clauses out of 114096 with flag 13948143/1701918
332.95/331.55	c cleaning 57975 clauses out of 116057 with flag 14449359/1760917
345.62/344.24	c cleaning 59031 clauses out of 118082 with flag 14925514/1820917
358.32/356.90	c cleaning 59984 clauses out of 120052 with flag 15419757/1881918
370.58/369.22	c cleaning 61014 clauses out of 122067 with flag 15972306/1943917
384.05/382.71	c cleaning 61999 clauses out of 124053 with flag 16385251/2006917
397.65/396.39	c cleaning 62992 clauses out of 126054 with flag 16858879/2070917
410.72/409.41	c cleaning 63998 clauses out of 128063 with flag 17393073/2135918
424.58/423.31	c cleaning 65008 clauses out of 130065 with flag 17966057/2201918
440.18/438.96	c cleaning 66019 clauses out of 132056 with flag 18378167/2268917
454.93/453.75	c cleaning 67002 clauses out of 134041 with flag 18811482/2336921
469.79/468.64	c cleaning 68012 clauses out of 136035 with flag 19297088/2405917
485.10/483.97	c cleaning 68980 clauses out of 138024 with flag 19722400/2475918
499.66/498.59	c cleaning 70004 clauses out of 140043 with flag 20273788/2546917
514.22/513.15	c cleaning 70999 clauses out of 142039 with flag 20822242/2618917
530.71/529.60	c cleaning 72016 clauses out of 144040 with flag 21403987/2691917
545.97/545.00	c cleaning 72930 clauses out of 146024 with flag 21955260/2765917
562.92/561.90	c cleaning 74027 clauses out of 148094 with flag 22382983/2840917
579.78/578.84	c cleaning 75026 clauses out of 150067 with flag 22845123/2916917
596.08/595.15	c cleaning 75976 clauses out of 152041 with flag 23342420/2993917
612.94/612.09	c cleaning 76996 clauses out of 154065 with flag 23921284/3071917
629.39/628.52	c cleaning 78013 clauses out of 156069 with flag 24442972/3150917
647.14/646.36	c cleaning 79015 clauses out of 158056 with flag 24914728/3230917
664.65/663.81	c cleaning 80009 clauses out of 160042 with flag 25500142/3311918
683.00/682.20	c cleaning 80967 clauses out of 162032 with flag 26052925/3393917
699.87/699.16	c cleaning 82013 clauses out of 164066 with flag 26698397/3476918
717.32/716.63	c cleaning 82949 clauses out of 166052 with flag 27324445/3560917
734.53/733.80	c cleaning 83937 clauses out of 168103 with flag 28024501/3645917
752.69/752.05	c cleaning 85029 clauses out of 170166 with flag 28757371/3731917
770.66/770.07	c cleaning 86057 clauses out of 172138 with flag 29426426/3818918
788.40/787.87	c cleaning 87004 clauses out of 174080 with flag 30221478/3906917
806.58/806.07	c cleaning 87945 clauses out of 176076 with flag 31019957/3995917
826.57/826.05	c cleaning 89002 clauses out of 178132 with flag 31839370/4085918
845.01/844.53	c cleaning 89983 clauses out of 180129 with flag 32588507/4176917
863.47/863.03	c cleaning 91031 clauses out of 182146 with flag 33310740/4268917
882.91/882.54	c cleaning 92043 clauses out of 184120 with flag 34082954/4361922
903.22/902.84	c cleaning 92970 clauses out of 186072 with flag 34875589/4455917
924.37/924.01	c cleaning 94005 clauses out of 188104 with flag 35754394/4550919
945.78/945.49	c cleaning 94996 clauses out of 190097 with flag 36419919/4646917
968.33/968.08	c cleaning 96037 clauses out of 192107 with flag 37057510/4743923
990.86/990.67	c cleaning 97016 clauses out of 194064 with flag 37681633/4841917
1012.98/1012.73	c cleaning 98012 clauses out of 196050 with flag 38330468/4940919
1034.42/1034.25	c cleaning 98927 clauses out of 198036 with flag 39027082/5040917
1055.87/1055.71	c cleaning 100041 clauses out of 200110 with flag 39908659/5141918
1077.23/1077.15	c cleaning 100956 clauses out of 202068 with flag 40782677/5243917
1100.77/1100.71	c cleaning 102045 clauses out of 204112 with flag 41494091/5346917
1125.41/1125.38	c cleaning 102999 clauses out of 206067 with flag 42105267/5450917
1151.35/1151.33	c cleaning 104025 clauses out of 208068 with flag 42637165/5555917
1174.20/1174.26	c cleaning 105015 clauses out of 210043 with flag 43352406/5661917
1197.33/1197.44	c cleaning 106000 clauses out of 212029 with flag 44176508/5768918
1223.66/1223.80	c cleaning 106995 clauses out of 214029 with flag 44899174/5876918
1249.60/1249.43	c cleaning 107997 clauses out of 216036 with flag 45668462/5985920
1274.63/1274.59	c cleaning 109005 clauses out of 218036 with flag 46371326/6095917
1300.46/1300.40	c cleaning 110000 clauses out of 220031 with flag 47148856/6206917
1324.50/1324.51	c cleaning 110958 clauses out of 222031 with flag 48155382/6318917
1349.82/1349.93	c cleaning 112006 clauses out of 224073 with flag 49040401/6431917
1374.88/1375.09	c cleaning 113025 clauses out of 226067 with flag 49838721/6545917
1400.12/1400.37	c cleaning 114004 clauses out of 228042 with flag 50479109/6660917
1425.95/1426.27	c cleaning 115003 clauses out of 230038 with flag 51352651/6776917
1451.19/1451.55	c cleaning 115914 clauses out of 232035 with flag 52131019/6893917
1476.75/1477.17	c cleaning 117041 clauses out of 234121 with flag 53178228/7011917
1503.63/1504.06	c cleaning 118021 clauses out of 236080 with flag 54049999/7130917
1531.57/1532.04	c cleaning 119012 clauses out of 238061 with flag 54815655/7250919
1558.21/1558.72	c cleaning 119963 clauses out of 240047 with flag 55890185/7371917
1586.15/1586.76	c cleaning 121040 clauses out of 242084 with flag 56865129/7493917
1612.28/1612.92	c cleaning 121997 clauses out of 244046 with flag 57693905/7616919
1640.12/1640.86	c cleaning 123016 clauses out of 246047 with flag 58660222/7740917
1668.82/1669.52	c cleaning 123976 clauses out of 248033 with flag 59761225/7865919
1699.05/1699.84	c cleaning 125011 clauses out of 250055 with flag 60617930/7991917
1727.07/1727.97	c cleaning 125942 clauses out of 252044 with flag 61566948/8118917
1757.31/1758.29	c cleaning 127046 clauses out of 254103 with flag 62602065/8246918
1785.74/1786.76	c cleaning 127985 clauses out of 256056 with flag 63576145/8375917
1813.68/1814.76	c cleaning 128978 clauses out of 258071 with flag 64786414/8505917
1843.40/1844.59	c cleaning 130041 clauses out of 260093 with flag 65894653/8636917
1873.74/1874.91	c cleaning 131020 clauses out of 262055 with flag 66623392/8768920
1905.96/1907.29	c cleaning 131994 clauses out of 264033 with flag 67365916/8901918
1937.34/1938.66	c cleaning 132902 clauses out of 266038 with flag 68195385/9035917
1969.97/1971.38	c cleaning 134053 clauses out of 268136 with flag 69258739/9170917
2001.39/2002.88	c cleaning 135035 clauses out of 270083 with flag 70489593/9306917
2032.63/2034.12	c cleaning 136004 clauses out of 272049 with flag 71584794/9443918
2065.74/2067.30	c cleaning 137014 clauses out of 274044 with flag 72587813/9581917
2098.17/2099.85	c cleaning 137999 clauses out of 276030 with flag 73626081/9720917
2131.29/2133.09	c cleaning 139017 clauses out of 278033 with flag 74533115/9860919
2164.01/2165.72	c cleaning 139988 clauses out of 280015 with flag 75617033/10001918
2198.03/2199.89	c cleaning 140992 clauses out of 282026 with flag 76896477/10143917
2231.75/2233.62	c cleaning 142003 clauses out of 284034 with flag 78027622/10286917
2264.76/2266.78	c cleaning 142979 clauses out of 286033 with flag 79169027/10430919
2298.99/2301.04	c cleaning 144022 clauses out of 288053 with flag 80254137/10575918
2332.91/2335.09	c cleaning 144993 clauses out of 290030 with flag 81258615/10721917
2370.71/2372.93	c cleaning 146011 clauses out of 292037 with flag 82194737/10868917
2406.83/2409.06	c cleaning 146982 clauses out of 294026 with flag 83539655/11016917
2443.64/2445.93	c cleaning 147952 clauses out of 296045 with flag 84737520/11165918
2479.55/2481.92	c cleaning 148965 clauses out of 298092 with flag 85852091/11315917
2515.26/2517.78	c cleaning 149997 clauses out of 300130 with flag 87103472/11466920
2549.98/2552.55	c cleaning 150985 clauses out of 302130 with flag 88335869/11618917
2586.89/2589.58	c cleaning 152053 clauses out of 304147 with flag 89571776/11771919
2624.50/2627.25	c cleaning 153002 clauses out of 306093 with flag 90758654/11925918
2660.42/2663.24	c cleaning 154006 clauses out of 308092 with flag 92226607/12080919
2698.93/2701.73	c cleaning 155013 clauses out of 310084 with flag 93356605/12236917
2736.75/2739.66	c cleaning 156030 clauses out of 312076 with flag 94421908/12393922
2777.16/2780.18	c cleaning 156956 clauses out of 314042 with flag 95512478/12551918
2818.35/2821.40	c cleaning 158016 clauses out of 316085 with flag 96584802/12710917
2859.86/2863.03	c cleaning 159011 clauses out of 318071 with flag 97733569/12870919
2899.53/2902.84	c cleaning 160011 clauses out of 320058 with flag 99058069/13031917
2938.93/2942.34	c cleaning 161019 clauses out of 322047 with flag 100190418/13193917
2977.01/2980.59	c cleaning 161956 clauses out of 324028 with flag 101463229/13356917
3017.15/3020.66	c cleaning 162950 clauses out of 326072 with flag 102795605/13520917
3057.86/3061.40	c cleaning 164057 clauses out of 328122 with flag 104102091/13685917
3099.46/3103.19	c cleaning 164990 clauses out of 330065 with flag 105415749/13851917
3142.75/3146.56	c cleaning 165984 clauses out of 332075 with flag 106540696/14018917
3191.04/3194.95	c cleaning 167037 clauses out of 334091 with flag 107617277/14186917
3234.24/3238.26	c cleaning 167997 clauses out of 336055 with flag 108740951/14355918
3273.94/3278.09	c cleaning 168934 clauses out of 338057 with flag 110164831/14525917
3318.47/3321.97	c cleaning 170040 clauses out of 340123 with flag 111450675/14696917
3363.86/3367.43	c cleaning 170952 clauses out of 342083 with flag 112597603/14868917
3409.65/3413.32	c cleaning 172039 clauses out of 344131 with flag 113767458/15041917
3457.35/3461.14	c cleaning 173038 clauses out of 346093 with flag 114692843/15215918
3503.44/3507.30	c cleaning 174014 clauses out of 348056 with flag 115803420/15390919
3550.43/3554.38	c cleaning 174997 clauses out of 350040 with flag 116980595/15566917
3596.73/3600.77	c cleaning 175988 clauses out of 352043 with flag 118163629/15743917
3600.01/3604.02	c starts		: 3232
3600.01/3604.02	c conflicts		: 15757530
3600.01/3604.02	c decisions		: 264207459
3600.01/3604.03	c propagations		: 10591816480
3600.01/3604.03	c inspects		: 40406232225
3600.01/3604.03	c shortcuts		: 0
3600.01/3604.03	c learnt literals	: 0
3600.01/3604.03	c learnt binary clauses	: 29
3600.01/3604.03	c learnt ternary clauses	: 18
3600.01/3604.03	c learnt constraints	: 15757530
3600.01/3604.03	c ignored constraints	: 0
3600.01/3604.03	c root simplifications	: 0
3600.01/3604.03	c removed literals (reason simplification)	: 140333003
3600.01/3604.03	c reason swapping (by a shorter reason)	: 0
3600.01/3604.03	c Calls to reduceDB	: 173
3600.01/3604.03	c Number of update (reduction) of LBD	: 11058003
3600.01/3604.03	c Imported unit clauses	: 0
3600.01/3604.03	c No decision after first conflict	: false
3600.01/3604.03	c number of reductions to clauses (during analyze)	: 0
3600.01/3604.03	c number of learned constraints concerned by reduction	: 0
3600.01/3604.03	c number of learning phase by resolution	: 0
3600.01/3604.03	c number of learning phase by cutting planes	: 0
3600.01/3604.03	c number of rounding to 1 operations	: 0
3600.01/3604.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3604.03	c number of reductions of the coefficients by power 2 	: 0
3600.01/3604.03	c number of right shift for reduction by power 2 	: 0
3600.01/3604.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3604.03	c number of ending skipping 	: 0
3600.01/3604.03	c number of internal skipping 	: 0
3600.01/3604.03	c number of derivation steps 	: 0
3600.01/3604.03	c number of skipped derivation steps 	: 0
3600.01/3604.03	c number of remaining unassigned 	: 0
3600.01/3604.03	c number of remaining assigned 	: 0
3600.01/3604.03	c number of falsified literals weakened from reason	: 0
3600.01/3604.03	c number of falsified literals weakened from conflict	: 0
3600.01/3604.03	c time for arithmetic operations	: 0
3600.01/3604.04	c minimum degree of deleted constraints	: null
3600.01/3604.04	c maximum degree of deleted constraints	: null
3600.01/3604.05	c number of deleted constraints	: 0
3600.01/3604.05	c speed (assignments/second)	: 2939154.5288932608
3600.01/3604.05	c non guided choices	: 0
3600.22/3604.11	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 189639
3600.22/3604.11	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 29
3600.22/3604.11	s SATISFIABLE
3600.22/3604.11	c Found 3 solution(s)
3600.22/3604.13	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.22/3604.13	c objective function=24
3600.22/3604.13	c Total wall clock time (in seconds): 3603.973

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.10006 s]*
/proc/loadavg: 4.35 4.19 4.11 6/313 54402
/proc/meminfo: memFree=129452200/131249996 swapFree=33010160/33010684
[pid=54380] ppid=54374 vsize=18930384 memory=51884 CPUtime=0.09 cores=4,6
/proc/54380/stat : 54380 (java) S 54374 54380 53798 0 -1 4194304 6111 0 0 0 8 1 0 0 20 0 18 0 54697171 19384713216 12971 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
/proc/54380/statm: 4732596 12971 5353 1 0 547230 0
[pid=54380/tid=54382] ppid=54374 vsize=18930384 memory=4026531959 CPUtime=0.06 cores=4,6
/proc/54380/task/54382/stat : 54382 (java) R 54374 54380 53798 0 -1 4194368 4952 0 0 0 5 1 0 0 20 0 18 0 54697173 19384713216 12971 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54395] ppid=54374 vsize=18930384 memory=215637821742 CPUtime=0 cores=4,6
/proc/54380/task/54395/stat : 54395 (Finalizer) S 54374 54380 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54697175 19384713216 12971 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54402] ppid=54374 vsize=18930384 memory=33750 CPUtime=0 cores=4,6
/proc/54380/task/54402/stat : 54402 (Common-Cleaner) S 54374 54380 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54697176 19384713216 12971 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51884 KiB

[startup+0.206491 s]*
/proc/loadavg: 4.35 4.19 4.11 7/313 54402
/proc/meminfo: memFree=129439468/131249996 swapFree=33010160/33010684
[pid=54380] ppid=54374 vsize=18930384 memory=61800 CPUtime=0.27 cores=4,6
/proc/54380/stat : 54380 (java) S 54374 54380 53798 0 -1 4194304 6976 0 0 0 25 2 0 0 20 0 18 0 54697171 19384713216 15450 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
/proc/54380/statm: 4732596 15450 5449 1 0 547904 0
[pid=54380/tid=54382] ppid=54374 vsize=18930384 memory=4026663031 CPUtime=0.14 cores=4,6
/proc/54380/task/54382/stat : 54382 (java) R 54374 54380 53798 0 -1 4194368 5276 0 0 0 13 1 0 0 20 0 18 0 54697173 19384713216 15450 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54395] ppid=54374 vsize=18930384 memory=215637821742 CPUtime=0 cores=4,6
/proc/54380/task/54395/stat : 54395 (Finalizer) S 54374 54380 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54697175 19384713216 15450 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54402] ppid=54374 vsize=18930384 memory=33750 CPUtime=0 cores=4,6
/proc/54380/task/54402/stat : 54402 (Common-Cleaner) S 54374 54380 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54697176 19384713216 15450 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61800 KiB

[startup+0.306346 s]*
/proc/loadavg: 4.35 4.19 4.11 6/313 54402
/proc/meminfo: memFree=129390636/131249996 swapFree=33010160/33010684
[pid=54380] ppid=54374 vsize=18930384 memory=92776 CPUtime=0.45 cores=4,6
/proc/54380/stat : 54380 (java) S 54374 54380 53798 0 -1 4194304 8488 0 0 0 42 3 0 0 20 0 18 0 54697171 19384713216 23194 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
/proc/54380/statm: 4732596 23194 5449 1 0 548908 0
[pid=54380/tid=54382] ppid=54374 vsize=18930384 memory=-6000919507133163882 CPUtime=0.23 cores=4,6
/proc/54380/task/54382/stat : 54382 (java) R 54374 54380 53798 0 -1 4194368 5289 0 0 0 21 2 0 0 20 0 18 0 54697173 19384713216 23194 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54395] ppid=54374 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/54380/task/54395/stat : 54395 (Finalizer) S 54374 54380 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54697175 19384713216 23194 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54402] ppid=54374 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/54380/task/54402/stat : 54402 (Common-Cleaner) S 54374 54380 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54697176 19384713216 23194 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 92776 KiB

[startup+0.700204 s]
/proc/loadavg: 4.35 4.19 4.11 8/314 54403
/proc/meminfo: memFree=129330520/131249996 swapFree=33010160/33010684
[pid=54380] ppid=54374 vsize=18996948 memory=104632 CPUtime=1.19 cores=4,6
/proc/54380/stat : 54380 (java) S 54374 54380 53798 0 -1 4194304 10399 0 0 0 114 5 0 0 20 0 19 0 54697171 19452874752 26158 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
/proc/54380/statm: 4749237 26158 5481 1 0 550418 0
[pid=54380/tid=54382] ppid=54374 vsize=18996948 memory=17792 CPUtime=0.57 cores=4,6
/proc/54380/task/54382/stat : 54382 (java) R 54374 54380 53798 0 -1 4194368 5415 0 0 0 54 3 0 0 20 0 19 0 54697173 19452874752 26158 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54395] ppid=54374 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/54380/task/54395/stat : 54395 (Finalizer) S 54374 54380 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54697175 19452874752 26158 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54402] ppid=54374 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/54380/task/54402/stat : 54402 (Common-Cleaner) S 54374 54380 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54697176 19452874752 26158 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54403] ppid=54374 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/54380/task/54403/stat : 54403 (Timer-0) S 54374 54380 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54697206 19452874752 26158 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 104632 KiB

[startup+1.5002 s]
/proc/loadavg: 4.35 4.19 4.11 7/318 54410
/proc/meminfo: memFree=129157156/131249996 swapFree=33010160/33010684
[pid=54380] ppid=54374 vsize=18996948 memory=110100 CPUtime=2.28 cores=4,6
/proc/54380/stat : 54380 (java) S 54374 54380 53798 0 -1 4194304 11973 0 0 0 221 7 0 0 20 0 19 0 54697171 19452874752 27525 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
/proc/54380/statm: 4749237 27525 5481 1 0 551193 0
[pid=54380/tid=54382] ppid=54374 vsize=18996948 memory=10752 CPUtime=1.35 cores=4,6
/proc/54380/task/54382/stat : 54382 (java) R 54374 54380 53798 0 -1 4194368 5555 0 0 0 131 4 0 0 20 0 19 0 54697173 19452874752 27525 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54395] ppid=54374 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/54380/task/54395/stat : 54395 (Finalizer) S 54374 54380 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54697175 19452874752 27525 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54402] ppid=54374 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/54380/task/54402/stat : 54402 (Common-Cleaner) S 54374 54380 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54697176 19452874752 27525 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54403] ppid=54374 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/54380/task/54403/stat : 54403 (Timer-0) S 54374 54380 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54697206 19452874752 27525 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 110100 KiB

[startup+3.1059 s]
/proc/loadavg: 4.24 4.17 4.10 5/317 54425
/proc/meminfo: memFree=129146700/131249996 swapFree=33010160/33010684
[pid=54380] ppid=54374 vsize=18996948 memory=115588 CPUtime=4.13 cores=4,6
/proc/54380/stat : 54380 (java) S 54374 54380 53798 0 -1 4194304 17197 0 0 0 406 7 0 0 20 0 19 0 54697171 19452874752 28897 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
/proc/54380/statm: 4749237 28897 5481 1 0 551436 0
[pid=54380/tid=54382] ppid=54374 vsize=18996948 memory=-6000919489852958826 CPUtime=2.95 cores=4,6
/proc/54380/task/54382/stat : 54382 (java) R 54374 54380 53798 0 -1 4194368 6753 0 0 0 291 4 0 0 20 0 19 0 54697173 19452874752 28897 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54395] ppid=54374 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/54380/task/54395/stat : 54395 (Finalizer) S 54374 54380 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54697175 19452874752 28897 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54402] ppid=54374 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/54380/task/54402/stat : 54402 (Common-Cleaner) S 54374 54380 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54697176 19452874752 28897 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54403] ppid=54374 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/54380/task/54403/stat : 54403 (Timer-0) S 54374 54380 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54697206 19452874752 28897 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
Current children cumulated CPU time: 4.13 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 115588 KiB

[startup+6.30017 s]
/proc/loadavg: 4.24 4.17 4.10 5/337 54459
/proc/meminfo: memFree=129066152/131249996 swapFree=33010160/33010684
[pid=54380] ppid=54374 vsize=18996948 memory=116656 CPUtime=7.48 cores=4,6
/proc/54380/stat : 54380 (java) S 54374 54380 53798 0 -1 4194304 21491 0 0 0 740 8 0 0 20 0 19 0 54697171 19452874752 29164 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
/proc/54380/statm: 4749237 29164 5481 1 0 551638 0
[pid=54380/tid=54382] ppid=54374 vsize=18996948 memory=0 CPUtime=6.13 cores=4,6
/proc/54380/task/54382/stat : 54382 (java) R 54374 54380 53798 0 -1 4194368 7270 0 0 0 609 4 0 0 20 0 19 0 54697173 19452874752 29164 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54395] ppid=54374 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/54380/task/54395/stat : 54395 (Finalizer) S 54374 54380 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54697175 19452874752 29164 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54402] ppid=54374 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/54380/task/54402/stat : 54402 (Common-Cleaner) S 54374 54380 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54697176 19452874752 29164 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54403] ppid=54374 vsize=18996948 memory=110100 CPUtime=0 cores=4,6
/proc/54380/task/54403/stat : 54403 (Timer-0) S 54374 54380 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54697206 19452874752 29164 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
Current children cumulated CPU time: 7.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 116656 KiB

[startup+12.7002 s]
/proc/loadavg: 4.22 4.17 4.10 6/337 54459
/proc/meminfo: memFree=129037024/131249996 swapFree=33010160/33010684
[pid=54380] ppid=54374 vsize=18996948 memory=131068 CPUtime=14.05 cores=4,6
/proc/54380/stat : 54380 (java) S 54374 54380 53798 0 -1 4194304 26594 0 0 0 1396 9 0 0 20 0 19 0 54697171 19452874752 32767 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
/proc/54380/statm: 4749237 32767 5513 1 0 551653 0
[pid=54380/tid=54382] ppid=54374 vsize=18996948 memory=110100 CPUtime=12.52 cores=4,6
/proc/54380/task/54382/stat : 54382 (java) R 54374 54380 53798 0 -1 4194368 8013 0 0 0 1247 5 0 0 20 0 19 0 54697173 19452874752 32767 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54395] ppid=54374 vsize=18996948 memory=127992 CPUtime=0 cores=4,6
/proc/54380/task/54395/stat : 54395 (Finalizer) S 54374 54380 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54697175 19452874752 32767 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54402] ppid=54374 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/54380/task/54402/stat : 54402 (Common-Cleaner) S 54374 54380 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54697176 19452874752 32767 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54403] ppid=54374 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/54380/task/54403/stat : 54403 (Timer-0) S 54374 54380 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54697206 19452874752 32767 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
Current children cumulated CPU time: 14.05 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 131068 KiB

[startup+25.5002 s]
/proc/loadavg: 4.25 4.17 4.11 6/338 54460
/proc/meminfo: memFree=128969480/131249996 swapFree=33010160/33010684
[pid=54380] ppid=54374 vsize=18996948 memory=149664 CPUtime=26.82 cores=4,6
/proc/54380/stat : 54380 (java) S 54374 54380 53798 0 -1 4194304 28379 0 0 0 2673 9 0 0 20 0 19 0 54697171 19452874752 37416 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
/proc/54380/statm: 4749237 37416 5513 1 0 551669 0
[pid=54380/tid=54382] ppid=54374 vsize=18996948 memory=127992 CPUtime=25.28 cores=4,6
/proc/54380/task/54382/stat : 54382 (java) R 54374 54380 53798 0 -1 4194368 9194 0 0 0 2523 5 0 0 20 0 19 0 54697173 19452874752 37416 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54395] ppid=54374 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/54380/task/54395/stat : 54395 (Finalizer) S 54374 54380 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54697175 19452874752 37416 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54402] ppid=54374 vsize=18996948 memory=135328 CPUtime=0 cores=4,6
/proc/54380/task/54402/stat : 54402 (Common-Cleaner) S 54374 54380 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54697176 19452874752 37416 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54403] ppid=54374 vsize=18996948 memory=-6000919489852958826 CPUtime=0 cores=4,6
/proc/54380/task/54403/stat : 54403 (Timer-0) S 54374 54380 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54697206 19452874752 37416 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
Current children cumulated CPU time: 26.82 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 149664 KiB

[startup+51.1058 s]
/proc/loadavg: 4.23 4.17 4.11 6/339 54462
/proc/meminfo: memFree=128927272/131249996 swapFree=33010160/33010684
[pid=54380] ppid=54374 vsize=19063512 memory=172716 CPUtime=53.01 cores=4,6
/proc/54380/stat : 54380 (java) S 54374 54380 53798 0 -1 4194304 37035 0 0 0 5289 12 0 0 20 0 20 0 54697171 19521036288 43179 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
/proc/54380/statm: 4765878 43179 5545 1 0 555260 0
[pid=54380/tid=54382] ppid=54374 vsize=19063512 memory=-6000919489852958826 CPUtime=50.81 cores=4,6
/proc/54380/task/54382/stat : 54382 (java) R 54374 54380 53798 0 -1 4194368 9944 0 0 0 5075 6 0 0 20 0 20 0 54697173 19521036288 43179 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54395] ppid=54374 vsize=19063512 memory=172716 CPUtime=0 cores=4,6
/proc/54380/task/54395/stat : 54395 (Finalizer) S 54374 54380 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54697175 19521036288 43179 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54402] ppid=54374 vsize=19063512 memory=279446947000864 CPUtime=0 cores=4,6

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

[startup+3282.3 s]
/proc/loadavg: 4.25 4.24 4.14 5/339 54626
/proc/meminfo: memFree=123359144/131249996 swapFree=33010160/33010684
[pid=54380] ppid=54374 vsize=19063512 memory=1833744 CPUtime=3278.22 cores=4,6
/proc/54380/stat : 54380 (java) S 54374 54380 53798 0 -1 4194304 78654 0 0 0 327671 151 0 0 20 0 20 0 54697171 19521036288 458436 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
/proc/54380/statm: 4765878 458436 5545 1 0 558755 0
[pid=54380/tid=54382] ppid=54374 vsize=19063512 memory=293992 CPUtime=3271.2 cores=4,6
/proc/54380/task/54382/stat : 54382 (java) R 54374 54380 53798 0 -1 4194368 29908 0 0 0 327074 46 0 0 20 0 20 0 54697173 19521036288 458436 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54395] ppid=54374 vsize=19063512 memory=1833744 CPUtime=0 cores=4,6
/proc/54380/task/54395/stat : 54395 (Finalizer) S 54374 54380 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54697175 19521036288 458436 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54402] ppid=54374 vsize=19063512 memory=1833744 CPUtime=0 cores=4,6
/proc/54380/task/54402/stat : 54402 (Common-Cleaner) S 54374 54380 53798 0 -1 4194368 1217 0 0 0 0 0 0 0 20 0 20 0 54697176 19521036288 458436 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54403] ppid=54374 vsize=19063512 memory=1920 CPUtime=0 cores=4,6
/proc/54380/task/54403/stat : 54403 (Timer-0) S 54374 54380 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54697206 19521036288 458436 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
Current children cumulated CPU time: 3278.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1833744 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.22 4.14 5/339 54628
/proc/meminfo: memFree=123220120/131249996 swapFree=33010160/33010684
[pid=54380] ppid=54374 vsize=19063512 memory=1974588 CPUtime=3338.82 cores=4,6
/proc/54380/stat : 54380 (java) S 54374 54380 53798 0 -1 4194304 86854 0 0 0 333726 156 0 0 20 0 20 0 54697171 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
/proc/54380/statm: 4765878 493647 5545 1 0 561185 0
[pid=54380/tid=54382] ppid=54374 vsize=19063512 memory=293992 CPUtime=3330.86 cores=4,6
/proc/54380/task/54382/stat : 54382 (java) R 54374 54380 53798 0 -1 4194368 35846 0 0 0 333039 47 0 0 20 0 20 0 54697173 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54395] ppid=54374 vsize=19063512 memory=12672 CPUtime=0 cores=4,6
/proc/54380/task/54395/stat : 54395 (Finalizer) S 54374 54380 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54697175 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54402] ppid=54374 vsize=19063512 memory=1974588 CPUtime=0 cores=4,6
/proc/54380/task/54402/stat : 54402 (Common-Cleaner) S 54374 54380 53798 0 -1 4194368 1219 0 0 0 0 0 0 0 20 0 20 0 54697176 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54403] ppid=54374 vsize=19063512 memory=1974588 CPUtime=0 cores=4,6
/proc/54380/task/54403/stat : 54403 (Timer-0) S 54374 54380 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54697206 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
Current children cumulated CPU time: 3338.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1974588 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.19 4.14 5/340 54635
/proc/meminfo: memFree=123199572/131249996 swapFree=33010160/33010684
[pid=54380] ppid=54374 vsize=19063512 memory=1974588 CPUtime=3398.67 cores=4,6
/proc/54380/stat : 54380 (java) S 54374 54380 53798 0 -1 4194304 86888 0 0 0 339710 157 0 0 20 0 20 0 54697171 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
/proc/54380/statm: 4765878 493647 5545 1 0 561185 0
[pid=54380/tid=54382] ppid=54374 vsize=19063512 memory=293992 CPUtime=3390.71 cores=4,6
/proc/54380/task/54382/stat : 54382 (java) R 54374 54380 53798 0 -1 4194368 35848 0 0 0 339023 48 0 0 20 0 20 0 54697173 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54395] ppid=54374 vsize=19063512 memory=1974588 CPUtime=0 cores=4,6
/proc/54380/task/54395/stat : 54395 (Finalizer) S 54374 54380 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54697175 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54402] ppid=54374 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/54380/task/54402/stat : 54402 (Common-Cleaner) S 54374 54380 53798 0 -1 4194368 1219 0 0 0 0 0 0 0 20 0 20 0 54697176 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54403] ppid=54374 vsize=19063512 memory=1974588 CPUtime=0 cores=4,6
/proc/54380/task/54403/stat : 54403 (Timer-0) S 54374 54380 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54697206 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
Current children cumulated CPU time: 3398.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1974588 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.19 4.14 5/341 54638
/proc/meminfo: memFree=123142380/131249996 swapFree=33010160/33010684
[pid=54380] ppid=54374 vsize=19063512 memory=1974588 CPUtime=3458.54 cores=4,6
/proc/54380/stat : 54380 (java) S 54374 54380 53798 0 -1 4194304 86921 0 0 0 345695 159 0 0 20 0 20 0 54697171 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
/proc/54380/statm: 4765878 493647 5545 1 0 561185 0
[pid=54380/tid=54382] ppid=54374 vsize=19063512 memory=293992 CPUtime=3450.54 cores=4,6
/proc/54380/task/54382/stat : 54382 (java) R 54374 54380 53798 0 -1 4194368 35849 0 0 0 345006 48 0 0 20 0 20 0 54697173 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54395] ppid=54374 vsize=19063512 memory=1974588 CPUtime=0 cores=4,6
/proc/54380/task/54395/stat : 54395 (Finalizer) S 54374 54380 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54697175 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54402] ppid=54374 vsize=19063512 memory=1974588 CPUtime=0 cores=4,6
/proc/54380/task/54402/stat : 54402 (Common-Cleaner) S 54374 54380 53798 0 -1 4194368 1219 0 0 0 0 0 0 0 20 0 20 0 54697176 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54403] ppid=54374 vsize=19063512 memory=2816 CPUtime=0 cores=4,6
/proc/54380/task/54403/stat : 54403 (Timer-0) S 54374 54380 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54697206 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
Current children cumulated CPU time: 3458.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1974588 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.17 4.13 5/341 54640
/proc/meminfo: memFree=123142252/131249996 swapFree=33010160/33010684
[pid=54380] ppid=54374 vsize=19063512 memory=1974588 CPUtime=3518.39 cores=4,6
/proc/54380/stat : 54380 (java) S 54374 54380 53798 0 -1 4194304 87204 0 0 0 351678 161 0 0 20 0 20 0 54697171 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
/proc/54380/statm: 4765878 493647 5545 1 0 561185 0
[pid=54380/tid=54382] ppid=54374 vsize=19063512 memory=293992 CPUtime=3510.38 cores=4,6
/proc/54380/task/54382/stat : 54382 (java) R 54374 54380 53798 0 -1 4194368 36104 0 0 0 350989 49 0 0 20 0 20 0 54697173 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54395] ppid=54374 vsize=19063512 memory=1974588 CPUtime=0 cores=4,6
/proc/54380/task/54395/stat : 54395 (Finalizer) S 54374 54380 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54697175 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54402] ppid=54374 vsize=19063512 memory=1974588 CPUtime=0 cores=4,6
/proc/54380/task/54402/stat : 54402 (Common-Cleaner) S 54374 54380 53798 0 -1 4194368 1219 0 0 0 0 0 0 0 20 0 20 0 54697176 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54403] ppid=54374 vsize=19063512 memory=1974588 CPUtime=0 cores=4,6
/proc/54380/task/54403/stat : 54403 (Timer-0) S 54374 54380 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54697206 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
Current children cumulated CPU time: 3518.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1974588 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.15 4.13 5/340 54642
/proc/meminfo: memFree=123143052/131249996 swapFree=33010160/33010684
[pid=54380] ppid=54374 vsize=19063512 memory=1974588 CPUtime=3578.37 cores=4,6
/proc/54380/stat : 54380 (java) S 54374 54380 53798 0 -1 4194304 88256 0 0 0 357674 163 0 0 20 0 20 0 54697171 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
/proc/54380/statm: 4765878 493647 5545 1 0 561185 0
[pid=54380/tid=54382] ppid=54374 vsize=19063512 memory=293992 CPUtime=3570.11 cores=4,6
/proc/54380/task/54382/stat : 54382 (java) R 54374 54380 53798 0 -1 4194368 36741 0 0 0 356961 50 0 0 20 0 20 0 54697173 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54395] ppid=54374 vsize=19063512 memory=1974588 CPUtime=0 cores=4,6
/proc/54380/task/54395/stat : 54395 (Finalizer) S 54374 54380 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54697175 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54402] ppid=54374 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/54380/task/54402/stat : 54402 (Common-Cleaner) S 54374 54380 53798 0 -1 4194368 1304 0 0 0 0 0 0 0 20 0 20 0 54697176 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54403] ppid=54374 vsize=19063512 memory=8113408836119732611 CPUtime=0 cores=4,6
/proc/54380/task/54403/stat : 54403 (Timer-0) S 54374 54380 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54697206 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
Current children cumulated CPU time: 3578.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1974588 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604 s]*
/proc/loadavg: 4.13 4.15 4.13 11/340 54776
/proc/meminfo: memFree=125594868/131249996 swapFree=33010160/33010684
[pid=54380] ppid=54374 vsize=19063512 memory=1974588 CPUtime=3600.01 cores=4,6
/proc/54380/stat : 54380 (java) S 54374 54380 53798 0 -1 4194304 88617 0 0 0 359836 165 0 0 20 0 20 0 54697171 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
/proc/54380/statm: 4765878 493647 5545 1 0 561185 0
[pid=54380/tid=54382] ppid=54374 vsize=19063512 memory=-6000919502771153002 CPUtime=3591.74 cores=4,6
/proc/54380/task/54382/stat : 54382 (java) R 54374 54380 53798 0 -1 4194368 37087 0 0 0 359123 51 0 0 20 0 20 0 54697173 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54395] ppid=54374 vsize=19063512 memory=2432 CPUtime=0 cores=4,6
/proc/54380/task/54395/stat : 54395 (Finalizer) S 54374 54380 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54697175 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54402] ppid=54374 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/54380/task/54402/stat : 54402 (Common-Cleaner) S 54374 54380 53798 0 -1 4194368 1304 0 0 0 0 0 0 0 20 0 20 0 54697176 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54403] ppid=54374 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/54380/task/54403/stat : 54403 (Timer-0) S 54374 54380 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54697206 19521036288 493647 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1974588 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.61 s, system=1.67419 s

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

[startup+3604.11 s]
/proc/loadavg: 4.13 4.15 4.13 11/340 54776
/proc/meminfo: memFree=125594868/131249996 swapFree=33010160/33010684
[pid=54380] ppid=54374 vsize=19263204 memory=1975612 CPUtime=3600.22 cores=4,6
/proc/54380/stat : 54380 (java) S 54374 54380 53798 0 -1 4194304 90958 0 0 0 359856 166 0 0 20 0 21 0 54697171 19725520896 493903 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
/proc/54380/statm: 4815801 493903 5577 1 0 562132 0
[pid=54380/tid=54382] ppid=54374 vsize=19263204 memory=293992 CPUtime=3591.83 cores=4,6
/proc/54380/task/54382/stat : 54382 (java) R 54374 54380 53798 0 -1 4194368 37403 0 0 0 359132 51 0 0 20 0 21 0 54697173 19725520896 493903 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54395] ppid=54374 vsize=19263204 memory=1920 CPUtime=0 cores=4,6
/proc/54380/task/54395/stat : 54395 (Finalizer) S 54374 54380 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 54697175 19725520896 493903 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
[pid=54380/tid=54402] ppid=54374 vsize=19263204 memory=1974588 CPUtime=0 cores=4,6
/proc/54380/task/54402/stat : 54402 (Common-Cleaner) S 54374 54380 53798 0 -1 4194368 1304 0 0 0 0 0 0 0 20 0 21 0 54697176 19725520896 493903 18446744073709551615 94135863365632 94135863369328 140733864018560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94135863377144 94135863377936 94135864922112 140733864020353 140733864020454 140733864020454 140733864026056 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1975612 KiB

Child status: 143

Real time (s): 3604.17
CPU time (s): 3600.29
CPU user time (s): 3598.61
CPU system time (s): 1.67419
CPU usage (%): 99.8923
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1975612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.61
system time used= 1.67419
maximum resident set size= 1975868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91278
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104347
involuntary context switches= 6985


# summary of solver processes directly reported to runsolver:
#   pid: 54380
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3598.61
#   total CPU system time (s): 1.67419

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52611 second user time and 16.4592 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-01 19:16:27
IDJOB=4497706
IDBENCH=148191
IDSOLVER=3363
FILE ID=nodeC029/4497706-1751390187
RUNJOBID= nodeC029-1751386581-53809
SLURM_JOB_ID= 9598249
Free space on /tmp= 433028 MiB

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

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

MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=1840681181

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129489244 kB
MemAvailable:   129472740 kB
Buffers:            2128 kB
Cached:           790120 kB
SwapCached:           40 kB
Active:           747676 kB
Inactive:         420484 kB
Active(anon):     389168 kB
Inactive(anon):     4768 kB
Active(file):     358508 kB
Inactive(file):   415716 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15120 kB
Writeback:             0 kB
AnonPages:        379048 kB
Mapped:           123140 kB
Shmem:             18020 kB
KReclaimable:      97020 kB
Slab:             184164 kB
SReclaimable:      97020 kB
SUnreclaim:        87144 kB
KernelStack:        4868 kB
PageTables:         4160 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4823112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151352 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC029 at 2025-07-01 20:16:32