Trace number 4497707

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 VeriPB 2025-06-06SAT (TO)24 3600.75 3675.58

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.13/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.12	c See www.sat4j.org for details.
0.13/0.13	c version PB25.v20250606
0.13/0.15	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.15	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.15	c java.vm.version	22.0.1+8-16
0.13/0.15	c java.vm.vendor	Oracle Corporation
0.13/0.15	c sun.arch.data.model	64
0.13/0.15	c java.version		22.0.1
0.13/0.15	c os.name		Linux
0.13/0.15	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.13/0.15	c os.arch		amd64
0.13/0.15	c Free memory 		2106806208
0.13/0.15	c Max memory 		16282288128
0.13/0.15	c Total memory 		2113929216
0.13/0.16	c Number of processors 	2
0.13/0.22	c Pseudo Boolean Optimization by upper bound
0.13/0.22	c --- Begin Solver configuration ---
0.13/0.22	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.22	c Learn all clauses as in MiniSAT
0.13/0.22	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.22	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.22	c Expensive reason simplification
0.13/0.22	c Glucose 2.1 dynamic restart strategy
0.13/0.22	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.22	c timeout=2147483s
0.13/0.22	c DB Simplification allowed=false
0.13/0.22	c Listener: none
0.13/0.22	c --- End Solver configuration ---
0.13/0.22	c solving HOME/instance-4497707-1751468992.opb
0.13/0.22	c reading problem ... 
0.13/0.22	c using VERIPB proof format
0.13/0.22	c  objective function found
0.71/0.52	c ... done. Wall clock time 0.296s.
0.71/0.52	c declared #vars     4318
0.71/0.52	c #constraints  15120
0.71/0.52	c constraints type 
0.71/0.52	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 11287
0.71/0.52	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.71/0.52	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.71/0.52	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3827
0.71/0.52	c 15120 constraints processed.
0.89/0.53	c objective function length is 490 literals
1.03/0.62	c SATISFIABLE
1.03/0.62	c OPTIMIZING...
1.03/0.62	c Got one! Elapsed wall clock time (in seconds):0.399
1.03/0.62	o 26
1.03/0.65	c Got one! Elapsed wall clock time (in seconds):0.429
1.03/0.65	o 25
1.82/1.06	c Got one! Elapsed wall clock time (in seconds):0.841
1.82/1.06	o 24
4.03/2.36	c cleaning 2952 clauses out of 5917 with flag 24227/5917
5.72/3.59	c cleaning 4476 clauses out of 8965 with flag 55604/11917
7.52/4.99	c cleaning 5736 clauses out of 11489 with flag 98289/18917
9.36/6.58	c cleaning 6865 clauses out of 13756 with flag 156449/26920
11.25/8.44	c cleaning 7939 clauses out of 15889 with flag 210704/35918
13.29/10.45	c cleaning 8956 clauses out of 17950 with flag 279237/45918
16.37/12.66	c cleaning 9972 clauses out of 19993 with flag 348109/56917
19.45/15.73	c cleaning 10992 clauses out of 22021 with flag 416628/68917
22.13/18.37	c cleaning 11999 clauses out of 24029 with flag 500610/81917
25.03/21.28	c cleaning 13007 clauses out of 26030 with flag 587220/95917
28.11/24.24	c cleaning 13993 clauses out of 28024 with flag 682511/110918
31.45/27.64	c cleaning 15015 clauses out of 30033 with flag 798221/126920
35.04/31.15	c cleaning 16000 clauses out of 32015 with flag 925440/143917
38.40/34.42	c cleaning 16992 clauses out of 34015 with flag 1075644/161917
41.35/37.39	c cleaning 17941 clauses out of 36024 with flag 1258202/180918
45.26/40.55	c cleaning 19034 clauses out of 38082 with flag 1487481/200917
48.98/43.81	c cleaning 19997 clauses out of 40048 with flag 1672210/221917
52.91/47.42	c cleaning 21009 clauses out of 42051 with flag 1847858/243917
56.71/51.28	c cleaning 22003 clauses out of 44043 with flag 2018419/266918
60.80/55.36	c cleaning 22972 clauses out of 46039 with flag 2216121/290917
64.64/59.25	c cleaning 24025 clauses out of 48067 with flag 2438541/315917
68.73/63.30	c cleaning 24966 clauses out of 50042 with flag 2712557/341917
73.02/67.66	c cleaning 26000 clauses out of 52076 with flag 2972569/368917
77.31/72.00	c cleaning 26973 clauses out of 54076 with flag 3225642/396917
82.00/76.62	c cleaning 28040 clauses out of 56103 with flag 3479348/425917
86.59/81.28	c cleaning 28971 clauses out of 58063 with flag 3722761/455917
91.49/86.11	c cleaning 29976 clauses out of 60092 with flag 4004508/486917
96.78/91.57	c cleaning 31021 clauses out of 62116 with flag 4303243/518917
102.33/97.00	c cleaning 32012 clauses out of 64095 with flag 4592277/551917
108.12/102.74	c cleaning 32977 clauses out of 66083 with flag 4915704/585917
114.31/109.00	c cleaning 34039 clauses out of 68106 with flag 5194259/620917
120.72/115.32	c cleaning 35032 clauses out of 70067 with flag 5470694/656917
129.12/123.88	c cleaning 36006 clauses out of 72035 with flag 5676078/693917
135.81/130.59	c cleaning 36994 clauses out of 74029 with flag 5946755/731917
143.00/137.79	c cleaning 37989 clauses out of 76035 with flag 6202915/770917
150.58/145.33	c cleaning 39003 clauses out of 78049 with flag 6485665/810920
157.81/152.67	c cleaning 39899 clauses out of 80043 with flag 6779392/851917
165.50/160.38	c cleaning 41060 clauses out of 82144 with flag 7083821/893917
173.38/168.24	c cleaning 42016 clauses out of 84084 with flag 7415333/936917
181.27/176.13	c cleaning 42993 clauses out of 86068 with flag 7795140/980917
190.44/189.34	c cleaning 44026 clauses out of 88076 with flag 8091788/1025918
198.32/197.27	c cleaning 45001 clauses out of 90049 with flag 8425280/1071917
206.43/205.36	c cleaning 45999 clauses out of 92048 with flag 8764594/1118917
214.31/213.23	c cleaning 47012 clauses out of 94053 with flag 9197263/1166921
223.16/222.14	c cleaning 47931 clauses out of 96038 with flag 9598849/1215918
232.83/231.82	c cleaning 49041 clauses out of 98107 with flag 9995273/1265918
241.78/240.80	c cleaning 49964 clauses out of 100065 with flag 10434327/1316917
252.21/251.32	c cleaning 51033 clauses out of 102101 with flag 10988179/1368917
261.80/260.91	c cleaning 52025 clauses out of 104070 with flag 11426552/1421919
271.40/270.59	c cleaning 52965 clauses out of 106043 with flag 11907324/1475917
282.59/281.73	c cleaning 53959 clauses out of 108078 with flag 12398771/1530917
292.46/291.64	c cleaning 55030 clauses out of 110119 with flag 12930016/1586917
302.48/301.60	c cleaning 55994 clauses out of 112089 with flag 13460617/1643917
313.53/312.76	c cleaning 57038 clauses out of 114096 with flag 13948143/1701918
324.91/324.12	c cleaning 57975 clauses out of 116057 with flag 14449359/1760917
336.57/335.85	c cleaning 59031 clauses out of 118082 with flag 14925514/1820917
349.68/349.10	c cleaning 59984 clauses out of 120052 with flag 15419757/1881918
361.15/360.56	c cleaning 61014 clauses out of 122067 with flag 15972306/1943917
373.73/373.14	c cleaning 61999 clauses out of 124053 with flag 16385251/2006917
387.17/386.65	c cleaning 62992 clauses out of 126054 with flag 16858879/2070917
399.98/399.53	c cleaning 63998 clauses out of 128063 with flag 17393073/2135918
413.12/412.71	c cleaning 65008 clauses out of 130065 with flag 17966057/2201918
427.80/427.45	c cleaning 66019 clauses out of 132056 with flag 18378167/2268917
443.31/443.05	c cleaning 67002 clauses out of 134041 with flag 18811482/2336921
457.44/457.13	c cleaning 68012 clauses out of 136035 with flag 19297088/2405917
473.25/473.09	c cleaning 68980 clauses out of 138024 with flag 19722400/2475918
488.88/488.72	c cleaning 70004 clauses out of 140043 with flag 20273788/2546917
503.73/503.60	c cleaning 70999 clauses out of 142039 with flag 20822242/2618917
521.03/520.91	c cleaning 72016 clauses out of 144040 with flag 21403987/2691917
535.73/535.85	c cleaning 72930 clauses out of 146024 with flag 21955260/2765917
552.66/552.79	c cleaning 74027 clauses out of 148094 with flag 22382983/2840917
570.76/570.96	c cleaning 75026 clauses out of 150067 with flag 22845123/2916917
587.28/590.68	c cleaning 75976 clauses out of 152041 with flag 23342420/2993917
605.03/608.31	c cleaning 76996 clauses out of 154065 with flag 23921284/3071917
620.92/624.24	c cleaning 78013 clauses out of 156069 with flag 24442972/3150917
638.15/641.48	c cleaning 79015 clauses out of 158056 with flag 24914728/3230917
654.95/658.38	c cleaning 80009 clauses out of 160042 with flag 25500142/3311918
672.99/676.31	c cleaning 80967 clauses out of 162032 with flag 26052925/3393917
690.48/693.94	c cleaning 82013 clauses out of 164066 with flag 26698397/3476918
708.41/711.81	c cleaning 82949 clauses out of 166052 with flag 27324445/3560917
725.97/729.42	c cleaning 83937 clauses out of 168103 with flag 28024501/3645917
746.36/754.39	c cleaning 85029 clauses out of 170166 with flag 28757371/3731917
764.13/772.11	c cleaning 86057 clauses out of 172138 with flag 29426426/3818918
783.36/791.42	c cleaning 87004 clauses out of 174080 with flag 30221478/3906917
801.85/810.02	c cleaning 87945 clauses out of 176076 with flag 31019957/3995917
823.59/831.82	c cleaning 89002 clauses out of 178132 with flag 31839370/4085918
841.79/850.02	c cleaning 89983 clauses out of 180129 with flag 32588507/4176917
860.43/868.48	c cleaning 91031 clauses out of 182146 with flag 33310740/4268917
880.56/893.76	c cleaning 92043 clauses out of 184120 with flag 34082954/4361922
900.49/913.76	c cleaning 92970 clauses out of 186072 with flag 34875589/4455917
921.39/934.64	c cleaning 94005 clauses out of 188104 with flag 35754394/4550919
942.86/955.89	c cleaning 94996 clauses out of 190097 with flag 36419919/4646917
966.77/979.83	c cleaning 96037 clauses out of 192107 with flag 37057510/4743923
991.08/1006.26	c cleaning 97016 clauses out of 194064 with flag 37681633/4841917
1012.87/1028.10	c cleaning 98012 clauses out of 196050 with flag 38330468/4940919
1035.67/1050.86	c cleaning 98927 clauses out of 198036 with flag 39027082/5040917
1059.14/1074.49	c cleaning 100041 clauses out of 200110 with flag 39908659/5141918
1082.68/1098.08	c cleaning 100956 clauses out of 202068 with flag 40782677/5243917
1106.08/1121.55	c cleaning 102045 clauses out of 204112 with flag 41494091/5346917
1130.21/1145.65	c cleaning 102999 clauses out of 206067 with flag 42105267/5450917
1156.84/1172.48	c cleaning 104025 clauses out of 208068 with flag 42637165/5555917
1181.42/1197.09	c cleaning 105015 clauses out of 210043 with flag 43352406/5661917
1207.48/1223.25	c cleaning 106000 clauses out of 212029 with flag 44176508/5768918
1234.05/1250.05	c cleaning 106995 clauses out of 214029 with flag 44899174/5876918
1261.20/1277.36	c cleaning 107997 clauses out of 216036 with flag 45668462/5985920
1288.11/1304.42	c cleaning 109005 clauses out of 218036 with flag 46371326/6095917
1315.04/1331.48	c cleaning 110000 clauses out of 220031 with flag 47148856/6206917
1340.32/1356.82	c cleaning 110958 clauses out of 222031 with flag 48155382/6318917
1367.05/1383.62	c cleaning 112006 clauses out of 224073 with flag 49040401/6431917
1393.27/1411.49	c cleaning 113025 clauses out of 226067 with flag 49838721/6545917
1418.16/1436.31	c cleaning 114004 clauses out of 228042 with flag 50479109/6660917
1444.70/1462.91	c cleaning 115003 clauses out of 230038 with flag 51352651/6776917
1471.37/1489.63	c cleaning 115914 clauses out of 232035 with flag 52131019/6893917
1498.34/1516.64	c cleaning 117041 clauses out of 234121 with flag 53178228/7011917
1525.65/1544.73	c cleaning 118021 clauses out of 236080 with flag 54049999/7130917
1553.57/1572.69	c cleaning 119012 clauses out of 238061 with flag 54815655/7250919
1580.18/1599.35	c cleaning 119963 clauses out of 240047 with flag 55890185/7371917
1608.03/1627.24	c cleaning 121040 clauses out of 242084 with flag 56865129/7493917
1633.80/1653.04	c cleaning 121997 clauses out of 244046 with flag 57693905/7616919
1661.67/1680.93	c cleaning 123016 clauses out of 246047 with flag 58660222/7740917
1691.45/1710.87	c cleaning 123976 clauses out of 248033 with flag 59761225/7865919
1722.44/1741.80	c cleaning 125011 clauses out of 250055 with flag 60617930/7991917
1752.25/1778.69	c cleaning 125942 clauses out of 252044 with flag 61566948/8118917
1782.44/1808.88	c cleaning 127046 clauses out of 254103 with flag 62602065/8246918
1811.69/1838.14	c cleaning 127985 clauses out of 256056 with flag 63576145/8375917
1840.36/1866.94	c cleaning 128978 clauses out of 258071 with flag 64786414/8505917
1872.23/1898.74	c cleaning 130041 clauses out of 260093 with flag 65894653/8636917
1904.51/1937.76	c cleaning 131020 clauses out of 262055 with flag 66623392/8768920
1936.51/1969.81	c cleaning 131994 clauses out of 264033 with flag 67365916/8901918
1968.99/2002.48	c cleaning 132902 clauses out of 266038 with flag 68195385/9035917
2003.16/2036.74	c cleaning 134053 clauses out of 268136 with flag 69258739/9170917
2034.45/2068.04	c cleaning 135035 clauses out of 270083 with flag 70489593/9306917
2067.28/2106.29	c cleaning 136004 clauses out of 272049 with flag 71584794/9443918
2102.02/2141.11	c cleaning 137014 clauses out of 274044 with flag 72587813/9581917
2134.18/2173.24	c cleaning 137999 clauses out of 276030 with flag 73626081/9720917
2168.20/2207.35	c cleaning 139017 clauses out of 278033 with flag 74533115/9860919
2202.48/2241.73	c cleaning 139988 clauses out of 280015 with flag 75617033/10001918
2239.59/2281.76	c cleaning 140992 clauses out of 282026 with flag 76896477/10143917
2275.61/2317.91	c cleaning 142003 clauses out of 284034 with flag 78027622/10286917
2308.91/2351.30	c cleaning 142979 clauses out of 286033 with flag 79169027/10430919
2343.36/2385.76	c cleaning 144022 clauses out of 288053 with flag 80254137/10575918
2378.85/2421.37	c cleaning 144993 clauses out of 290030 with flag 81258615/10721917
2418.04/2461.57	c cleaning 146011 clauses out of 292037 with flag 82194737/10868917
2454.86/2498.44	c cleaning 146982 clauses out of 294026 with flag 83539655/11016917
2492.91/2536.60	c cleaning 147952 clauses out of 296045 with flag 84737520/11165918
2529.27/2573.16	c cleaning 148965 clauses out of 298092 with flag 85852091/11315917
2567.13/2611.09	c cleaning 149997 clauses out of 300130 with flag 87103472/11466920
2602.88/2650.94	c cleaning 150985 clauses out of 302130 with flag 88335869/11618917
2640.12/2688.21	c cleaning 152053 clauses out of 304147 with flag 89571776/11771919
2679.11/2727.38	c cleaning 153002 clauses out of 306093 with flag 90758654/11925918
2716.81/2765.03	c cleaning 154006 clauses out of 308092 with flag 92226607/12080919
2757.01/2812.36	c cleaning 155013 clauses out of 310084 with flag 93356605/12236917
2798.92/2854.41	c cleaning 156030 clauses out of 312076 with flag 94421908/12393922
2839.24/2894.98	c cleaning 156956 clauses out of 314042 with flag 95512478/12551918
2881.44/2942.54	c cleaning 158016 clauses out of 316085 with flag 96584802/12710917
2923.24/2984.35	c cleaning 159011 clauses out of 318071 with flag 97733569/12870919
2964.60/3025.99	c cleaning 160011 clauses out of 320058 with flag 99058069/13031917
3005.63/3067.04	c cleaning 161019 clauses out of 322047 with flag 100190418/13193917
3045.89/3112.97	c cleaning 161956 clauses out of 324028 with flag 101463229/13356917
3086.48/3153.62	c cleaning 162950 clauses out of 326072 with flag 102795605/13520917
3128.80/3196.05	c cleaning 164057 clauses out of 328122 with flag 104102091/13685917
3173.14/3240.35	c cleaning 164990 clauses out of 330065 with flag 105415749/13851917
3218.23/3285.58	c cleaning 165984 clauses out of 332075 with flag 106540696/14018917
3268.40/3338.35	c cleaning 167037 clauses out of 334091 with flag 107617277/14186917
3311.24/3381.21	c cleaning 167997 clauses out of 336055 with flag 108740951/14355918
3353.33/3423.43	c cleaning 168934 clauses out of 338057 with flag 110164831/14525917
3398.88/3471.29	c cleaning 170040 clauses out of 340123 with flag 111450675/14696917
3447.64/3520.13	c cleaning 170952 clauses out of 342083 with flag 112597603/14868917
3495.44/3568.05	c cleaning 172039 clauses out of 344131 with flag 113767458/15041917
3544.98/3620.06	c cleaning 173038 clauses out of 346093 with flag 114692843/15215918
3594.34/3669.55	c cleaning 174014 clauses out of 348056 with flag 115803420/15390919
3600.07/3675.25	c starts		: 3151
3600.07/3675.27	c conflicts		: 15414238
3600.07/3675.28	c decisions		: 260527363
3600.07/3675.28	c propagations		: 10350554622
3600.07/3675.28	c inspects		: 39382999505
3600.07/3675.28	c shortcuts		: 0
3600.07/3675.28	c learnt literals	: 0
3600.07/3675.28	c learnt binary clauses	: 29
3600.07/3675.28	c learnt ternary clauses	: 17
3600.07/3675.28	c learnt constraints	: 15414238
3600.07/3675.28	c ignored constraints	: 0
3600.07/3675.28	c root simplifications	: 0
3600.07/3675.28	c removed literals (reason simplification)	: 137151807
3600.07/3675.29	c reason swapping (by a shorter reason)	: 0
3600.07/3675.29	c Calls to reduceDB	: 171
3600.07/3675.29	c Number of update (reduction) of LBD	: 10832226
3600.07/3675.29	c Imported unit clauses	: 0
3600.07/3675.29	c No decision after first conflict	: false
3600.07/3675.29	c number of reductions to clauses (during analyze)	: 0
3600.07/3675.29	c number of learned constraints concerned by reduction	: 0
3600.07/3675.29	c number of learning phase by resolution	: 0
3600.07/3675.29	c number of learning phase by cutting planes	: 0
3600.07/3675.29	c number of rounding to 1 operations	: 0
3600.07/3675.29	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3675.29	c number of reductions of the coefficients by power 2 	: 0
3600.07/3675.29	c number of right shift for reduction by power 2 	: 0
3600.07/3675.29	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3675.29	c number of ending skipping 	: 0
3600.07/3675.29	c number of internal skipping 	: 0
3600.07/3675.29	c number of derivation steps 	: 0
3600.07/3675.29	c number of skipped derivation steps 	: 0
3600.07/3675.29	c number of remaining unassigned 	: 0
3600.07/3675.30	c number of remaining assigned 	: 0
3600.07/3675.30	c number of falsified literals weakened from reason	: 0
3600.07/3675.30	c number of falsified literals weakened from conflict	: 0
3600.07/3675.30	c time for arithmetic operations	: 0
3600.07/3675.30	c minimum degree of deleted constraints	: null
3600.07/3675.30	c maximum degree of deleted constraints	: null
3600.07/3675.30	c number of deleted constraints	: 0
3600.27/3675.31	c speed (assignments/second)	: 2816670.591289525
3600.27/3675.31	c non guided choices	: 0
3600.46/3675.48	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 197332
3600.46/3675.48	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 29
3600.46/3675.48	s SATISFIABLE
3600.46/3675.49	c Found 3 solution(s)
3600.66/3675.51	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.66/3675.53	c objective function=24
3600.66/3675.53	c Total wall clock time (in seconds): 3675.311

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: 63794 MiB (55081 MiB free)
  memory of node 1: 64507 MiB (63742 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497707-1751468992/watcher-4497707-1751468992 -o /tmp/evaluation-result-4497707-1751468992/solver-4497707-1751468992 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751465335-65321 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4497707-1751468992 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4497707-1751468992.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100067 s]*
/proc/loadavg: 4.39 4.30 4.23 6/330 65998
/proc/meminfo: memFree=121641904/131382120 swapFree=33010416/33010684
[pid=65980] ppid=65977 vsize=18930384 memory=51452 CPUtime=0.13 cores=5,7
/proc/65980/stat : 65980 (java) S 65977 65980 65308 0 -1 4194304 6007 0 0 0 10 3 0 0 20 0 18 0 62578586 19384713216 12863 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
/proc/65980/statm: 4732596 12863 5367 1 0 547199 0
[pid=65980/tid=65982] ppid=65977 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/65980/task/65982/stat : 65982 (java) R 65977 65980 65308 0 -1 4194368 4854 0 0 0 6 2 0 0 20 0 18 0 62578587 19384713216 12895 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65991] ppid=65977 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/65980/task/65991/stat : 65991 (Finalizer) S 65977 65980 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62578592 19384713216 12895 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65998] ppid=65977 vsize=18930384 memory=58494082626307 CPUtime=0 cores=5,7
/proc/65980/task/65998/stat : 65998 (Common-Cleaner) S 65977 65980 65308 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 62578592 19384713216 12895 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51452 KiB

[startup+0.217439 s]*
/proc/loadavg: 4.39 4.30 4.23 7/330 65998
/proc/meminfo: memFree=121631760/131382120 swapFree=33010416/33010684
[pid=65980] ppid=65977 vsize=18930384 memory=60680 CPUtime=0.36 cores=5,7
/proc/65980/stat : 65980 (java) S 65977 65980 65308 0 -1 4194304 6711 0 0 0 32 4 0 0 20 0 18 0 62578586 19384713216 15170 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
/proc/65980/statm: 4732596 15170 5431 1 0 547824 0
[pid=65980/tid=65982] ppid=65977 vsize=18930384 memory=4026728732 CPUtime=0.21 cores=5,7
/proc/65980/task/65982/stat : 65982 (java) R 65977 65980 65308 0 -1 4194368 5283 0 0 0 18 3 0 0 20 0 18 0 62578587 19384713216 15170 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65991] ppid=65977 vsize=18930384 memory=12896 CPUtime=0 cores=5,7
/proc/65980/task/65991/stat : 65991 (Finalizer) S 65977 65980 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62578592 19384713216 15170 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65998] ppid=65977 vsize=18930384 memory=57394570986489 CPUtime=0 cores=5,7
/proc/65980/task/65998/stat : 65998 (Common-Cleaner) S 65977 65980 65308 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 62578592 19384713216 15170 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60680 KiB

[startup+0.328164 s]*
/proc/loadavg: 4.39 4.30 4.23 7/330 65998
/proc/meminfo: memFree=121627664/131382120 swapFree=33010416/33010684
[pid=65980] ppid=65977 vsize=18930384 memory=65216 CPUtime=0.55 cores=5,7
/proc/65980/stat : 65980 (java) S 65977 65980 65308 0 -1 4194304 6816 0 0 0 50 5 0 0 20 0 18 0 62578586 19384713216 16304 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
/proc/65980/statm: 4732596 16304 5431 1 0 547895 0
[pid=65980/tid=65982] ppid=65977 vsize=18930384 memory=-6000919476967663465 CPUtime=0.29 cores=5,7
/proc/65980/task/65982/stat : 65982 (java) R 65977 65980 65308 0 -1 4194368 5322 0 0 0 26 3 0 0 20 0 18 0 62578587 19384713216 16304 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65991] ppid=65977 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/65980/task/65991/stat : 65991 (Finalizer) S 65977 65980 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62578592 19384713216 16304 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65998] ppid=65977 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/65980/task/65998/stat : 65998 (Common-Cleaner) S 65977 65980 65308 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 62578592 19384713216 16304 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65216 KiB

[startup+0.700294 s]
/proc/loadavg: 4.39 4.30 4.23 7/330 65998
/proc/meminfo: memFree=121591872/131382120 swapFree=33010416/33010684
[pid=65980] ppid=65977 vsize=18996948 memory=101368 CPUtime=1.22 cores=5,7
/proc/65980/stat : 65980 (java) S 65977 65980 65308 0 -1 4194304 8582 0 0 0 115 7 0 0 20 0 19 0 62578586 19452874752 25342 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
/proc/65980/statm: 4749237 25342 5463 1 0 549407 0
[pid=65980/tid=65982] ppid=65977 vsize=18996948 memory=17920 CPUtime=0.53 cores=5,7
/proc/65980/task/65982/stat : 65982 (java) R 65977 65980 65308 0 -1 4194368 5483 0 0 0 49 4 0 0 20 0 19 0 62578587 19452874752 25342 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65991] ppid=65977 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/65980/task/65991/stat : 65991 (Finalizer) S 65977 65980 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 62578592 19452874752 25342 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65998] ppid=65977 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/65980/task/65998/stat : 65998 (Common-Cleaner) S 65977 65980 65308 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 62578592 19452874752 25342 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 101368 KiB

[startup+1.50024 s]
/proc/loadavg: 4.39 4.30 4.23 7/331 65999
/proc/meminfo: memFree=121561076/131382120 swapFree=33010416/33010684
[pid=65980] ppid=65977 vsize=18996948 memory=148556 CPUtime=2.8 cores=5,7
/proc/65980/stat : 65980 (java) S 65977 65980 65308 0 -1 4194304 14581 0 0 0 271 9 0 0 20 0 19 0 62578586 19452874752 37139 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
/proc/65980/statm: 4749237 37139 5463 1 0 551403 0
[pid=65980/tid=65982] ppid=65977 vsize=18996948 memory=3200 CPUtime=1.23 cores=5,7
/proc/65980/task/65982/stat : 65982 (java) R 65977 65980 65308 0 -1 4194368 5799 0 0 0 118 5 0 0 20 0 19 0 62578587 19452874752 37139 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65991] ppid=65977 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/65980/task/65991/stat : 65991 (Finalizer) S 65977 65980 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 62578592 19452874752 37139 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65998] ppid=65977 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/65980/task/65998/stat : 65998 (Common-Cleaner) S 65977 65980 65308 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 62578592 19452874752 37139 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65999] ppid=65977 vsize=18996948 memory=14304 CPUtime=0 cores=5,7
/proc/65980/task/65999/stat : 65999 (Timer-0) S 65977 65980 65308 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 62578640 19452874752 37139 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 148556 KiB

[startup+3.10577 s]
/proc/loadavg: 4.39 4.30 4.23 6/332 66000
/proc/meminfo: memFree=121519800/131382120 swapFree=33010416/33010684
[pid=65980] ppid=65977 vsize=19063512 memory=170244 CPUtime=5.3 cores=5,7
/proc/65980/stat : 65980 (java) S 65977 65980 65308 0 -1 4194304 17572 0 0 0 519 11 0 0 20 0 20 0 62578586 19521036288 42561 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
/proc/65980/statm: 4765878 42561 5527 1 0 551738 0
[pid=65980/tid=65982] ppid=65977 vsize=19063512 memory=14304 CPUtime=2.81 cores=5,7
/proc/65980/task/65982/stat : 65982 (java) R 65977 65980 65308 0 -1 4194368 6848 0 0 0 275 6 0 0 20 0 20 0 62578587 19521036288 42561 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65991] ppid=65977 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/65980/task/65991/stat : 65991 (Finalizer) S 65977 65980 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62578592 19521036288 42561 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65998] ppid=65977 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/65980/task/65998/stat : 65998 (Common-Cleaner) S 65977 65980 65308 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 62578592 19521036288 42561 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65999] ppid=65977 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/65980/task/65999/stat : 65999 (Timer-0) S 65977 65980 65308 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62578640 19521036288 42561 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
Current children cumulated CPU time: 5.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170244 KiB

[startup+6.30021 s]
/proc/loadavg: 4.43 4.31 4.23 6/332 66000
/proc/meminfo: memFree=121510752/131382120 swapFree=33010416/33010684
[pid=65980] ppid=65977 vsize=19063512 memory=168532 CPUtime=9.17 cores=5,7
/proc/65980/stat : 65980 (java) S 65977 65980 65308 0 -1 4194304 18202 0 0 0 905 12 0 0 20 0 20 0 62578586 19521036288 42133 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
/proc/65980/statm: 4765878 42133 5527 1 0 551740 0
[pid=65980/tid=65982] ppid=65977 vsize=19063512 memory=0 CPUtime=5.95 cores=5,7
/proc/65980/task/65982/stat : 65982 (java) R 65977 65980 65308 0 -1 4194368 6937 0 0 0 589 6 0 0 20 0 20 0 62578587 19521036288 42133 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65991] ppid=65977 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/65980/task/65991/stat : 65991 (Finalizer) S 65977 65980 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62578592 19521036288 42133 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65998] ppid=65977 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/65980/task/65998/stat : 65998 (Common-Cleaner) S 65977 65980 65308 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 62578592 19521036288 42133 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65999] ppid=65977 vsize=19063512 memory=150732 CPUtime=0 cores=5,7
/proc/65980/task/65999/stat : 65999 (Timer-0) S 65977 65980 65308 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62578640 19521036288 42133 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
Current children cumulated CPU time: 9.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 168532 KiB

[startup+12.7002 s]
/proc/loadavg: 4.40 4.31 4.23 5/332 66000
/proc/meminfo: memFree=121355928/131382120 swapFree=33010416/33010684
[pid=65980] ppid=65977 vsize=19063512 memory=231980 CPUtime=16.46 cores=5,7
/proc/65980/stat : 65980 (java) S 65977 65980 65308 0 -1 4194304 26924 0 0 0 1631 15 0 0 20 0 20 0 62578586 19521036288 57995 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
/proc/65980/statm: 4765878 57995 5559 1 0 552184 0
[pid=65980/tid=65982] ppid=65977 vsize=19063512 memory=150732 CPUtime=12.25 cores=5,7
/proc/65980/task/65982/stat : 65982 (java) R 65977 65980 65308 0 -1 4194368 8314 0 0 0 1217 8 0 0 20 0 20 0 62578587 19521036288 57995 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65991] ppid=65977 vsize=19063512 memory=231084 CPUtime=0 cores=5,7
/proc/65980/task/65991/stat : 65991 (Finalizer) S 65977 65980 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62578592 19521036288 57995 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65998] ppid=65977 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/65980/task/65998/stat : 65998 (Common-Cleaner) S 65977 65980 65308 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 62578592 19521036288 57995 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65999] ppid=65977 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/65980/task/65999/stat : 65999 (Timer-0) S 65977 65980 65308 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62578640 19521036288 57995 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
Current children cumulated CPU time: 16.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 231980 KiB

[startup+25.5005 s]
/proc/loadavg: 4.31 4.29 4.23 5/332 66002
/proc/meminfo: memFree=120671204/131382120 swapFree=33010416/33010684
[pid=65980] ppid=65977 vsize=19063512 memory=758384 CPUtime=29.4 cores=5,7
/proc/65980/stat : 65980 (java) S 65977 65980 65308 0 -1 4194304 29784 0 0 0 2913 27 0 0 20 0 20 0 62578586 19521036288 189596 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
/proc/65980/statm: 4765878 189596 5559 1 0 552184 0
[pid=65980/tid=65982] ppid=65977 vsize=19063512 memory=0 CPUtime=25 cores=5,7
/proc/65980/task/65982/stat : 65982 (java) R 65977 65980 65308 0 -1 4194368 9371 0 0 0 2481 19 0 0 20 0 20 0 62578587 19521036288 189596 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65991] ppid=65977 vsize=19063512 memory=14304 CPUtime=0 cores=5,7
/proc/65980/task/65991/stat : 65991 (Finalizer) S 65977 65980 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62578592 19521036288 189596 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65998] ppid=65977 vsize=19063512 memory=701040 CPUtime=0 cores=5,7
/proc/65980/task/65998/stat : 65998 (Common-Cleaner) S 65977 65980 65308 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 62578592 19521036288 189596 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65999] ppid=65977 vsize=19063512 memory=483952 CPUtime=0 cores=5,7
/proc/65980/task/65999/stat : 65999 (Timer-0) S 65977 65980 65308 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62578640 19521036288 189596 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
Current children cumulated CPU time: 29.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 758384 KiB

[startup+51.114 s]
/proc/loadavg: 4.28 4.28 4.22 5/332 66002
/proc/meminfo: memFree=119580868/131382120 swapFree=33010416/33010684
[pid=65980] ppid=65977 vsize=19063512 memory=1118192 CPUtime=56.62 cores=5,7
/proc/65980/stat : 65980 (java) S 65977 65980 65308 0 -1 4194304 40420 0 0 0 5620 42 0 0 20 0 20 0 62578586 19521036288 279548 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
/proc/65980/statm: 4765878 279548 5559 1 0 554867 0
[pid=65980/tid=65982] ppid=65977 vsize=19063512 memory=891504 CPUtime=50.42 cores=5,7
/proc/65980/task/65982/stat : 65982 (java) R 65977 65980 65308 0 -1 4194368 9994 0 0 0 5013 29 0 0 20 0 20 0 62578587 19521036288 279548 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65991] ppid=65977 vsize=19063512 memory=28320 CPUtime=0 cores=5,7
/proc/65980/task/65991/stat : 65991 (Finalizer) S 65977 65980 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62578592 19521036288 279548 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65998] ppid=65977 vsize=19063512 memory=2308 CPUtime=0 cores=5,7

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

Current children cumulated memory: 2173124 KiB

[startup+3402.3 s]
/proc/loadavg: 4.38 4.29 4.23 5/330 66203
/proc/meminfo: memFree=103983824/131382120 swapFree=33010416/33010684
[pid=65980] ppid=65977 vsize=19063512 memory=2173252 CPUtime=3332.28 cores=5,7
/proc/65980/stat : 65980 (java) S 65977 65980 65308 0 -1 4194304 100055 0 0 0 332523 705 0 0 20 0 20 0 62578586 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
/proc/65980/statm: 4765878 543313 5559 1 0 555890 0
[pid=65980/tid=65982] ppid=65977 vsize=19063512 memory=2173124 CPUtime=3299.97 cores=5,7
/proc/65980/task/65982/stat : 65982 (java) R 65977 65980 65308 0 -1 4194368 41564 0 0 0 329483 514 0 0 20 0 20 0 62578587 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65991] ppid=65977 vsize=19063512 memory=2173252 CPUtime=0 cores=5,7
/proc/65980/task/65991/stat : 65991 (Finalizer) S 65977 65980 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62578592 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65998] ppid=65977 vsize=19063512 memory=2173252 CPUtime=0 cores=5,7
/proc/65980/task/65998/stat : 65998 (Common-Cleaner) S 65977 65980 65308 0 -1 4194368 1574 0 0 0 0 0 0 0 20 0 20 0 62578592 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65999] ppid=65977 vsize=19063512 memory=2173252 CPUtime=0 cores=5,7
/proc/65980/task/65999/stat : 65999 (Timer-0) S 65977 65980 65308 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62578640 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
Current children cumulated CPU time: 3332.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173252 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.27 4.22 5/332 66207
/proc/meminfo: memFree=103575156/131382120 swapFree=33010416/33010684
[pid=65980] ppid=65977 vsize=19063512 memory=2173252 CPUtime=3389.99 cores=5,7
/proc/65980/stat : 65980 (java) S 65977 65980 65308 0 -1 4194304 100142 0 0 0 338283 716 0 0 20 0 20 0 62578586 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
/proc/65980/statm: 4765878 543313 5559 1 0 555890 0
[pid=65980/tid=65982] ppid=65977 vsize=19063512 memory=2173124 CPUtime=3357.35 cores=5,7
/proc/65980/task/65982/stat : 65982 (java) R 65977 65980 65308 0 -1 4194368 41566 0 0 0 335212 523 0 0 20 0 20 0 62578587 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65991] ppid=65977 vsize=19063512 memory=2173252 CPUtime=0 cores=5,7
/proc/65980/task/65991/stat : 65991 (Finalizer) S 65977 65980 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62578592 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65998] ppid=65977 vsize=19063512 memory=2173252 CPUtime=0 cores=5,7
/proc/65980/task/65998/stat : 65998 (Common-Cleaner) S 65977 65980 65308 0 -1 4194368 1631 0 0 0 0 0 0 0 20 0 20 0 62578592 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65999] ppid=65977 vsize=19063512 memory=14304 CPUtime=0 cores=5,7
/proc/65980/task/65999/stat : 65999 (Timer-0) S 65977 65980 65308 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62578640 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
Current children cumulated CPU time: 3389.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173252 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.23 4.21 5/334 66211
/proc/meminfo: memFree=103423004/131382120 swapFree=33010416/33010684
[pid=65980] ppid=65977 vsize=19063512 memory=2173252 CPUtime=3449.83 cores=5,7
/proc/65980/stat : 65980 (java) S 65977 65980 65308 0 -1 4194304 100386 0 0 0 344255 728 0 0 20 0 20 0 62578586 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
/proc/65980/statm: 4765878 543313 5559 1 0 555890 0
[pid=65980/tid=65982] ppid=65977 vsize=19063512 memory=2173252 CPUtime=3416.94 cores=5,7
/proc/65980/task/65982/stat : 65982 (java) R 65977 65980 65308 0 -1 4194368 41775 0 0 0 341163 531 0 0 20 0 20 0 62578587 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65991] ppid=65977 vsize=19063512 memory=2173252 CPUtime=0 cores=5,7
/proc/65980/task/65991/stat : 65991 (Finalizer) S 65977 65980 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62578592 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65998] ppid=65977 vsize=19063512 memory=2173252 CPUtime=0 cores=5,7
/proc/65980/task/65998/stat : 65998 (Common-Cleaner) S 65977 65980 65308 0 -1 4194368 1631 0 0 0 0 0 0 0 20 0 20 0 62578592 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65999] ppid=65977 vsize=19063512 memory=2173252 CPUtime=0 cores=5,7
/proc/65980/task/65999/stat : 65999 (Timer-0) S 65977 65980 65308 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62578640 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
Current children cumulated CPU time: 3449.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173252 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.22 4.20 5/334 66213
/proc/meminfo: memFree=103285384/131382120 swapFree=33010416/33010684
[pid=65980] ppid=65977 vsize=19063512 memory=2173252 CPUtime=3509.71 cores=5,7
/proc/65980/stat : 65980 (java) S 65977 65980 65308 0 -1 4194304 102052 0 0 0 350230 741 0 0 20 0 20 0 62578586 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
/proc/65980/statm: 4765878 543313 5559 1 0 555891 0
[pid=65980/tid=65982] ppid=65977 vsize=19063512 memory=17920 CPUtime=3476.18 cores=5,7
/proc/65980/task/65982/stat : 65982 (java) R 65977 65980 65308 0 -1 4194368 42796 0 0 0 347077 541 0 0 20 0 20 0 62578587 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65991] ppid=65977 vsize=19063512 memory=14304 CPUtime=0 cores=5,7
/proc/65980/task/65991/stat : 65991 (Finalizer) S 65977 65980 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62578592 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65998] ppid=65977 vsize=19063512 memory=14304 CPUtime=0 cores=5,7
/proc/65980/task/65998/stat : 65998 (Common-Cleaner) S 65977 65980 65308 0 -1 4194368 1743 0 0 0 0 0 0 0 20 0 20 0 62578592 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65999] ppid=65977 vsize=19063512 memory=17920 CPUtime=0 cores=5,7
/proc/65980/task/65999/stat : 65999 (Timer-0) S 65977 65980 65308 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62578640 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
Current children cumulated CPU time: 3509.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173252 KiB

[startup+3642.3 s]
/proc/loadavg: 4.12 4.19 4.19 5/313 66256
/proc/meminfo: memFree=106320940/131382120 swapFree=33010416/33010684
[pid=65980] ppid=65977 vsize=19063512 memory=2173252 CPUtime=3567.2 cores=5,7
/proc/65980/stat : 65980 (java) S 65977 65980 65308 0 -1 4194304 103554 0 0 0 355967 753 0 0 20 0 20 0 62578586 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
/proc/65980/statm: 4765878 543313 5559 1 0 555891 0
[pid=65980/tid=65982] ppid=65977 vsize=19063512 memory=2173252 CPUtime=3533.38 cores=5,7
/proc/65980/task/65982/stat : 65982 (java) R 65977 65980 65308 0 -1 4194368 43688 0 0 0 352788 550 0 0 20 0 20 0 62578587 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65991] ppid=65977 vsize=19063512 memory=2173252 CPUtime=0 cores=5,7
/proc/65980/task/65991/stat : 65991 (Finalizer) S 65977 65980 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62578592 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65998] ppid=65977 vsize=19063512 memory=14304 CPUtime=0 cores=5,7
/proc/65980/task/65998/stat : 65998 (Common-Cleaner) S 65977 65980 65308 0 -1 4194368 1818 0 0 0 0 0 0 0 20 0 20 0 62578592 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65999] ppid=65977 vsize=19063512 memory=2173252 CPUtime=0 cores=5,7
/proc/65980/task/65999/stat : 65999 (Timer-0) S 65977 65980 65308 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62578640 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
Current children cumulated CPU time: 3567.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173252 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3675.2 s]
/proc/loadavg: 4.49 4.27 4.22 6/333 66419
/proc/meminfo: memFree=109024232/131382120 swapFree=33010416/33010684
[pid=65980] ppid=65977 vsize=19063512 memory=2173252 CPUtime=3600.07 cores=5,7
/proc/65980/stat : 65980 (java) S 65977 65980 65308 0 -1 4194304 103605 0 0 0 359245 762 0 0 20 0 20 0 62578586 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
/proc/65980/statm: 4765878 543313 5559 1 0 555891 0
[pid=65980/tid=65982] ppid=65977 vsize=19063512 memory=17920 CPUtime=3565.89 cores=5,7
/proc/65980/task/65982/stat : 65982 (java) R 65977 65980 65308 0 -1 4194368 43689 0 0 0 356033 556 0 0 20 0 20 0 62578587 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65991] ppid=65977 vsize=19063512 memory=2173252 CPUtime=0 cores=5,7
/proc/65980/task/65991/stat : 65991 (Finalizer) S 65977 65980 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62578592 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65998] ppid=65977 vsize=19063512 memory=6976 CPUtime=0 cores=5,7
/proc/65980/task/65998/stat : 65998 (Common-Cleaner) S 65977 65980 65308 0 -1 4194368 1829 0 0 0 0 0 0 0 20 0 20 0 62578592 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65999] ppid=65977 vsize=19063512 memory=7852 CPUtime=0 cores=5,7
/proc/65980/task/65999/stat : 65999 (Timer-0) S 65977 65980 65308 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62578640 19521036288 543313 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173252 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.1 s, system=7.65456 s

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

[startup+3675.4 s]
/proc/loadavg: 4.49 4.27 4.22 6/333 66419
/proc/meminfo: memFree=109024232/131382120 swapFree=33010416/33010684
[pid=65980] ppid=65977 vsize=19263204 memory=2173892 CPUtime=3600.46 cores=5,7
/proc/65980/stat : 65980 (java) S 65977 65980 65308 0 -1 4194304 105690 0 0 0 359283 763 0 0 20 0 21 0 62578586 19725520896 543473 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
/proc/65980/statm: 4815801 543473 5559 1 0 556830 0
[pid=65980/tid=65982] ppid=65977 vsize=19263204 memory=5760 CPUtime=3566.09 cores=5,7
/proc/65980/task/65982/stat : 65982 (java) R 65977 65980 65308 0 -1 4194368 43935 0 0 0 356053 556 0 0 20 0 21 0 62578587 19725520896 543473 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65991] ppid=65977 vsize=19263204 memory=5148 CPUtime=0 cores=5,7
/proc/65980/task/65991/stat : 65991 (Finalizer) S 65977 65980 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 62578592 19725520896 543473 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65998] ppid=65977 vsize=19263204 memory=3200 CPUtime=0 cores=5,7
/proc/65980/task/65998/stat : 65998 (Common-Cleaner) S 65977 65980 65308 0 -1 4194368 1829 0 0 0 0 0 0 0 20 0 21 0 62578592 19725520896 543473 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
Current children cumulated CPU time: 3600.46 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2173892 KiB

[startup+3675.5 s]
/proc/loadavg: 4.49 4.27 4.22 6/333 66419
/proc/meminfo: memFree=109024232/131382120 swapFree=33010416/33010684
[pid=65980] ppid=65977 vsize=19263204 memory=2173892 CPUtime=3600.66 cores=5,7
/proc/65980/stat : 65980 (java) S 65977 65980 65308 0 -1 4194304 105800 0 0 0 359303 763 0 0 20 0 21 0 62578586 19725520896 543473 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
/proc/65980/statm: 4815801 543473 5559 1 0 556846 0
[pid=65980/tid=65982] ppid=65977 vsize=19263204 memory=2173252 CPUtime=3566.19 cores=5,7
/proc/65980/task/65982/stat : 65982 (java) R 65977 65980 65308 0 -1 4194368 43935 0 0 0 356063 556 0 0 20 0 21 0 62578587 19725520896 543473 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65991] ppid=65977 vsize=19263204 memory=14304 CPUtime=0 cores=5,7
/proc/65980/task/65991/stat : 65991 (Finalizer) S 65977 65980 65308 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 62578592 19725520896 543473 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
[pid=65980/tid=65998] ppid=65977 vsize=19263204 memory=2173252 CPUtime=0 cores=5,7
/proc/65980/task/65998/stat : 65998 (Common-Cleaner) S 65977 65980 65308 0 -1 4194368 1829 0 0 0 0 0 0 0 20 0 21 0 62578592 19725520896 543473 18446744073709551615 94145696776192 94145696779888 140727189608832 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94145696787704 94145696788496 94145729769472 140727189612848 140727189613030 140727189613030 140727189618632 0
Current children cumulated CPU time: 3600.66 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2173892 KiB

Child status: 143

Real time (s): 3675.58
CPU time (s): 3600.75
CPU user time (s): 3593.1
CPU system time (s): 7.65456
CPU usage (%): 97.9641
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2173892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.1
system time used= 7.65456
maximum resident set size= 2174020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106048
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9037880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116588
involuntary context switches= 16362


# summary of solver processes directly reported to runsolver:
#   pid: 65980
#   total CPU time (s): 3600.75
#   total CPU user time (s): 3593.1
#   total CPU system time (s): 7.65456

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.798 second user time and 37.6346 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-02 17:09:52
IDJOB=4497707
IDBENCH=148191
IDSOLVER=3364
FILE ID=nodeC006/4497707-1751468992
RUNJOBID= nodeC006-1751465335-65321
SLURM_JOB_ID= 9598479
Free space on /tmp= 432316 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497707-1751468992/watcher-4497707-1751468992 -o /tmp/evaluation-result-4497707-1751468992/solver-4497707-1751468992 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751465335-65321 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4497707-1751468992 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4497707-1751468992.opb

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

MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=46816766

nodeC006 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	: 0xb00001f
cpu MHz		: 3591.454
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.453
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.558
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.304
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.323
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1796.557
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.701
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.147
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        121675860 kB
MemAvailable:   129183776 kB
Buffers:            2128 kB
Cached:          8278592 kB
SwapCached:           12 kB
Active:          1243932 kB
Inactive:        7866872 kB
Active(anon):     837004 kB
Inactive(anon):    11092 kB
Active(file):     406928 kB
Inactive(file):  7855780 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             29736 kB
Writeback:            12 kB
AnonPages:        832820 kB
Mapped:           123560 kB
Shmem:             17948 kB
KReclaimable:     169288 kB
Slab:             255848 kB
SReclaimable:     169288 kB
SUnreclaim:        86560 kB
KernelStack:        5056 kB
PageTables:         5348 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    9174984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    616448 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432036 MiB
End job on nodeC006 at 2025-07-02 18:11:08