Trace number 4432332

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 Default 2024-07-07SAT (TO)27 3600.31 3592.96

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
MD5SUM2f5de9b63d0a2988dce846045b262c40
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 benchmark20
Best CPU time to get the best result obtained on this benchmark41.0486
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5499
Total number of constraints19319
Number of constraints which are clauses19312
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint613
Number of terms in the objective function 613
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 613
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 643
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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.06	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4432332-1721117387.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.35/0.28	c ... done. Wall clock time 0.163s.
0.35/0.28	c declared #vars     5499
0.35/0.28	c #constraints  19319
0.35/0.28	c constraints type 
0.35/0.28	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14428
0.35/0.28	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.35/0.28	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
0.35/0.28	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4885
0.35/0.28	c 19319 constraints processed.
0.35/0.30	c objective function length is 613 literals
0.52/0.35	c SATISFIABLE
0.52/0.35	c OPTIMIZING...
0.52/0.35	c Got one! Elapsed wall clock time (in seconds):0.224
0.52/0.35	o 27
2.84/1.75	c cleaning 2490 clauses out of 5002 with flag 32129/5002
4.24/2.87	c cleaning 4248 clauses out of 8513 with flag 67353/11003
5.62/4.08	c cleaning 5608 clauses out of 11264 with flag 123688/18002
7.01/5.46	c cleaning 6814 clauses out of 13656 with flag 178443/26002
8.60/7.05	c cleaning 7909 clauses out of 15844 with flag 246849/35004
10.10/8.52	c cleaning 8940 clauses out of 17933 with flag 321287/45002
11.90/10.31	c cleaning 9984 clauses out of 19993 with flag 436419/56002
13.69/12.17	c cleaning 10983 clauses out of 22010 with flag 559582/68003
15.96/14.47	c cleaning 12003 clauses out of 24026 with flag 717085/81002
18.25/16.78	c cleaning 12995 clauses out of 26023 with flag 823849/95002
20.83/19.31	c cleaning 13990 clauses out of 28028 with flag 973331/110002
23.31/21.87	c cleaning 15010 clauses out of 30038 with flag 1126976/126002
26.34/24.85	c cleaning 15998 clauses out of 32031 with flag 1318445/143005
29.33/27.90	c cleaning 16957 clauses out of 34032 with flag 1496180/161004
33.06/31.54	c cleaning 17996 clauses out of 36076 with flag 1677417/180005
36.82/35.34	c cleaning 19024 clauses out of 38077 with flag 1900931/200002
40.84/39.35	c cleaning 19951 clauses out of 40053 with flag 2146835/221002
44.91/43.49	c cleaning 21028 clauses out of 42102 with flag 2382291/243002
49.33/47.84	c cleaning 21973 clauses out of 44074 with flag 2661083/266002
53.42/51.99	c cleaning 23004 clauses out of 46101 with flag 2879162/290002
58.32/56.81	c cleaning 23952 clauses out of 48097 with flag 3129374/315002
63.35/61.88	c cleaning 25042 clauses out of 50146 with flag 3363971/341003
68.44/66.90	c cleaning 25993 clauses out of 52103 with flag 3712955/368002
73.60/72.02	c cleaning 27019 clauses out of 54110 with flag 4069521/396002
79.08/77.50	c cleaning 27928 clauses out of 56091 with flag 4402280/425002
84.62/83.08	c cleaning 29076 clauses out of 58163 with flag 4740163/455002
90.70/89.11	c cleaning 30009 clauses out of 60087 with flag 5128246/486002
96.53/94.97	c cleaning 30991 clauses out of 62078 with flag 5486656/518002
102.67/101.00	c cleaning 31978 clauses out of 64087 with flag 5941352/551002
109.41/107.76	c cleaning 33019 clauses out of 66109 with flag 6333526/585002
116.56/114.81	c cleaning 34017 clauses out of 68092 with flag 6749792/620004
124.21/122.46	c cleaning 35011 clauses out of 70073 with flag 7168805/656002
133.57/131.37	c cleaning 36009 clauses out of 72063 with flag 7610280/693003
141.44/139.18	c cleaning 36992 clauses out of 74054 with flag 8026470/731003
150.28/147.95	c cleaning 38015 clauses out of 76063 with flag 8416375/770004
160.37/158.03	c cleaning 38890 clauses out of 78046 with flag 8847788/810002
169.78/167.44	c cleaning 40061 clauses out of 80156 with flag 9281228/851002
179.49/177.26	c cleaning 41010 clauses out of 82097 with flag 9781488/893004
189.89/187.61	c cleaning 42011 clauses out of 84085 with flag 10449600/936002
200.47/198.25	c cleaning 43017 clauses out of 86074 with flag 10878725/980002
211.27/209.04	c cleaning 44000 clauses out of 88057 with flag 11372651/1025002
222.63/220.47	c cleaning 44999 clauses out of 90057 with flag 11816383/1071002
233.76/231.31	c cleaning 46004 clauses out of 92058 with flag 12293108/1118002
245.43/242.97	c cleaning 47018 clauses out of 94057 with flag 12796553/1166005
257.11/254.68	c cleaning 48009 clauses out of 96036 with flag 13303283/1215002
268.78/266.37	c cleaning 48993 clauses out of 98031 with flag 13807185/1265006
280.59/278.03	c cleaning 49953 clauses out of 100035 with flag 14304574/1316003
292.05/289.50	c cleaning 50985 clauses out of 102081 with flag 14827975/1368002
304.13/301.62	c cleaning 52011 clauses out of 104096 with flag 15413717/1421002
317.18/314.61	c cleaning 53019 clauses out of 106085 with flag 16012508/1475002
330.57/328.14	c cleaning 53988 clauses out of 108066 with flag 16697841/1530002
344.19/341.73	c cleaning 55023 clauses out of 110078 with flag 17261932/1586002
356.95/354.59	c cleaning 55982 clauses out of 112055 with flag 17861334/1643002
370.94/368.41	c cleaning 57019 clauses out of 114073 with flag 18494292/1701002
384.04/381.61	c cleaning 58015 clauses out of 116054 with flag 19143358/1760002
396.43/394.18	c cleaning 58989 clauses out of 118040 with flag 19933533/1820003
411.50/409.13	c cleaning 60009 clauses out of 120050 with flag 20640433/1881002
426.86/424.15	c cleaning 60975 clauses out of 122041 with flag 21442558/1943002
440.56/437.77	c cleaning 61980 clauses out of 124067 with flag 22178998/2006003
454.63/451.82	c cleaning 63008 clauses out of 126086 with flag 23068925/2070002
468.80/465.92	c cleaning 63994 clauses out of 128078 with flag 23877090/2135002
483.84/480.86	c cleaning 64980 clauses out of 130084 with flag 24789139/2201002
498.51/495.66	c cleaning 66016 clauses out of 132104 with flag 25622176/2268002
513.38/510.56	c cleaning 67019 clauses out of 134088 with flag 26352957/2336002
528.34/525.58	c cleaning 68025 clauses out of 136071 with flag 27173697/2405004
543.22/540.44	c cleaning 69000 clauses out of 138044 with flag 27967403/2475002
560.95/558.19	c cleaning 70007 clauses out of 140045 with flag 28955950/2546003
578.30/575.67	c cleaning 71004 clauses out of 142037 with flag 29896818/2618002
594.79/592.08	c cleaning 71946 clauses out of 144034 with flag 30699465/2691003
611.91/609.01	c cleaning 72996 clauses out of 146090 with flag 31729311/2765005
630.27/627.43	c cleaning 73957 clauses out of 148091 with flag 32723374/2840002
647.58/644.49	c cleaning 75055 clauses out of 150134 with flag 33543488/2916002
664.90/661.74	c cleaning 76017 clauses out of 152079 with flag 34404537/2993002
680.97/677.85	c cleaning 76990 clauses out of 154062 with flag 35413652/3071002
698.54/695.46	c cleaning 78032 clauses out of 156078 with flag 36442968/3150008
716.12/712.98	c cleaning 79005 clauses out of 158041 with flag 37383217/3230003
734.48/731.34	c cleaning 79990 clauses out of 160035 with flag 38456580/3311002
752.42/749.22	c cleaning 80962 clauses out of 162046 with flag 39422576/3393003
772.10/768.84	c cleaning 81996 clauses out of 164083 with flag 40547159/3476002
791.37/788.15	c cleaning 82991 clauses out of 166087 with flag 41490190/3560002
811.49/808.15	c cleaning 84031 clauses out of 168096 with flag 42545651/3645002
830.95/827.69	c cleaning 85018 clauses out of 170065 with flag 43570026/3731002
853.17/849.72	c cleaning 85962 clauses out of 172047 with flag 44617358/3818002
872.82/869.47	c cleaning 86951 clauses out of 174085 with flag 45703289/3906002
893.14/889.60	c cleaning 87990 clauses out of 176134 with flag 46986044/3995002
914.83/911.25	c cleaning 89021 clauses out of 178144 with flag 48093616/4085002
935.28/931.76	c cleaning 90033 clauses out of 180123 with flag 49025257/4176002
956.28/952.73	c cleaning 91032 clauses out of 182090 with flag 50087138/4268002
977.09/973.72	c cleaning 91988 clauses out of 184058 with flag 51151553/4361002
998.72/995.48	c cleaning 93005 clauses out of 186070 with flag 52352625/4455002
1021.27/1018.04	c cleaning 93972 clauses out of 188066 with flag 53513599/4550003
1044.51/1041.24	c cleaning 95033 clauses out of 190093 with flag 54796015/4646002
1068.05/1064.46	c cleaning 95956 clauses out of 192060 with flag 56021630/4743002
1091.56/1088.09	c cleaning 97012 clauses out of 194104 with flag 57314927/4841002
1115.04/1111.73	c cleaning 98004 clauses out of 196092 with flag 58434793/4940002
1137.97/1134.60	c cleaning 98990 clauses out of 198088 with flag 59747393/5040002
1160.63/1157.31	c cleaning 99984 clauses out of 200098 with flag 61016158/5141002
1187.07/1183.61	c cleaning 101000 clauses out of 202114 with flag 62316474/5243002
1213.21/1209.85	c cleaning 102004 clauses out of 204114 with flag 63696225/5346002
1240.41/1236.93	c cleaning 103019 clauses out of 206110 with flag 65039536/5450002
1266.98/1263.33	c cleaning 104031 clauses out of 208094 with flag 66331907/5555005
1293.62/1290.02	c cleaning 104988 clauses out of 210060 with flag 67463719/5661002
1321.54/1317.90	c cleaning 105994 clauses out of 212074 with flag 68974234/5768004
1348.19/1344.63	c cleaning 107011 clauses out of 214078 with flag 70436074/5876002
1375.09/1371.77	c cleaning 108006 clauses out of 216067 with flag 71743437/5985002
1401.62/1398.25	c cleaning 108897 clauses out of 218061 with flag 73051314/6095002
1428.27/1424.46	c cleaning 110003 clauses out of 220164 with flag 74433457/6206002
1455.51/1451.66	c cleaning 111033 clauses out of 222161 with flag 75881177/6318002
1485.75/1481.93	c cleaning 112056 clauses out of 224128 with flag 77128180/6431002
1518.56/1514.66	c cleaning 112977 clauses out of 226072 with flag 78388805/6545002
1550.39/1546.58	c cleaning 113981 clauses out of 228095 with flag 79566331/6660002
1585.28/1581.37	c cleaning 115033 clauses out of 230114 with flag 80784983/6776002
1617.73/1613.68	c cleaning 116003 clauses out of 232081 with flag 82048712/6893002
1650.97/1646.91	c cleaning 117035 clauses out of 234078 with flag 83214635/7011002
1684.32/1680.29	c cleaning 117973 clauses out of 236043 with flag 84378759/7130002
1716.66/1712.64	c cleaning 119000 clauses out of 238070 with flag 85613339/7250002
1748.85/1744.71	c cleaning 120016 clauses out of 240070 with flag 86687801/7371002
1782.28/1778.21	c cleaning 120992 clauses out of 242054 with flag 87863422/7493002
1816.10/1812.13	c cleaning 121998 clauses out of 244062 with flag 89077979/7616002
1853.54/1849.57	c cleaning 123007 clauses out of 246064 with flag 90285392/7740002
1892.00/1887.54	c cleaning 123970 clauses out of 248057 with flag 91501384/7865002
1928.43/1923.91	c cleaning 124998 clauses out of 250087 with flag 93004370/7991002
1964.64/1960.22	c cleaning 125981 clauses out of 252089 with flag 94207626/8118002
2001.13/1996.69	c cleaning 127045 clauses out of 254110 with flag 95493526/8246004
2037.47/2033.05	c cleaning 128013 clauses out of 256063 with flag 96892356/8375002
2074.48/2070.01	c cleaning 128989 clauses out of 258051 with flag 98285458/8505003
2110.30/2106.03	c cleaning 129996 clauses out of 260061 with flag 99790356/8636002
2147.48/2143.16	c cleaning 130964 clauses out of 262065 with flag 101438467/8768002
2186.49/2182.07	c cleaning 132039 clauses out of 264101 with flag 102904882/8901002
2225.20/2220.90	c cleaning 133022 clauses out of 266062 with flag 104235002/9035002
2264.37/2259.93	c cleaning 134007 clauses out of 268040 with flag 105723981/9170002
2301.69/2297.32	c cleaning 134993 clauses out of 270033 with flag 107085970/9306002
2341.24/2336.80	c cleaning 135997 clauses out of 272040 with flag 108519468/9443002
2379.87/2375.54	c cleaning 136976 clauses out of 274043 with flag 110051463/9581002
2420.74/2416.32	c cleaning 137990 clauses out of 276067 with flag 111658778/9720002
2462.96/2458.49	c cleaning 138984 clauses out of 278077 with flag 113143800/9860002
2504.17/2499.52	c cleaning 140039 clauses out of 280093 with flag 114704620/10001002
2554.32/2549.14	c cleaning 141011 clauses out of 282054 with flag 116138293/10143002
2605.83/2600.52	c cleaning 142007 clauses out of 284043 with flag 117645285/10286002
2656.97/2651.71	c cleaning 142988 clauses out of 286036 with flag 119200498/10430002
2704.30/2699.21	c cleaning 144015 clauses out of 288048 with flag 120609002/10575002
2743.91/2738.82	c cleaning 144979 clauses out of 290033 with flag 122225396/10721002
2784.03/2778.71	c cleaning 145884 clauses out of 292054 with flag 124165550/10868002
2822.68/2817.38	c cleaning 147065 clauses out of 294172 with flag 125727004/11016004
2862.15/2856.73	c cleaning 148033 clauses out of 296106 with flag 127333479/11165003
2903.92/2898.45	c cleaning 148981 clauses out of 298073 with flag 129128801/11315003
2949.82/2944.04	c cleaning 149987 clauses out of 300091 with flag 130716376/11466002
2991.57/2985.34	c cleaning 151009 clauses out of 302104 with flag 132384808/11618002
3034.34/3027.83	c cleaning 151992 clauses out of 304095 with flag 134063598/11771002
3077.49/3071.07	c cleaning 152996 clauses out of 306103 with flag 135747509/11925002
3120.80/3114.33	c cleaning 154000 clauses out of 308107 with flag 137527102/12080002
3163.30/3156.75	c cleaning 155026 clauses out of 310107 with flag 139151732/12236002
3205.28/3198.70	c cleaning 155997 clauses out of 312081 with flag 140662991/12393002
3248.44/3241.75	c cleaning 157010 clauses out of 314084 with flag 142151644/12551002
3293.01/3286.23	c cleaning 158039 clauses out of 316078 with flag 143957276/12710006
3341.29/3334.49	c cleaning 158997 clauses out of 318035 with flag 145514842/12870002
3388.74/3381.88	c cleaning 159982 clauses out of 320038 with flag 147239997/13031002
3437.49/3430.58	c cleaning 160998 clauses out of 322058 with flag 148758862/13193004
3482.97/3475.92	c cleaning 162006 clauses out of 324058 with flag 150475742/13356002
3527.27/3520.18	c cleaning 162989 clauses out of 326052 with flag 152507240/13520002
3573.16/3565.92	c cleaning 163972 clauses out of 328064 with flag 154120363/13685003
3600.01/3592.82	c starts		: 935
3600.01/3592.82	c conflicts		: 13786569
3600.01/3592.82	c decisions		: 182994381
3600.01/3592.82	c propagations		: 11989427139
3600.01/3592.82	c inspects		: 41142484452
3600.01/3592.82	c shortcuts		: 0
3600.01/3592.82	c learnt literals	: 0
3600.01/3592.82	c learnt binary clauses	: 0
3600.01/3592.82	c learnt ternary clauses	: 28
3600.01/3592.82	c learnt constraints	: 13786569
3600.01/3592.82	c ignored constraints	: 0
3600.01/3592.82	c root simplifications	: 0
3600.01/3592.82	c removed literals (reason simplification)	: 0
3600.01/3592.82	c reason swapping (by a shorter reason)	: 0
3600.01/3592.82	c Calls to reduceDB	: 161
3600.01/3592.82	c Number of update (reduction) of LBD	: 10210501
3600.01/3592.82	c Imported unit clauses	: 0
3600.01/3592.82	c No decision after first conflict	: false
3600.01/3592.82	c number of reductions to clauses (during analyze)	: 0
3600.01/3592.82	c number of learned constraints concerned by reduction	: 0
3600.01/3592.82	c number of learning phase by resolution	: 0
3600.01/3592.82	c number of learning phase by cutting planes	: 0
3600.01/3592.82	c number of rounding to 1 operations	: 0
3600.01/3592.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3592.82	c number of reductions of the coefficients by power 2 	: 0
3600.01/3592.82	c number of right shift for reduction by power 2 	: 0
3600.01/3592.82	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3592.82	c number of ending skipping 	: 0
3600.01/3592.82	c number of internal skipping 	: 0
3600.01/3592.82	c number of derivation steps 	: 0
3600.01/3592.82	c number of skipped derivation steps 	: 0
3600.01/3592.84	c number of remaining unassigned 	: 0
3600.01/3592.84	c number of remaining assigned 	: 0
3600.01/3592.84	c number of falsified literals weakened from reason	: 0
3600.01/3592.84	c number of falsified literals weakened from conflict	: 0
3600.01/3592.84	c time for arithmetic operations	: 0
3600.01/3592.84	c minimum degree of deleted constraints	: null
3600.01/3592.84	c maximum degree of deleted constraints	: null
3600.01/3592.84	c number of deleted constraints	: 0
3600.01/3592.84	c speed (assignments/second)	: 3337323.227265035
3600.01/3592.84	c non guided choices	: 16
3600.22/3592.93	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 265658
3600.22/3592.93	s SATISFIABLE
3600.22/3592.93	c Found 1 solution(s)
3600.22/3592.93	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 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 x4474 x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 x4584 -x4585 -x4586 -x4587 x4588 x4589 -x4590 -x4591 -x4592 -x4593 x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 x4619 x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 x4639 -x4640 -x4641 -x4642 -x4643 x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 x4850 x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 x4922 x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 x5090 -x5091 x5092 -x5093 -x5094 -x5095 -x5096 x5097 -x5098 x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 x5125 -x5126 x5127 -x5128 -x5129 -x5130 -x5131 x5132 -x5133 x5134 x5135 -x5136 -x5137 -x5138 x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 x5190 -x5191 x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 x5214 -x5215 x5216 x5217 -x5218 -x5219 -x5220 x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 x5306 -x5307 -x5308 -x5309 -x5310 -x5311 x5312 x5313 x5314 x5315 -x5316 x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 x5332 -x5333 -x5334 -x5335 -x5336 x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 x5380 -x5381 -x5382 -x5383 x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 x5407 -x5408 -x5409 x5410 -x5411 x5412 -x5413 -x5414 -x5415 -x5416 x5417 -x5418 -x5419 -x5420 -x5421 x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 x5432 -x5433 -x5434 x5435 -x5436 x5437 -x5438 x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 x5452 -x5453 x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 x5462 x5463 -x5464 -x5465 -x5466 x5467 -x5468 x5469 -x5470 -x5471 -x5472 x5473 -x5474 x5475 -x5476 x5477 -x5478 x5479 -x5480 x5481 -x5482 x5483 -x5484 x5485 -x5486 x5487 -x5488 -x5489 -x5490 x5491 -x5492 x5493 -x5494 -x5495 x5496 x5497 x5498 x5499 
3600.22/3592.94	c objective function=27
3600.22/3592.94	c Total wall clock time (in seconds): 3592.83

Verifier Data 

OK	27

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: 63968 MiB (59215 MiB free)
  memory of node 1: 64473 MiB (61043 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432332-1721117387/watcher-4432332-1721117387 -o /tmp/evaluation-result-4432332-1721117387/solver-4432332-1721117387 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721113794-840456 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432332-1721117387.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=842472, runsolver pid=842469

[startup+0.100096 s]*
/proc/loadavg: 4.14 4.13 4.13 7/328 842490
/proc/meminfo: memFree=123102360/131524600 swapFree=131071996/131071996
[pid=842472] ppid=842469 vsize=18975048 memory=62600 CPUtime=0.14 cores=5,7
/proc/842472/stat : 842472 (java) S 842469 842472 840443 0 -1 1077936128 7233 0 0 0 12 2 0 0 20 0 18 0 163905712 19430449152 15650 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
/proc/842472/statm: 4743762 15650 5539 1 0 549343 0
[pid=842472/tid=842474] ppid=842469 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/842472/task/842474/stat : 842474 (java) R 842469 842472 840443 0 -1 4194368 5756 0 0 0 7 1 0 0 20 0 18 0 163905712 19430449152 15650 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842483] ppid=842469 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/842472/task/842483/stat : 842483 (Finalizer) S 842469 842472 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163905715 19430449152 15650 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842490] ppid=842469 vsize=18975048 memory=13573695205540511 CPUtime=0 cores=5,7
/proc/842472/task/842490/stat : 842490 (Common-Cleaner) S 842469 842472 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 163905715 19430449152 15650 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62600 KiB

[startup+0.209426 s]*
/proc/loadavg: 4.14 4.13 4.13 7/328 842490
/proc/meminfo: memFree=123085496/131524600 swapFree=131071996/131071996
[pid=842472] ppid=842469 vsize=18975048 memory=82516 CPUtime=0.35 cores=5,7
/proc/842472/stat : 842472 (java) S 842469 842472 840443 0 -1 1077936128 8831 0 0 0 32 3 0 0 20 0 18 0 163905712 19430449152 20629 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
/proc/842472/statm: 4743762 20629 5821 1 0 550378 0
[pid=842472/tid=842474] ppid=842469 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/842472/task/842474/stat : 842474 (java) R 842469 842472 840443 0 -1 4194368 5909 0 0 0 16 2 0 0 20 0 18 0 163905712 19430449152 20629 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842483] ppid=842469 vsize=18975048 memory=17993 CPUtime=0 cores=5,7
/proc/842472/task/842483/stat : 842483 (Finalizer) S 842469 842472 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163905715 19430449152 20629 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842490] ppid=842469 vsize=18975048 memory=15261445554177772 CPUtime=0 cores=5,7
/proc/842472/task/842490/stat : 842490 (Common-Cleaner) S 842469 842472 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 163905715 19430449152 20629 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 82516 KiB

[startup+0.306424 s]*
/proc/loadavg: 4.14 4.13 4.13 7/328 842490
/proc/meminfo: memFree=123061680/131524600 swapFree=131071996/131071996
[pid=842472] ppid=842469 vsize=18975048 memory=104552 CPUtime=0.52 cores=5,7
/proc/842472/stat : 842472 (java) S 842469 842472 840443 0 -1 1077936128 9220 0 0 0 49 3 0 0 20 0 18 0 163905712 19430449152 26138 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
/proc/842472/statm: 4743762 26138 5856 1 0 550614 0
[pid=842472/tid=842474] ppid=842469 vsize=18975048 memory=-8527397026685887164 CPUtime=0.27 cores=5,7
/proc/842472/task/842474/stat : 842474 (java) R 842469 842472 840443 0 -1 4194368 6008 0 0 0 24 3 0 0 20 0 18 0 163905712 19430449152 26138 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842483] ppid=842469 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/842472/task/842483/stat : 842483 (Finalizer) S 842469 842472 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163905715 19430449152 26138 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842490] ppid=842469 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/842472/task/842490/stat : 842490 (Common-Cleaner) S 842469 842472 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 163905715 19430449152 26138 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 104552 KiB

[startup+0.700224 s]
/proc/loadavg: 4.14 4.13 4.13 6/329 842491
/proc/meminfo: memFree=123049712/131524600 swapFree=131071996/131071996
[pid=842472] ppid=842469 vsize=19041612 memory=129384 CPUtime=1.28 cores=5,7
/proc/842472/stat : 842472 (java) S 842469 842472 840443 0 -1 1077936128 19101 0 0 0 123 5 0 0 20 0 19 0 163905712 19498610688 32346 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
/proc/842472/statm: 4760403 32346 5859 1 0 556938 0
[pid=842472/tid=842474] ppid=842469 vsize=19041612 memory=5616 CPUtime=0.61 cores=5,7
/proc/842472/task/842474/stat : 842474 (java) R 842469 842472 840443 0 -1 4194368 6126 0 0 0 58 3 0 0 20 0 19 0 163905712 19498610688 32346 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842483] ppid=842469 vsize=19041612 memory=12384 CPUtime=0 cores=5,7
/proc/842472/task/842483/stat : 842483 (Finalizer) S 842469 842472 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163905715 19498610688 32346 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842490] ppid=842469 vsize=19041612 memory=164 CPUtime=0 cores=5,7
/proc/842472/task/842490/stat : 842490 (Common-Cleaner) S 842469 842472 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163905715 19498610688 32346 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842491] ppid=842469 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/842472/task/842491/stat : 842491 (Timer-0) S 842469 842472 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163905743 19498610688 32346 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 129384 KiB

[startup+1.50025 s]
/proc/loadavg: 4.21 4.15 4.14 7/308 842508
/proc/meminfo: memFree=125187584/131524600 swapFree=131071996/131071996
[pid=842472] ppid=842469 vsize=19041612 memory=137360 CPUtime=2.56 cores=5,7
/proc/842472/stat : 842472 (java) S 842469 842472 840443 0 -1 1077936128 21100 0 0 0 251 5 0 0 20 0 19 0 163905712 19498610688 34340 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
/proc/842472/statm: 4760403 34340 5891 1 0 556946 0
[pid=842472/tid=842474] ppid=842469 vsize=19041612 memory=12384 CPUtime=1.4 cores=5,7
/proc/842472/task/842474/stat : 842474 (java) R 842469 842472 840443 0 -1 4194368 6253 0 0 0 137 3 0 0 20 0 19 0 163905712 19498610688 34340 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842483] ppid=842469 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/842472/task/842483/stat : 842483 (Finalizer) S 842469 842472 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163905715 19498610688 34340 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842490] ppid=842469 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/842472/task/842490/stat : 842490 (Common-Cleaner) S 842469 842472 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163905715 19498610688 34340 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842491] ppid=842469 vsize=19041612 memory=281137821951248 CPUtime=0 cores=5,7
/proc/842472/task/842491/stat : 842491 (Timer-0) S 842469 842472 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163905743 19498610688 34340 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 137360 KiB

[startup+3.10553 s]
/proc/loadavg: 4.21 4.15 4.14 5/309 842581
/proc/meminfo: memFree=126845260/131524600 swapFree=131071996/131071996
[pid=842472] ppid=842469 vsize=19041612 memory=144260 CPUtime=4.57 cores=5,7
/proc/842472/stat : 842472 (java) S 842469 842472 840443 0 -1 1077936128 26095 0 0 0 452 5 0 0 20 0 19 0 163905712 19498610688 36065 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
/proc/842472/statm: 4760403 36065 5891 1 0 557025 0
[pid=842472/tid=842474] ppid=842469 vsize=19041612 memory=0 CPUtime=3 cores=5,7
/proc/842472/task/842474/stat : 842474 (java) R 842469 842472 840443 0 -1 4194368 7283 0 0 0 297 3 0 0 20 0 19 0 163905712 19498610688 36065 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842483] ppid=842469 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/842472/task/842483/stat : 842483 (Finalizer) S 842469 842472 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163905715 19498610688 36065 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842490] ppid=842469 vsize=19041612 memory=12384 CPUtime=0 cores=5,7
/proc/842472/task/842490/stat : 842490 (Common-Cleaner) S 842469 842472 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163905715 19498610688 36065 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842491] ppid=842469 vsize=19041612 memory=11608 CPUtime=0 cores=5,7
/proc/842472/task/842491/stat : 842491 (Timer-0) S 842469 842472 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163905743 19498610688 36065 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
Current children cumulated CPU time: 4.57 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 144260 KiB

[startup+6.30021 s]
/proc/loadavg: 4.27 4.16 4.14 5/329 842631
/proc/meminfo: memFree=126693316/131524600 swapFree=131071996/131071996
[pid=842472] ppid=842469 vsize=19041612 memory=160476 CPUtime=7.9 cores=5,7
/proc/842472/stat : 842472 (java) S 842469 842472 840443 0 -1 1077936128 26386 0 0 0 784 6 0 0 20 0 19 0 163905712 19498610688 40119 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
/proc/842472/statm: 4760403 40119 5891 1 0 557025 0
[pid=842472/tid=842474] ppid=842469 vsize=19041612 memory=12384 CPUtime=6.19 cores=5,7
/proc/842472/task/842474/stat : 842474 (java) R 842469 842472 840443 0 -1 4194368 7370 0 0 0 615 4 0 0 20 0 19 0 163905712 19498610688 40119 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842483] ppid=842469 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/842472/task/842483/stat : 842483 (Finalizer) S 842469 842472 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163905715 19498610688 40119 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842490] ppid=842469 vsize=19041612 memory=137476 CPUtime=0 cores=5,7
/proc/842472/task/842490/stat : 842490 (Common-Cleaner) S 842469 842472 840443 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 163905715 19498610688 40119 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842491] ppid=842469 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/842472/task/842491/stat : 842491 (Timer-0) S 842469 842472 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163905743 19498610688 40119 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
Current children cumulated CPU time: 7.9 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 160476 KiB

[startup+12.7004 s]
/proc/loadavg: 4.33 4.17 4.15 7/331 842701
/proc/meminfo: memFree=128681260/131524600 swapFree=131071996/131071996
[pid=842472] ppid=842469 vsize=19108176 memory=193892 CPUtime=14.28 cores=5,7
/proc/842472/stat : 842472 (java) S 842469 842472 840443 0 -1 1077936128 29697 0 0 0 1421 7 0 0 20 0 20 0 163905712 19566772224 48473 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
/proc/842472/statm: 4777044 48473 5945 1 0 557314 0
[pid=842472/tid=842474] ppid=842469 vsize=19108176 memory=-8527397026685887164 CPUtime=12.53 cores=5,7
/proc/842472/task/842474/stat : 842474 (java) R 842469 842472 840443 0 -1 4194368 8553 0 0 0 1249 4 0 0 20 0 20 0 163905712 19566772224 48473 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842483] ppid=842469 vsize=19108176 memory=2268 CPUtime=0 cores=5,7
/proc/842472/task/842483/stat : 842483 (Finalizer) S 842469 842472 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163905715 19566772224 48473 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842490] ppid=842469 vsize=19108176 memory=12384 CPUtime=0 cores=5,7
/proc/842472/task/842490/stat : 842490 (Common-Cleaner) S 842469 842472 840443 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 163905715 19566772224 48473 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842491] ppid=842469 vsize=19108176 memory=43368 CPUtime=0 cores=5,7
/proc/842472/task/842491/stat : 842491 (Timer-0) S 842469 842472 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163905743 19566772224 48473 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
Current children cumulated CPU time: 14.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 193892 KiB

[startup+25.5004 s]
/proc/loadavg: 4.36 4.19 4.15 5/332 842705
/proc/meminfo: memFree=128338876/131524600 swapFree=131071996/131071996
[pid=842472] ppid=842469 vsize=19108176 memory=261748 CPUtime=27.05 cores=5,7
/proc/842472/stat : 842472 (java) S 842469 842472 840443 0 -1 1077936128 35837 0 0 0 2696 9 0 0 20 0 20 0 163905712 19566772224 65437 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
/proc/842472/statm: 4777044 65437 5950 1 0 557314 0
[pid=842472/tid=842474] ppid=842469 vsize=19108176 memory=12384 CPUtime=25.12 cores=5,7
/proc/842472/task/842474/stat : 842474 (java) R 842469 842472 840443 0 -1 4194368 9765 0 0 0 2508 4 0 0 20 0 20 0 163905712 19566772224 65437 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842483] ppid=842469 vsize=19108176 memory=97 CPUtime=0 cores=5,7
/proc/842472/task/842483/stat : 842483 (Finalizer) S 842469 842472 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163905715 19566772224 65437 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842490] ppid=842469 vsize=19108176 memory=200252 CPUtime=0 cores=5,7
/proc/842472/task/842490/stat : 842490 (Common-Cleaner) S 842469 842472 840443 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 163905715 19566772224 65437 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842491] ppid=842469 vsize=19108176 memory=-8599170946723848892 CPUtime=0 cores=5,7
/proc/842472/task/842491/stat : 842491 (Timer-0) S 842469 842472 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163905743 19566772224 65437 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
Current children cumulated CPU time: 27.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 261748 KiB

[startup+51.1055 s]
/proc/loadavg: 4.22 4.17 4.14 5/332 842710
/proc/meminfo: memFree=127474296/131524600 swapFree=131071996/131071996
[pid=842472] ppid=842469 vsize=19108176 memory=464664 CPUtime=52.63 cores=5,7
/proc/842472/stat : 842472 (java) S 842469 842472 840443 0 -1 1077936128 39107 0 0 0 5250 13 0 0 20 0 20 0 163905712 19566772224 116166 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
/proc/842472/statm: 4777044 116166 5950 1 0 557314 0
[pid=842472/tid=842474] ppid=842469 vsize=19108176 memory=401164 CPUtime=50.33 cores=5,7
/proc/842472/task/842474/stat : 842474 (java) R 842469 842472 840443 0 -1 4194368 11104 0 0 0 5029 4 0 0 20 0 20 0 163905712 19566772224 116166 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842483] ppid=842469 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/842472/task/842483/stat : 842483 (Finalizer) S 842469 842472 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163905715 19566772224 116166 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0

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

[startup+3282.3 s]
/proc/loadavg: 4.25 4.22 4.17 5/332 844545
/proc/meminfo: memFree=103124616/131524600 swapFree=131071996/131071996
[pid=842472] ppid=842469 vsize=19108176 memory=4396492 CPUtime=3289.12 cores=5,7
/proc/842472/stat : 842472 (java) S 842469 842472 840443 0 -1 1077936128 179668 0 0 0 328741 171 0 0 20 0 20 0 163905712 19566772224 1099123 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
/proc/842472/statm: 4777044 1099123 5950 1 0 1330037 0
[pid=842472/tid=842474] ppid=842469 vsize=19108176 memory=4396492 CPUtime=3255.65 cores=5,7
/proc/842472/task/842474/stat : 842474 (java) R 842469 842472 840443 0 -1 4194368 60625 0 0 0 325521 44 0 0 20 0 20 0 163905712 19566772224 1099123 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842483] ppid=842469 vsize=19108176 memory=5616 CPUtime=0 cores=5,7
/proc/842472/task/842483/stat : 842483 (Finalizer) S 842469 842472 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163905715 19566772224 1099123 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842490] ppid=842469 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/842472/task/842490/stat : 842490 (Common-Cleaner) S 842469 842472 840443 0 -1 1077936192 1702 0 0 0 0 0 0 0 20 0 20 0 163905715 19566772224 1099123 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842491] ppid=842469 vsize=19108176 memory=4396492 CPUtime=0 cores=5,7
/proc/842472/task/842491/stat : 842491 (Timer-0) S 842469 842472 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163905743 19566772224 1099123 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
Current children cumulated CPU time: 3289.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4396492 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.21 4.17 5/330 844555
/proc/meminfo: memFree=102859712/131524600 swapFree=131071996/131071996
[pid=842472] ppid=842469 vsize=19108176 memory=4396492 CPUtime=3349.17 cores=5,7
/proc/842472/stat : 842472 (java) S 842469 842472 840443 0 -1 1077936128 179785 0 0 0 334745 172 0 0 20 0 20 0 163905712 19566772224 1099123 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
/proc/842472/statm: 4777044 1099123 5950 1 0 1330037 0
[pid=842472/tid=842474] ppid=842469 vsize=19108176 memory=43368 CPUtime=3315.32 cores=5,7
/proc/842472/task/842474/stat : 842474 (java) R 842469 842472 840443 0 -1 4194368 60639 0 0 0 331488 44 0 0 20 0 20 0 163905712 19566772224 1099123 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842483] ppid=842469 vsize=19108176 memory=4396492 CPUtime=0 cores=5,7
/proc/842472/task/842483/stat : 842483 (Finalizer) S 842469 842472 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163905715 19566772224 1099123 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842490] ppid=842469 vsize=19108176 memory=4396492 CPUtime=0 cores=5,7
/proc/842472/task/842490/stat : 842490 (Common-Cleaner) S 842469 842472 840443 0 -1 1077936192 1702 0 0 0 0 0 0 0 20 0 20 0 163905715 19566772224 1099123 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842491] ppid=842469 vsize=19108176 memory=5616 CPUtime=0 cores=5,7
/proc/842472/task/842491/stat : 842491 (Timer-0) S 842469 842472 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163905743 19566772224 1099123 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
Current children cumulated CPU time: 3349.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4396492 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/330 844565
/proc/meminfo: memFree=102859392/131524600 swapFree=131071996/131071996
[pid=842472] ppid=842469 vsize=19108176 memory=4396492 CPUtime=3409.19 cores=5,7
/proc/842472/stat : 842472 (java) S 842469 842472 840443 0 -1 1077936128 180648 0 0 0 340746 173 0 0 20 0 20 0 163905712 19566772224 1099123 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
/proc/842472/statm: 4777044 1099123 5950 1 0 1330037 0
[pid=842472/tid=842474] ppid=842469 vsize=19108176 memory=4396492 CPUtime=3375.02 cores=5,7
/proc/842472/task/842474/stat : 842474 (java) R 842469 842472 840443 0 -1 4194368 61311 0 0 0 337458 44 0 0 20 0 20 0 163905712 19566772224 1099123 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842483] ppid=842469 vsize=19108176 memory=4396492 CPUtime=0 cores=5,7
/proc/842472/task/842483/stat : 842483 (Finalizer) S 842469 842472 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163905715 19566772224 1099123 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842490] ppid=842469 vsize=19108176 memory=43368 CPUtime=0 cores=5,7
/proc/842472/task/842490/stat : 842490 (Common-Cleaner) S 842469 842472 840443 0 -1 1077936192 1702 0 0 0 0 0 0 0 20 0 20 0 163905715 19566772224 1099123 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842491] ppid=842469 vsize=19108176 memory=4396492 CPUtime=0 cores=5,7
/proc/842472/task/842491/stat : 842491 (Timer-0) S 842469 842472 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163905743 19566772224 1099123 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
Current children cumulated CPU time: 3409.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4396492 KiB

[startup+3462.3 s]
/proc/loadavg: 4.37 4.25 4.19 5/330 844576
/proc/meminfo: memFree=102850900/131524600 swapFree=131071996/131071996
[pid=842472] ppid=842469 vsize=19108176 memory=4404684 CPUtime=3469.39 cores=5,7
/proc/842472/stat : 842472 (java) S 842469 842472 840443 0 -1 1077936128 182254 0 0 0 346764 175 0 0 20 0 20 0 163905712 19566772224 1101171 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
/proc/842472/statm: 4777044 1101171 5950 1 0 1330037 0
[pid=842472/tid=842474] ppid=842469 vsize=19108176 memory=4396492 CPUtime=3434.53 cores=5,7
/proc/842472/task/842474/stat : 842474 (java) R 842469 842472 840443 0 -1 4194368 61531 0 0 0 343409 44 0 0 20 0 20 0 163905712 19566772224 1101171 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842483] ppid=842469 vsize=19108176 memory=11608 CPUtime=0 cores=5,7
/proc/842472/task/842483/stat : 842483 (Finalizer) S 842469 842472 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163905715 19566772224 1101171 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842490] ppid=842469 vsize=19108176 memory=4396492 CPUtime=0 cores=5,7
/proc/842472/task/842490/stat : 842490 (Common-Cleaner) S 842469 842472 840443 0 -1 1077936192 1752 0 0 0 0 0 0 0 20 0 20 0 163905715 19566772224 1101171 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842491] ppid=842469 vsize=19108176 memory=4396492 CPUtime=0 cores=5,7
/proc/842472/task/842491/stat : 842491 (Timer-0) S 842469 842472 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163905743 19566772224 1101171 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
Current children cumulated CPU time: 3469.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4404684 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.22 4.18 5/330 844586
/proc/meminfo: memFree=102834092/131524600 swapFree=131071996/131071996
[pid=842472] ppid=842469 vsize=19108176 memory=4412876 CPUtime=3529.46 cores=5,7
/proc/842472/stat : 842472 (java) S 842469 842472 840443 0 -1 1077936128 182712 0 0 0 352770 176 0 0 20 0 20 0 163905712 19566772224 1103219 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
/proc/842472/statm: 4777044 1103219 5950 1 0 1330037 0
[pid=842472/tid=842474] ppid=842469 vsize=19108176 memory=4396492 CPUtime=3494.19 cores=5,7
/proc/842472/task/842474/stat : 842474 (java) R 842469 842472 840443 0 -1 4194368 61707 0 0 0 349375 44 0 0 20 0 20 0 163905712 19566772224 1103219 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842483] ppid=842469 vsize=19108176 memory=4404684 CPUtime=0 cores=5,7
/proc/842472/task/842483/stat : 842483 (Finalizer) S 842469 842472 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163905715 19566772224 1103219 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842490] ppid=842469 vsize=19108176 memory=4404684 CPUtime=0 cores=5,7
/proc/842472/task/842490/stat : 842490 (Common-Cleaner) S 842469 842472 840443 0 -1 1077936192 1752 0 0 0 0 0 0 0 20 0 20 0 163905715 19566772224 1103219 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842491] ppid=842469 vsize=19108176 memory=11608 CPUtime=0 cores=5,7
/proc/842472/task/842491/stat : 842491 (Timer-0) S 842469 842472 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163905743 19566772224 1103219 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
Current children cumulated CPU time: 3529.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4412876 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.21 4.18 5/330 844596
/proc/meminfo: memFree=102833168/131524600 swapFree=131071996/131071996
[pid=842472] ppid=842469 vsize=19108176 memory=4413336 CPUtime=3589.53 cores=5,7
/proc/842472/stat : 842472 (java) S 842469 842472 840443 0 -1 1077936128 183281 0 0 0 358775 178 0 0 20 0 20 0 163905712 19566772224 1103334 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
/proc/842472/statm: 4777044 1103334 5950 1 0 1330037 0
[pid=842472/tid=842474] ppid=842469 vsize=19108176 memory=43368 CPUtime=3553.86 cores=5,7
/proc/842472/task/842474/stat : 842474 (java) R 842469 842472 840443 0 -1 4194368 61946 0 0 0 355342 44 0 0 20 0 20 0 163905712 19566772224 1103334 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842483] ppid=842469 vsize=19108176 memory=16184 CPUtime=0 cores=5,7
/proc/842472/task/842483/stat : 842483 (Finalizer) S 842469 842472 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163905715 19566772224 1103334 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842490] ppid=842469 vsize=19108176 memory=4413336 CPUtime=0 cores=5,7
/proc/842472/task/842490/stat : 842490 (Common-Cleaner) S 842469 842472 840443 0 -1 1077936192 1752 0 0 0 0 0 0 0 20 0 20 0 163905715 19566772224 1103334 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842491] ppid=842469 vsize=19108176 memory=-8527397026685887164 CPUtime=0 cores=5,7
/proc/842472/task/842491/stat : 842491 (Timer-0) S 842469 842472 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163905743 19566772224 1103334 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
Current children cumulated CPU time: 3589.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4413336 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3592.8 s]
/proc/loadavg: 4.44 4.27 4.20 5/329 844665
/proc/meminfo: memFree=109744552/131524600 swapFree=131071996/131071996
[pid=842472] ppid=842469 vsize=19108176 memory=4413336 CPUtime=3600.01 cores=5,7
/proc/842472/stat : 842472 (java) S 842469 842472 840443 0 -1 1077936128 183362 0 0 0 359823 178 0 0 20 0 20 0 163905712 19566772224 1103334 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
/proc/842472/statm: 4777044 1103334 5950 1 0 1330037 0
[pid=842472/tid=842474] ppid=842469 vsize=19108176 memory=-8527397026685887164 CPUtime=3564.33 cores=5,7
/proc/842472/task/842474/stat : 842474 (java) R 842469 842472 840443 0 -1 4194368 62027 0 0 0 356389 44 0 0 20 0 20 0 163905712 19566772224 1103334 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842483] ppid=842469 vsize=19108176 memory=6270784 CPUtime=0 cores=5,7
/proc/842472/task/842483/stat : 842483 (Finalizer) S 842469 842472 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163905715 19566772224 1103334 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842490] ppid=842469 vsize=19108176 memory=2656 CPUtime=0 cores=5,7
/proc/842472/task/842490/stat : 842490 (Common-Cleaner) S 842469 842472 840443 0 -1 1077936192 1752 0 0 0 0 0 0 0 20 0 20 0 163905715 19566772224 1103334 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842491] ppid=842469 vsize=19108176 memory=4856 CPUtime=0 cores=5,7
/proc/842472/task/842491/stat : 842491 (Timer-0) S 842469 842472 840443 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163905743 19566772224 1103334 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4413336 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.51 s, system=1.80209 s

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

[startup+3592.91 s]
/proc/loadavg: 4.44 4.27 4.20 5/329 844665
/proc/meminfo: memFree=109744552/131524600 swapFree=131071996/131071996
[pid=842472] ppid=842469 vsize=19307868 memory=4414016 CPUtime=3600.22 cores=5,7
/proc/842472/stat : 842472 (java) S 842469 842472 840443 0 -1 1077936128 185369 0 0 0 359844 178 0 0 20 0 21 0 163905712 19771256832 1103504 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
/proc/842472/statm: 4826967 1103504 5949 1 0 1330943 0
[pid=842472/tid=842474] ppid=842469 vsize=19307868 memory=4413336 CPUtime=3564.44 cores=5,7
/proc/842472/task/842474/stat : 842474 (java) R 842469 842472 840443 0 -1 4194368 62152 0 0 0 356400 44 0 0 20 0 21 0 163905712 19771256832 1103504 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842483] ppid=842469 vsize=19307868 memory=4413336 CPUtime=0 cores=5,7
/proc/842472/task/842483/stat : 842483 (Finalizer) S 842469 842472 840443 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 163905715 19771256832 1103504 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
[pid=842472/tid=842490] ppid=842469 vsize=19307868 memory=4413336 CPUtime=0 cores=5,7
/proc/842472/task/842490/stat : 842490 (Common-Cleaner) S 842469 842472 840443 0 -1 1077936192 1752 0 0 0 0 0 0 0 20 0 21 0 163905715 19771256832 1103504 134679101440 94576881483776 94576881487472 140721188301056 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94576881495288 94576881496080 94576893157376 140721188307975 140721188308065 140721188308065 140721188315080 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4414016 KiB

Child status: 143

Real time (s): 3592.96
CPU time (s): 3600.31
CPU user time (s): 3598.51
CPU system time (s): 1.80209
CPU usage (%): 100.204
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4414016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.51
system time used= 1.80209
maximum resident set size= 4414728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185817
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109669
involuntary context switches= 10907


# summary of solver processes directly reported to runsolver:
#   pid: 842472
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3598.51
#   total CPU system time (s): 1.80209

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.3163 second user time and 17.1362 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-16 10:09:59
IDJOB=4432332
IDBENCH=148192
IDSOLVER=3058
FILE ID=nodeC028/4432332-1721117387
RUNJOBID= nodeC028-1721113794-840456
SLURM_JOB_ID= 7505648
Free space on /tmp= 890064 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432332-1721117387/watcher-4432332-1721117387 -o /tmp/evaluation-result-4432332-1721117387/solver-4432332-1721117387 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721113794-840456 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432332-1721117387.opb

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

MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
RANDOM SEED=107718856

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123144720 kB
MemAvailable:   123634464 kB
Buffers:          392828 kB
Cached:           936860 kB
SwapCached:            0 kB
Active:           692208 kB
Inactive:        7090296 kB
Active(anon):       1536 kB
Inactive(anon):  6488992 kB
Active(file):     690672 kB
Inactive(file):   601304 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1064 kB
Writeback:             0 kB
AnonPages:       6450000 kB
Mapped:           124264 kB
Shmem:             37720 kB
KReclaimable:      75184 kB
Slab:             178712 kB
SReclaimable:      75184 kB
SUnreclaim:       103528 kB
KernelStack:        5008 kB
PageTables:        22780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7360272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61056 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6189056 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      193236 kB
DirectMap2M:    18454528 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC028 at 2024-07-16 11:09:52