Trace number 4486122

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
OR-Tools CP-SAT 9.14SAT (TO)8148992 3600.14 1811.91

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb
MD5SUM68d3283fc4d6e87aa4e5381bdb1e8107
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7526401
Best CPU time to get the best result obtained on this benchmark70141.2
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4600
Total number of constraints310
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints310
Minimum length of a constraint17
Maximum length of a constraint147
Number of terms in the objective function 3424
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 180407058264
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 180407058264
Number of bits of the biggest sum of numbers38
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

174.85/88.30	o 4057295838
175.25/88.55	o 4057096112
175.85/88.80	o 4057061906
176.25/89.08	o 4057050677
176.64/89.28	o 4057049441
177.23/89.53	o 4055048585
177.63/89.79	o 4054643905
177.83/89.80	o 4054336705
177.83/89.80	o 4054336702
177.83/89.80	o 4053824700
178.03/89.95	o 4053824613
178.03/89.98	o 4053824489
178.43/90.15	o 4053818294
178.82/90.32	o 4053424623
178.82/90.35	o 4053219779
179.22/90.58	o 4052852140
179.82/90.85	o 4046552204
180.42/91.12	o 2435862806
180.42/91.12	o 2435862803
180.61/91.26	o 2435735478
180.61/91.26	o 2435735454
181.01/91.44	o 2434747448
181.01/91.46	o 2434741105
181.41/91.69	o 18543813
181.41/91.69	o 18543812
181.81/91.83	o 18375399
182.00/91.97	o 18038942
182.00/91.99	o 18022437
182.60/92.22	o 18022236
182.60/92.24	o 17997648
183.00/92.41	o 17989330
183.00/92.41	o 17989329
183.00/92.43	o 17975118
183.00/92.45	o 17716766
183.39/92.65	o 17604165
183.59/92.72	o 17604131
183.59/92.79	o 17554019
183.79/92.81	o 17541200
183.79/92.86	o 17521026
183.79/92.86	o 17521025
184.20/93.01	o 17055085
184.20/93.04	o 17055074
184.58/93.20	o 17033346
184.78/93.37	o 17014567
185.38/93.65	o 17014288
185.38/93.68	o 13868488
185.38/93.68	o 13868481
185.78/93.85	o 13865525
186.18/94.01	o 13754309
186.18/94.06	o 13713778
186.77/94.35	o 13436793
186.77/94.38	o 13313913
187.37/94.68	o 13200141
187.96/94.94	o 13200140
187.96/94.94	o 13200136
188.17/95.02	o 13177536
188.56/95.25	o 13172480
188.56/95.29	o 13172362
188.75/95.31	o 12685927
188.95/95.47	o 12375570
189.15/95.59	o 12188195
189.15/95.59	o 12188187
189.55/95.71	o 11947175
189.95/95.90	o 11558982
189.95/95.91	o 11558978
190.74/96.30	o 11506695
190.94/96.47	o 11244598
191.14/96.50	o 11244596
191.54/96.71	o 11179901
191.74/96.84	o 11177541
191.74/96.84	o 11177540
191.74/96.86	o 11176388
191.74/96.88	o 11160004
191.93/96.99	o 11156188
192.14/97.04	o 10989748
192.34/97.16	o 10989745
192.34/97.16	o 10989743
192.53/97.20	o 10933435
192.93/97.44	o 10933387
193.12/97.58	o 10682488
193.32/97.61	o 10681976
193.52/97.75	o 10681814
193.72/97.83	o 10681174
193.92/97.98	o 10535703
194.51/98.20	o 10529491
194.91/98.45	o 10529166
194.91/98.49	o 10529163
195.11/98.51	o 10529035
195.31/98.65	o 10478711
195.51/98.75	o 10478603
195.71/98.81	o 10474483
195.71/98.83	o 10468947
195.91/98.94	o 10468945
196.31/99.13	o 10468900
196.50/99.24	o 10426873
196.90/99.48	o 10426577
197.50/99.71	o 10426571
197.70/99.88	o 10344586
197.90/99.98	o 10342388
197.90/99.99	o 10342387
197.90/100.00	o 10330289
198.49/100.21	o 10306862
198.88/100.47	o 10306746
199.08/100.56	o 10260763
199.88/100.91	o 10260666
200.08/101.09	o 10136337
200.47/101.22	o 10135525
200.47/101.22	o 10135522
201.07/101.56	o 10131426
201.47/101.77	o 10131395
201.87/101.91	o 10123895
201.87/101.98	o 10117751
202.46/102.24	o 9748339
202.46/102.25	o 9748337
203.26/102.62	o 9723761
203.65/102.84	o 9722753
203.65/102.86	o 9706694
203.85/102.90	o 9706686
203.85/102.97	o 9703133
204.26/103.15	o 9690797
204.84/103.40	o 9690625
205.04/103.57	o 9413729
205.04/103.58	o 9407585
205.04/103.58	o 9407584
205.24/103.64	o 9406560
205.44/103.80	o 9404070
205.84/103.92	o 9402845
205.84/103.92	o 9402842
205.84/103.98	o 9394574
206.43/104.22	o 9393294
206.63/104.32	o 9353149
206.83/104.47	o 9353013
207.43/104.77	o 9352435
207.83/104.96	o 9352432
208.82/105.40	o 9352426
208.82/105.49	o 9333607
209.22/105.66	o 9260782
209.42/105.76	o 9235438
209.62/105.87	o 9235422
209.62/105.89	o 9235341
210.22/106.18	o 9234960
210.81/106.41	o 9234704
210.81/106.42	o 9234703
210.81/106.45	o 9234496
211.20/106.65	o 9233472
211.80/106.92	o 9233469
211.80/106.93	o 9233463
212.21/107.17	o 9233012
212.39/107.25	o 9230706
212.99/107.50	o 9230704
212.99/107.58	o 9230192
213.79/107.99	o 9125342
214.78/108.41	o 9124704
214.98/108.53	o 9124593
215.18/108.64	o 9124592
215.98/109.07	o 9124400
216.37/109.21	o 9123513
216.37/109.23	o 9095126
216.57/109.36	o 9094038
216.77/109.40	o 9094032
217.76/109.91	o 9089936
218.17/110.18	o 9089934
218.76/110.42	o 9089678
218.96/110.57	o 9089675
219.36/110.77	o 9089672
219.56/110.88	o 9073096
221.14/111.62	o 9073064
222.14/112.15	o 9073060
223.13/112.66	o 9072804
223.53/112.87	o 9072802
223.73/112.98	o 9072738
224.32/113.26	o 9072735
225.51/113.83	o 9072729
226.12/114.15	o 9064016
226.30/114.22	o 9064015
226.70/114.46	o 9063695
226.90/114.58	o 8912138
227.30/114.71	o 8912137
227.30/114.71	o 8912105
227.30/114.79	o 8911065
229.09/115.60	o 8911001
229.29/115.74	o 8910985
230.49/116.30	o 8910953
230.69/116.50	o 8910950
231.08/116.65	o 8910945
232.08/117.16	o 8910944
232.27/117.30	o 8904666
232.47/117.31	o 8904664
232.87/117.53	o 8900227
232.87/117.55	o 8900226
235.06/118.61	o 8900223
236.25/119.29	o 8898007
236.64/119.43	o 8886175
238.63/120.45	o 8871835
239.83/121.03	o 8871830
241.01/121.61	o 8871829
242.01/122.17	o 8871828
242.20/122.22	o 8871825
249.97/126.10	o 8871824
250.55/126.40	o 8869808
250.95/126.63	o 8869805
251.15/126.79	o 8869793
252.94/127.61	o 8869787
253.74/128.07	o 8869712
253.74/128.08	o 8869708
254.53/128.50	o 8866636
255.32/128.89	o 8866420
256.11/129.23	o 8866372
256.31/129.32	o 8863585
256.51/129.41	o 8863198
256.71/129.51	o 8862097
258.90/130.64	o 8861327
259.09/130.78	o 8861323
259.09/130.78	o 8861319
260.08/131.26	o 8861289
260.88/131.60	o 8861189
260.88/131.68	o 8861171
261.47/131.98	o 8861170
262.66/132.55	o 8861167
263.66/133.05	o 8861147
265.65/134.03	o 8857997
268.82/135.62	o 8857973
268.82/135.68	o 8857949
270.82/136.62	o 8857757
301.20/151.97	o 8857733
312.72/157.79	o 8856965
314.51/158.61	o 8856963
314.51/158.66	o 8856903
315.51/159.11	o 8856897
315.70/159.22	o 8856894
316.09/159.45	o 8856891
316.49/159.60	o 8856888
317.29/160.06	o 8822280
318.68/160.75	o 8822256
319.67/161.26	o 8822193
320.66/161.77	o 8819817
321.06/161.91	o 8819815
321.26/162.02	o 8819809
321.26/162.08	o 8819801
322.45/162.66	o 8819777
327.81/165.36	o 8819649
333.19/168.05	o 8819641
337.36/170.13	o 8819628
337.95/170.45	o 8819625
349.46/176.26	o 8817097
352.65/177.83	o 8663497
355.63/179.32	o 8637929
356.43/179.74	o 8622024
357.23/180.16	o 8622006
358.41/180.73	o 8622004
358.81/180.96	o 8622000
360.00/181.50	o 8621999
361.00/182.02	o 8617895
361.20/182.17	o 8617879
361.59/182.33	o 8605579
361.99/182.51	o 8597898
362.99/183.04	o 8597514
363.38/183.28	o 8591370
364.57/183.86	o 8588682
364.97/184.09	o 8588679
367.74/185.40	o 8588167
370.93/187.04	o 8587142
379.86/191.56	o 8392582
403.29/203.38	o 8392576
403.69/203.53	o 8392111
404.69/204.05	o 8391967
405.08/204.25	o 8391175
405.29/204.37	o 8391055
407.47/205.48	o 8391049
408.27/205.85	o 8380810
408.47/206.00	o 8345985
409.26/206.36	o 8345980
409.66/206.53	o 8343015
409.86/206.63	o 8339964
411.44/207.41	o 8339943
417.20/210.30	o 8339879
417.20/210.31	o 8339865
417.60/210.52	o 8339848
444.43/224.07	o 8339481
444.43/224.07	o 8339464
473.83/238.84	o 8339463
474.03/238.96	o 8329223
755.90/380.84	o 8265220
760.87/383.39	o 8263684
779.74/392.89	o 8243204
882.24/444.44	o 8243201
893.75/450.26	o 8243200
1133.99/571.14	o 8243196
1134.57/571.47	o 8243194
1137.16/572.73	o 8243191
1138.35/573.33	o 8243188
1141.93/575.18	o 8243181
1142.72/575.50	o 8243172
1148.68/578.56	o 8243164
1150.07/579.24	o 8243140
1156.64/582.54	o 8243124
1160.21/584.31	o 8243076
1174.91/591.73	o 8243075
1175.90/592.24	o 8243072
1214.46/611.65	o 8242756
1214.46/611.65	o 8242752
1215.46/612.18	o 8242656
1222.60/615.73	o 8242560
1227.18/618.01	o 8242496
1227.97/618.43	o 8242400
1229.17/619.06	o 8242304
1256.58/632.84	o 8242276
1258.36/633.73	o 8242180
1281.82/645.51	o 8241924
1290.56/649.91	o 8241156
1295.73/652.51	o 8239108
1298.72/654.06	o 8233988
1306.45/657.92	o 8230916
1372.03/690.93	o 8230915
1372.03/690.93	o 8230912
1552.45/781.73	o 8230909
1555.83/783.41	o 8230900
1558.41/784.70	o 8230895
1559.80/785.47	o 8230892
1561.20/786.12	o 8230888
1562.79/786.95	o 8230832
1563.19/787.16	o 8230784
1563.38/787.20	o 8230760
1566.16/788.68	o 8230759
1567.55/789.35	o 8230756
1567.75/789.48	o 8230748
1568.55/789.85	o 8230724
1572.73/791.99	o 8230552
1573.13/792.13	o 8230527
1573.13/792.13	o 8230524
1573.72/792.49	o 8230500
1574.52/792.81	o 8230449
1576.10/793.66	o 8230431
1576.50/793.89	o 8230407
1576.70/793.90	o 8230404
1578.69/794.98	o 8230160
1579.28/795.25	o 8229392
1580.08/795.69	o 8229380
1614.86/813.11	o 8227332
1655.59/833.69	o 8227201
1656.19/833.97	o 8226820
2032.39/1023.27	o 8218628
2032.99/1023.51	o 8169476
2035.58/1024.82	o 8167427
2035.98/1025.04	o 8167425
2038.17/1026.13	o 8167419
2038.96/1026.52	o 8167416
2040.34/1027.25	o 8167413
2042.93/1028.59	o 8167141
2043.33/1028.74	o 8166629
2043.93/1029.10	o 8166561
2044.13/1029.12	o 8166501
2045.71/1029.93	o 8166469
2047.30/1030.77	o 8166465
2048.89/1031.50	o 8166401
2059.43/1036.88	o 8166385
2070.75/1042.55	o 8158189
2071.95/1043.14	o 8158177
2072.14/1043.26	o 8152513
2072.34/1043.32	o 8152512
2073.34/1043.89	o 8152496
2073.74/1044.09	o 8152493
2075.73/1045.09	o 8152381
2076.51/1045.46	o 8152374
2077.91/1046.12	o 8152290
2078.10/1046.25	o 8152281
2078.70/1046.54	o 8152269
2079.30/1046.81	o 8151757
2079.90/1047.12	o 8150221
2086.25/1050.33	o 8150213
2087.85/1051.13	o 8150149
2089.23/1051.84	o 8150082
2092.41/1053.41	o 8149697
2093.41/1053.98	o 8149508
2097.97/1056.23	o 8149507
2097.97/1056.28	o 8149413
2102.35/1058.45	o 8149381
2105.33/1059.92	o 8149365
2110.51/1062.50	o 8149301
2113.09/1063.84	o 8149285
2114.88/1064.72	o 8149253
2115.28/1064.90	o 8149115
2121.04/1067.82	o 8149113
2121.44/1068.04	o 8149097
2124.22/1069.47	o 8149093
2126.60/1070.69	o 8149081
2132.97/1073.84	o 8149077
2134.35/1074.51	o 8149061
2257.58/1136.57	o 8148997
2680.01/1349.06	o 8148993
2686.56/1352.39	o 8148992
3600.12/1811.90	s SATISFIABLE
3600.12/1811.90	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 
3600.12/1811.90	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 
3600.12/1811.90	v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 x46 -x47 -x48 
3600.12/1811.90	v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 
3600.12/1811.90	v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 
3600.12/1811.90	v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 
3600.12/1811.90	v -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 
3600.12/1811.90	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 
3600.12/1811.90	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 
3600.12/1811.90	v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 
3600.12/1811.90	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 
3600.12/1811.90	v -x160 -x161 -x162 x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 
3600.12/1811.90	v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 
3600.12/1811.90	v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 x197 -x198 
3600.12/1811.90	v -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 
3600.12/1811.90	v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 
3600.12/1811.90	v -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 
3600.12/1811.90	v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 
3600.12/1811.90	v -x251 x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 
3600.12/1811.90	v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 
3600.12/1811.90	v -x277 -x278 -x279 -x280 -x281 x282 x283 x284 x285 -x286 -x287 -x288 -x289 -x290 
3600.12/1811.90	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 
3600.12/1811.90	v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 x313 x314 x315 -x316 -x317 
3600.12/1811.90	v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 
3600.12/1811.90	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 x343 
3600.12/1811.90	v x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 
3600.12/1811.90	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 
3600.12/1811.90	v -x370 -x371 -x372 -x373 x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 
3600.12/1811.90	v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 
3600.12/1811.90	v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 
3600.12/1811.90	v -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 
3600.12/1811.90	v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 
3600.12/1811.90	v -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 
3600.12/1811.90	v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 
3600.12/1811.90	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 
3600.12/1811.90	v -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 
3600.12/1811.90	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 
3600.12/1811.90	v -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 
3600.12/1811.90	v x513 x514 x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 
3600.12/1811.90	v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 
3600.12/1811.90	v -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 -x552 
3600.12/1811.90	v x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 
3600.12/1811.90	v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 
3600.12/1811.90	v -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 
3600.12/1811.90	v x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 
3600.12/1811.90	v -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 
3600.12/1811.90	v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 
3600.12/1811.90	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 
3600.12/1811.90	v -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 
3600.12/1811.90	v -x657 -x658 x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 
3600.12/1811.90	v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 
3600.12/1811.90	v -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 
3600.12/1811.90	v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 
3600.12/1811.90	v -x709 -x710 -x711 -x712 x713 -x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 
3600.12/1811.90	v -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 
3600.12/1811.90	v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 
3600.12/1811.90	v -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 
3600.12/1811.90	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 
3600.12/1811.90	v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 
3600.12/1811.90	v -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 
3600.12/1811.90	v -x800 -x801 -x802 -x803 x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 
3600.12/1811.90	v -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 
3600.12/1811.90	v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 
3600.12/1811.90	v -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 
3600.12/1811.90	v -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 
3600.12/1811.90	v -x865 -x866 x867 x868 x869 x870 x871 -x872 x873 -x874 -x875 -x876 -x877 -x878 
3600.12/1811.90	v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 
3600.12/1811.90	v -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 
3600.12/1811.90	v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 
3600.12/1811.90	v -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 
3600.12/1811.90	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 
3600.12/1811.90	v x944 x945 -x946 -x947 x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 
3600.12/1811.90	v -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 
3600.12/1811.90	v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 
3600.12/1811.90	v -x984 x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 
3600.12/1811.90	v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 
3600.12/1811.90	v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 
3600.12/1811.90	v -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 
3600.12/1811.90	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 x1039 x1040 -x1041 -x1042 
3600.12/1811.90	v x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 
3600.12/1811.90	v -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 
3600.12/1811.90	v -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 
3600.12/1811.90	v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 
3600.12/1811.90	v -x1087 -x1088 x1089 -x1090 x1091 -x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 
3600.12/1811.90	v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 
3600.12/1811.90	v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 
3600.12/1811.90	v -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 x1129 x1130 -x1131 -x1132 
3600.12/1811.90	v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 
3600.12/1811.90	v -x1144 -x1145 x1146 -x1147 -x1148 x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 
3600.12/1811.90	v -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 
3600.12/1811.90	v -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 
3600.12/1811.90	v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 x1185 x1186 x1187 -x1188 -x1189 
3600.12/1811.90	v -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 
3600.12/1811.90	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 
3600.12/1811.90	v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 
3600.12/1811.90	v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 
3600.12/1811.90	v -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 
3600.12/1811.90	v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 
3600.12/1811.90	v -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 
3600.12/1811.90	v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 
3600.12/1811.90	v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 
3600.12/1811.90	v -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 
3600.12/1811.90	v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 
3600.12/1811.90	v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 
3600.12/1811.90	v x1322 -x1323 x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 
3600.12/1811.90	v -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 
3600.12/1811.90	v -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 
3600.12/1811.90	v -x1355 x1356 x1357 -x1358 x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 
3600.12/1811.90	v -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 
3600.12/1811.90	v -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 
3600.12/1811.90	v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 
3600.12/1811.90	v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 
3600.12/1811.90	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 
3600.12/1811.90	v -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 x1432 
3600.12/1811.90	v -x1433 x1434 x1435 x1436 x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 
3600.12/1811.90	v -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 
3600.12/1811.90	v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 
3600.12/1811.90	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 
3600.12/1811.90	v -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 
3600.12/1811.90	v -x1489 x1490 -x1491 -x1492 x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 
3600.12/1811.90	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 
3600.12/1811.90	v -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 
3600.12/1811.90	v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 
3600.12/1811.90	v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 x1543 -x1544 
3600.12/1811.90	v -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 
3600.12/1811.90	v -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 
3600.12/1811.90	v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 
3600.12/1811.90	v -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 
3600.12/1811.90	v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 
3600.12/1811.90	v -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 
3600.12/1811.90	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 
3600.12/1811.90	v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 
3600.12/1811.90	v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 
3600.12/1811.90	v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 x1650 -x1651 x1652 -x1653 -x1654 
3600.12/1811.90	v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 
3600.12/1811.90	v -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 
3600.12/1811.90	v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 
3600.12/1811.90	v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 
3600.12/1811.90	v -x1699 x1700 -x1701 -x1702 x1703 x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 
3600.12/1811.90	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 
3600.12/1811.90	v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 
3600.12/1811.90	v -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 
3600.12/1811.90	v -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 
3600.12/1811.90	v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 
3600.12/1811.90	v -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 
3600.12/1811.90	v -x1777 -x1778 -x1779 -x1780 x1781 -x1782 -x1783 x1784 x1785 -x1786 -x1787 -x1788 
3600.12/1811.90	v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 
3600.12/1811.90	v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 
3600.12/1811.90	v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 
3600.12/1811.90	v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 
3600.12/1811.90	v -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 
3600.12/1811.90	v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 
3600.12/1811.90	v -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 
3600.12/1811.90	v -x1866 -x1867 -x1868 -x1869 x1870 -x1871 x1872 -x1873 x1874 -x1875 -x1876 x1877 
3600.12/1811.90	v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 
3600.12/1811.90	v -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 
3600.12/1811.90	v -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 
3600.12/1811.90	v -x1911 x1912 -x1913 x1914 -x1915 -x1916 -x1917 x1918 -x1919 -x1920 -x1921 -x1922 
3600.12/1811.90	v -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 x1931 -x1932 -x1933 
3600.12/1811.90	v x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 
3600.12/1811.90	v -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 
3600.12/1811.90	v -x1956 -x1957 -x1958 -x1959 -x1960 x1961 x1962 -x1963 x1964 -x1965 x1966 -x1967 
3600.12/1811.90	v -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 
3600.12/1811.90	v -x1979 x1980 -x1981 -x1982 x1983 x1984 -x1985 x1986 x1987 -x1988 x1989 -x1990 
3600.12/1811.90	v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 
3600.12/1811.90	v -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 
3600.12/1811.90	v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 
3600.12/1811.90	v -x2024 x2025 -x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 
3600.12/1811.90	v -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 
3600.12/1811.90	v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 
3600.12/1811.90	v -x2057 -x2058 -x2059 -x2060 x2061 -x2062 -x2063 -x2064 x2065 -x2066 -x2067 
3600.12/1811.90	v -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 
3600.12/1811.90	v -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 
3600.12/1811.90	v -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 
3600.12/1811.90	v x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 -x2109 -x2110 -x2111 
3600.12/1811.90	v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2121 x2122 
3600.12/1811.90	v -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 
3600.12/1811.90	v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 
3600.12/1811.90	v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 x2154 x2155 
3600.12/1811.90	v -x2156 -x2157 x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 
3600.12/1811.90	v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 
3600.12/1811.90	v -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 
3600.12/1811.90	v -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 
3600.12/1811.90	v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 
3600.12/1811.90	v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 
3600.12/1811.90	v -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 
3600.12/1811.90	v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 x2243 
3600.12/1811.90	v -x2244 -x2245 x2246 x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 
3600.12/1811.90	v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 
3600.12/1811.90	v -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 x2272 x2273 -x2274 -x2275 -x2276 
3600.12/1811.90	v x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 
3600.12/1811.90	v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 
3600.12/1811.90	v -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 
3600.12/1811.90	v -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 
3600.12/1811.90	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 
3600.12/1811.90	v x2332 x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 
3600.12/1811.90	v -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 
3600.12/1811.90	v -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 x2362 -x2363 -x2364 x2365 
3600.12/1811.90	v x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 
3600.12/1811.90	v -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 
3600.12/1811.90	v -x2388 -x2389 -x2390 -x2391 x2392 -x2393 x2394 -x2395 -x2396 -x2397 -x2398 
3600.12/1811.90	v -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 
3600.12/1811.90	v -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 
3600.12/1811.90	v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 
3600.12/1811.90	v -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 
3600.12/1811.90	v -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 
3600.12/1811.90	v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 
3600.12/1811.90	v -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 
3600.12/1811.90	v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 x2484 -x2485 -x2486 
3600.12/1811.90	v -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 
3600.12/1811.90	v -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 
3600.12/1811.90	v -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 x2515 -x2516 x2517 -x2518 -x2519 
3600.12/1811.90	v -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 
3600.12/1811.90	v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 
3600.12/1811.90	v -x2542 -x2543 x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 
3600.12/1811.90	v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 
3600.12/1811.90	v -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 
3600.12/1811.90	v -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 
3600.12/1811.90	v -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 
3600.12/1811.90	v -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 
3600.12/1811.90	v -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 
3600.12/1811.90	v -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 
3600.12/1811.90	v -x2630 -x2631 -x2632 x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 
3600.12/1811.90	v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 
3600.12/1811.90	v -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 x2662 
3600.12/1811.90	v x2663 x2664 -x2665 x2666 x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 
3600.12/1811.90	v -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 
3600.12/1811.90	v -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 x2692 -x2693 x2694 x2695 -x2696 x2697 
3600.12/1811.90	v -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 
3600.12/1811.90	v -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 
3600.12/1811.90	v -x2720 -x2721 x2722 -x2723 -x2724 x2725 x2726 -x2727 -x2728 -x2729 -x2730 -x2731 
3600.12/1811.90	v -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 
3600.12/1811.90	v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 
3600.12/1811.90	v -x2754 x2755 -x2756 x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 
3600.12/1811.90	v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 
3600.12/1811.90	v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 x2783 x2784 x2785 x2786 -x2787 
3600.12/1811.90	v -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 
3600.12/1811.90	v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 
3600.12/1811.90	v -x2810 -x2811 x2812 -x2813 x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 
3600.12/1811.90	v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 
3600.12/1811.90	v -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 
3600.12/1811.90	v -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 
3600.12/1811.90	v -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 
3600.12/1811.90	v -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 
3600.12/1811.90	v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 
3600.12/1811.90	v -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 
3600.12/1811.90	v -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 
3600.12/1811.90	v -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 
3600.12/1811.90	v -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 
3600.12/1811.90	v -x2931 -x2932 -x2933 x2934 -x2935 x2936 -x2937 -x2938 -x2939 -x2940 -x2941 
3600.12/1811.90	v -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 
3600.12/1811.90	v -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 
3600.12/1811.90	v -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 
3600.12/1811.90	v -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 
3600.12/1811.90	v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 
3600.12/1811.90	v -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 
3600.12/1811.90	v -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 
3600.12/1811.90	v -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 
3600.12/1811.90	v -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 
3600.12/1811.90	v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 
3600.12/1811.90	v -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 
3600.12/1811.90	v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 
3600.12/1811.90	v -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 
3600.12/1811.90	v -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 
3600.12/1811.90	v -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 
3600.12/1811.90	v -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 x3113 x3114 x3115 x3116 -x3117 -x3118 
3600.12/1811.90	v -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 
3600.12/1811.90	v -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 
3600.12/1811.90	v -x3141 x3142 -x3143 -x3144 x3145 x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 
3600.12/1811.90	v -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 
3600.12/1811.90	v -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 x3172 x3173 x3174 x3175 
3600.12/1811.90	v -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 
3600.12/1811.90	v -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 
3600.12/1811.90	v -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 
3600.12/1811.90	v -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 
3600.12/1811.90	v -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 
3600.12/1811.90	v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 
3600.12/1811.90	v -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 
3600.12/1811.90	v -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 
3600.12/1811.90	v -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 
3600.12/1811.90	v -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 
3600.12/1811.90	v -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 
3600.12/1811.90	v -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 
3600.12/1811.90	v -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 
3600.12/1811.90	v -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 
3600.12/1811.90	v -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 
3600.12/1811.90	v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 
3600.12/1811.90	v -x3352 -x3353 -x3354 x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 
3600.12/1811.90	v -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 
3600.12/1811.90	v -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 
3600.12/1811.90	v -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 
3600.12/1811.90	v -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 
3600.12/1811.90	v -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 
3600.12/1811.90	v -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 
3600.12/1811.90	v -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 
3600.12/1811.90	v -x3440 -x3441 -x3442 x3443 -x3444 x3445 -x3446 -x3447 -x3448 -x3449 -x3450 
3600.12/1811.90	v -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 
3600.12/1811.90	v -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 
3600.12/1811.90	v x3473 x3474 x3475 x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 
3600.12/1811.90	v -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 
3600.12/1811.90	v -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 
3600.12/1811.90	v -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 
3600.12/1811.90	v -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 
3600.12/1811.90	v -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 
3600.12/1811.90	v -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 
3600.12/1811.90	v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 
3600.12/1811.90	v x3562 x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 
3600.12/1811.90	v -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 
3600.12/1811.90	v -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 x3592 x3593 -x3594 
3600.12/1811.90	v -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 
3600.12/1811.90	v -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 
3600.12/1811.90	v -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 
3600.12/1811.90	v -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 
3600.12/1811.90	v -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 
3600.12/1811.90	v -x3650 -x3651 x3652 x3653 x3654 -x3655 x3656 -x3657 -x3658 -x3659 -x3660 -x3661 
3600.12/1811.90	v -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 
3600.12/1811.90	v -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 
3600.12/1811.90	v x3684 -x3685 x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 
3600.12/1811.90	v -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 
3600.12/1811.90	v -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 
3600.12/1811.90	v -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 
3600.12/1811.90	v -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 
3600.12/1811.90	v -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 
3600.12/1811.90	v -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 
3600.12/1811.90	v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 
3600.12/1811.90	v -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 
3600.12/1811.90	v -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 
3600.12/1811.90	v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 x3804 
3600.12/1811.90	v -x3805 x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 
3600.12/1811.90	v -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 
3600.12/1811.90	v -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 
3600.12/1811.90	v -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 
3600.12/1811.90	v -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 
3600.12/1811.90	v -x3860 -x3861 -x3862 x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 
3600.12/1811.90	v -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 
3600.12/1811.90	v -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 
3600.12/1811.90	v -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 
3600.12/1811.90	v -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 
3600.12/1811.90	v -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 x3923 -x3924 -x3925 
3600.12/1811.90	v x3926 x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 
3600.12/1811.90	v -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 
3600.12/1811.90	v -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 
3600.12/1811.90	v -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 
3600.12/1811.90	v -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 
3600.12/1811.90	v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 
3600.12/1811.90	v -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 
3600.12/1811.90	v -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 
3600.12/1811.90	v -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 
3600.12/1811.90	v -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 
3600.12/1811.90	v -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 x4044 -x4045 -x4046 
3600.12/1811.90	v -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 
3600.12/1811.90	v -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 
3600.12/1811.90	v -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 
3600.12/1811.90	v -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 
3600.12/1811.90	v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 
3600.12/1811.90	v -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 
3600.12/1811.90	v -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 
3600.12/1811.90	v -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 
3600.12/1811.90	v -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 
3600.12/1811.90	v -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 
3600.12/1811.90	v -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 
3600.12/1811.90	v -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 
3600.12/1811.90	v -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 
3600.12/1811.90	v -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 
3600.12/1811.90	v -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 
3600.12/1811.90	v -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 
3600.12/1811.90	v -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 
3600.12/1811.90	v -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 
3600.12/1811.90	v -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 
3600.12/1811.90	v -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 
3600.12/1811.90	v -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 
3600.12/1811.90	v -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 
3600.12/1811.90	v -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 
3600.12/1811.90	v -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 
3600.12/1811.90	v -x4311 x4312 -x4313 x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 
3600.12/1811.90	v -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 
3600.12/1811.90	v -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 
3600.12/1811.90	v -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 
3600.12/1811.90	v -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 
3600.12/1811.90	v -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 
3600.12/1811.90	v -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 
3600.12/1811.90	v -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 
3600.12/1811.90	v -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 
3600.12/1811.90	v -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 
3600.12/1811.90	v -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 
3600.12/1811.90	v -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 
3600.12/1811.90	v -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 
3600.12/1811.90	v -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 x4464 
3600.12/1811.90	v -x4465 x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 
3600.12/1811.90	v -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 
3600.12/1811.90	v -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 
3600.12/1811.90	v -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 
3600.12/1811.90	v -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 
3600.12/1811.90	v -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 
3600.12/1811.90	v -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 
3600.12/1811.90	v -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 
3600.12/1811.90	v -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 
3600.12/1811.90	v -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 
3600.12/1811.90	v -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 
3600.12/1811.90	v -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 
3600.12/1811.90	v -x4597 -x4598 -x4599 -x4600

Verifier Data 

OK	8148992

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4486122-1751315460/watcher-4486122-1751315460 -o /tmp/evaluation-result-4486122-1751315460/solver-4486122-1751315460 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751312874-52106 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:369742312 --competition_mode --input HOME/instance-4486122-1751315460.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=53375, runsolver pid=53372

[startup+0.100072 s]*
/proc/loadavg: 7.92 8.05 7.81 8/256 53376
/proc/meminfo: memFree=129270932/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=19732 memory=16296 CPUtime=0.1 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) R 53372 53375 52096 0 -1 4194304 3499 0 0 0 9 1 0 0 20 0 1 0 47225158 20205568 4074 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 4933 4074 1888 2102 0 2473 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19732 KiB
Current children cumulated memory: 16296 KiB

[startup+0.213032 s]*
/proc/loadavg: 7.92 8.05 7.81 8/256 53376
/proc/meminfo: memFree=129270932/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=19372 memory=16296 CPUtime=0.21 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) R 53372 53375 52096 0 -1 4194304 3559 0 0 0 20 1 0 0 20 0 1 0 47225158 19836928 4074 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 4843 4074 1920 2102 0 2383 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 19372 KiB
Current children cumulated memory: 16296 KiB

[startup+0.313144 s]*
/proc/loadavg: 7.92 8.05 7.81 8/256 53376
/proc/meminfo: memFree=129271668/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=20292 memory=17064 CPUtime=0.31 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) R 53372 53375 52096 0 -1 4194304 3775 0 0 0 30 1 0 0 20 0 1 0 47225158 20779008 4266 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 5073 4266 1920 2102 0 2613 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 20292 KiB
Current children cumulated memory: 17064 KiB

[startup+0.700287 s]
/proc/loadavg: 7.92 8.05 7.81 8/256 53376
/proc/meminfo: memFree=129271416/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=168192 memory=36008 CPUtime=0.76 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) S 53372 53375 52096 0 -1 4194304 8281 0 0 0 74 2 0 0 20 0 3 0 47225158 172228608 9002 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 42048 9002 2144 2102 0 11623 0
Current children cumulated CPU time: 0.76 s
Current children cumulated vsize: 168192 KiB
Current children cumulated memory: 36008 KiB

[startup+1.5003 s]
/proc/loadavg: 7.92 8.05 7.81 9/258 53378
/proc/meminfo: memFree=129239916/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=168192 memory=48040 CPUtime=2.34 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) S 53372 53375 52096 0 -1 4194304 11258 0 0 0 231 3 0 0 20 0 3 0 47225158 172228608 12010 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 42048 12010 2176 2102 0 14899 0
[pid=53375/tid=53377] ppid=53372 vsize=168192 memory=0 CPUtime=0.88 cores=0,2
/proc/53375/task/53377/stat : 53377 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 4042 0 0 0 87 1 0 0 20 0 3 0 47225214 172228608 12010 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
[pid=53375/tid=53378] ppid=53372 vsize=168192 memory=14340 CPUtime=0.89 cores=0,2
/proc/53375/task/53378/stat : 53378 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 3284 0 0 0 89 0 0 0 20 0 3 0 47225214 172228608 12010 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 168192 KiB
Current children cumulated memory: 48040 KiB

[startup+3.10553 s]
/proc/loadavg: 7.92 8.05 7.81 9/258 53379
/proc/meminfo: memFree=129216480/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=168192 memory=70316 CPUtime=5.53 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) S 53372 53375 52096 0 -1 4194304 23607 0 0 0 548 5 0 0 20 0 3 0 47225158 172228608 17579 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 42048 17579 2176 2102 0 20573 0
[pid=53375/tid=53377] ppid=53372 vsize=168192 memory=14340 CPUtime=2.47 cores=0,2
/proc/53375/task/53377/stat : 53377 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 9532 0 0 0 245 2 0 0 20 0 3 0 47225214 172228608 17579 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
[pid=53375/tid=53378] ppid=53372 vsize=168192 memory=58284 CPUtime=2.49 cores=0,2
/proc/53375/task/53378/stat : 53378 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 10107 0 0 0 248 1 0 0 20 0 3 0 47225214 172228608 17579 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
Current children cumulated CPU time: 5.53 s
Current children cumulated vsize: 168192 KiB
Current children cumulated memory: 70316 KiB

[startup+6.30022 s]
/proc/loadavg: 7.92 8.05 7.81 9/258 53379
/proc/meminfo: memFree=129209148/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=168192 memory=77100 CPUtime=11.88 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) S 53372 53375 52096 0 -1 4194304 44394 0 0 0 1182 6 0 0 20 0 3 0 47225158 172228608 19275 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 42048 19275 2176 2102 0 22465 0
[pid=53375/tid=53377] ppid=53372 vsize=168192 memory=71212 CPUtime=5.63 cores=0,2
/proc/53375/task/53377/stat : 53377 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 18975 0 0 0 561 2 0 0 20 0 3 0 47225214 172228608 19275 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
[pid=53375/tid=53378] ppid=53372 vsize=168192 memory=17664 CPUtime=5.68 cores=0,2
/proc/53375/task/53378/stat : 53378 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 21405 0 0 0 566 2 0 0 20 0 3 0 47225214 172228608 19275 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
Current children cumulated CPU time: 11.88 s
Current children cumulated vsize: 168192 KiB
Current children cumulated memory: 77100 KiB

[startup+12.7002 s]
/proc/loadavg: 7.93 8.04 7.81 9/258 53379
/proc/meminfo: memFree=129175508/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=172296 memory=88236 CPUtime=24.6 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) S 53372 53375 52096 0 -1 4194304 53973 0 0 0 2453 7 0 0 20 0 3 0 47225158 176431104 22059 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 43074 22059 2176 2102 0 25656 0
[pid=53375/tid=53377] ppid=53372 vsize=172296 memory=-8183432466560882112 CPUtime=11.98 cores=0,2
/proc/53375/task/53377/stat : 53377 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 24055 0 0 0 1196 2 0 0 20 0 3 0 47225214 176431104 22059 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
[pid=53375/tid=53378] ppid=53372 vsize=172296 memory=0 CPUtime=12.06 cores=0,2
/proc/53375/task/53378/stat : 53378 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 25897 0 0 0 1203 3 0 0 20 0 3 0 47225214 176431104 22059 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
Current children cumulated CPU time: 24.6 s
Current children cumulated vsize: 172296 KiB
Current children cumulated memory: 88236 KiB

[startup+25.5002 s]
/proc/loadavg: 8.01 8.06 7.82 9/258 53379
/proc/meminfo: memFree=129170204/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=174688 memory=94892 CPUtime=50.04 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) S 53372 53375 52096 0 -1 4194304 88846 0 0 0 4994 10 0 0 20 0 3 0 47225158 178880512 23723 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 43672 23723 2176 2102 0 27018 0
[pid=53375/tid=53377] ppid=53372 vsize=174688 memory=14340 CPUtime=24.66 cores=0,2
/proc/53375/task/53377/stat : 53377 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 40854 0 0 0 2462 4 0 0 20 0 3 0 47225214 178880512 23723 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
[pid=53375/tid=53378] ppid=53372 vsize=174688 memory=92844 CPUtime=24.81 cores=0,2
/proc/53375/task/53378/stat : 53378 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 43900 0 0 0 2477 4 0 0 20 0 3 0 47225214 178880512 23723 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
Current children cumulated CPU time: 50.04 s
Current children cumulated vsize: 174688 KiB
Current children cumulated memory: 94892 KiB

[startup+51.1053 s]
/proc/loadavg: 8.01 8.05 7.82 9/258 53379
/proc/meminfo: memFree=129135000/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=174688 memory=126636 CPUtime=100.92 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) S 53372 53375 52096 0 -1 4194304 115050 0 0 0 10078 14 0 0 20 0 3 0 47225158 178880512 31659 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 43672 31659 2176 2102 0 34808 0
[pid=53375/tid=53377] ppid=53372 vsize=174688 memory=123052 CPUtime=50.01 cores=0,2
/proc/53375/task/53377/stat : 53377 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 56671 0 0 0 4994 7 0 0 20 0 3 0 47225214 178880512 31659 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
[pid=53375/tid=53378] ppid=53372 vsize=174688 memory=112556 CPUtime=50.33 cores=0,2
/proc/53375/task/53378/stat : 53378 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 54238 0 0 0 5028 5 0 0 20 0 3 0 47225214 178880512 31659 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
Current children cumulated CPU time: 100.92 s
Current children cumulated vsize: 174688 KiB
Current children cumulated memory: 126636 KiB

[startup+102.3 s]
/proc/loadavg: 8.04 8.06 7.84 9/259 53382
/proc/meminfo: memFree=129124912/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=240824 memory=132676 CPUtime=202.66 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) S 53372 53375 52096 0 -1 4194304 176141 0 0 0 20246 20 0 0 20 0 3 0 47225158 246603776 33169 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 60206 33169 2176 2102 0 37275 0
[pid=53375/tid=53377] ppid=53372 vsize=240824 memory=131116 CPUtime=100.71 cores=0,2
/proc/53375/task/53377/stat : 53377 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 89769 0 0 0 10062 9 0 0 20 0 3 0 47225214 246603776 33169 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
[pid=53375/tid=53378] ppid=53372 vsize=240824 memory=14340 CPUtime=101.34 cores=0,2
/proc/53375/task/53378/stat : 53378 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 81550 0 0 0 10126 8 0 0 20 0 3 0 47225214 246603776 33169 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
Current children cumulated CPU time: 202.66 s
Current children cumulated vsize: 240824 KiB
Current children cumulated memory: 132676 KiB

[startup+162.3 s]
/proc/loadavg: 8.11 8.07 7.86 9/258 53384
/proc/meminfo: memFree=129108404/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=240824 memory=132984 CPUtime=321.85 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) S 53372 53375 52096 0 -1 4194304 218254 0 0 0 32156 29 0 0 20 0 3 0 47225158 246603776 33246 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 60206 33246 2176 2102 0 41819 0
[pid=53375/tid=53377] ppid=53372 vsize=240824 memory=14340 CPUtime=160.13 cores=0,2
/proc/53375/task/53377/stat : 53377 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 100308 0 0 0 16003 10 0 0 20 0 3 0 47225214 246603776 33246 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
[pid=53375/tid=53378] ppid=53372 vsize=240824 memory=132984 CPUtime=161.09 cores=0,2
/proc/53375/task/53378/stat : 53378 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 112802 0 0 0 16094 15 0 0 20 0 3 0 47225214 246603776 33246 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
Current children cumulated CPU time: 321.85 s
Current children cumulated vsize: 240824 KiB
Current children cumulated memory: 132984 KiB

[startup+222.3 s]
/proc/loadavg: 8.42 8.17 7.91 9/259 53387
/proc/meminfo: memFree=129075084/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=240824 memory=133132 CPUtime=441.04 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) S 53372 53375 52096 0 -1 4194304 282972 0 0 0 44058 46 0 0 20 0 3 0 47225158 246603776 33283 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 60206 33283 2176 2102 0 41819 0
[pid=53375/tid=53377] ppid=53372 vsize=240824 memory=133132 CPUtime=219.53 cores=0,2
/proc/53375/task/53377/stat : 53377 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 100896 0 0 0 21942 11 0 0 20 0 3 0 47225214 246603776 33283 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
[pid=53375/tid=53378] ppid=53372 vsize=240824 memory=133132 CPUtime=220.86 cores=0,2
/proc/53375/task/53378/stat : 53378 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 176909 0 0 0 22055 31 0 0 20 0 3 0 47225214 246603776 33283 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
Current children cumulated CPU time: 441.04 s
Current children cumulated vsize: 240824 KiB
Current children cumulated memory: 133132 KiB


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

Current children cumulated memory: 140052 KiB

[startup+1362.3 s]
/proc/loadavg: 8.25 8.16 8.05 9/257 53490
/proc/meminfo: memFree=129153012/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=240824 memory=140052 CPUtime=2706.44 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) S 53372 53375 52096 0 -1 4194304 538365 0 0 0 270523 121 0 0 20 0 3 0 47225158 246603776 35013 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 60206 35013 2176 2102 0 41859 0
[pid=53375/tid=53377] ppid=53372 vsize=240824 memory=140052 CPUtime=1348.48 cores=0,2
/proc/53375/task/53377/stat : 53377 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 129769 0 0 0 134831 17 0 0 20 0 3 0 47225214 246603776 35013 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
[pid=53375/tid=53378] ppid=53372 vsize=240824 memory=140052 CPUtime=1356.92 cores=0,2
/proc/53375/task/53378/stat : 53378 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 403232 0 0 0 135605 87 0 0 20 0 3 0 47225214 246603776 35013 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
Current children cumulated CPU time: 2706.44 s
Current children cumulated vsize: 240824 KiB
Current children cumulated memory: 140052 KiB

[startup+1422.3 s]
/proc/loadavg: 8.14 8.14 8.05 9/257 53492
/proc/meminfo: memFree=129152992/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=240824 memory=140052 CPUtime=2825.71 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) S 53372 53375 52096 0 -1 4194304 538373 0 0 0 282449 122 0 0 20 0 3 0 47225158 246603776 35013 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 60206 35013 2176 2102 0 41859 0
[pid=53375/tid=53377] ppid=53372 vsize=240824 memory=17664 CPUtime=1407.92 cores=0,2
/proc/53375/task/53377/stat : 53377 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 129771 0 0 0 140775 17 0 0 20 0 3 0 47225214 246603776 35013 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
[pid=53375/tid=53378] ppid=53372 vsize=240824 memory=140052 CPUtime=1416.73 cores=0,2
/proc/53375/task/53378/stat : 53378 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 403238 0 0 0 141585 88 0 0 20 0 3 0 47225214 246603776 35013 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
Current children cumulated CPU time: 2825.71 s
Current children cumulated vsize: 240824 KiB
Current children cumulated memory: 140052 KiB

[startup+1482.3 s]
/proc/loadavg: 8.09 8.13 8.05 9/257 53494
/proc/meminfo: memFree=129155448/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=240824 memory=140052 CPUtime=2944.99 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) S 53372 53375 52096 0 -1 4194304 538376 0 0 0 294376 123 0 0 20 0 3 0 47225158 246603776 35013 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 60206 35013 2176 2102 0 41859 0
[pid=53375/tid=53377] ppid=53372 vsize=240824 memory=140052 CPUtime=1467.37 cores=0,2
/proc/53375/task/53377/stat : 53377 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 129774 0 0 0 146720 17 0 0 20 0 3 0 47225214 246603776 35013 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
[pid=53375/tid=53378] ppid=53372 vsize=240824 memory=14340 CPUtime=1476.54 cores=0,2
/proc/53375/task/53378/stat : 53378 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 403238 0 0 0 147566 88 0 0 20 0 3 0 47225214 246603776 35013 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
Current children cumulated CPU time: 2944.99 s
Current children cumulated vsize: 240824 KiB
Current children cumulated memory: 140052 KiB

[startup+1542.3 s]
/proc/loadavg: 8.09 8.12 8.05 9/257 53496
/proc/meminfo: memFree=129155584/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=240824 memory=140052 CPUtime=3064.26 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) S 53372 53375 52096 0 -1 4194304 538390 0 0 0 306303 123 0 0 20 0 3 0 47225158 246603776 35013 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 60206 35013 2176 2102 0 41859 0
[pid=53375/tid=53377] ppid=53372 vsize=240824 memory=138644 CPUtime=1526.82 cores=0,2
/proc/53375/task/53377/stat : 53377 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 129786 0 0 0 152665 17 0 0 20 0 3 0 47225214 246603776 35013 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
[pid=53375/tid=53378] ppid=53372 vsize=240824 memory=14340 CPUtime=1536.35 cores=0,2
/proc/53375/task/53378/stat : 53378 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 403239 0 0 0 153547 88 0 0 20 0 3 0 47225214 246603776 35013 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
Current children cumulated CPU time: 3064.26 s
Current children cumulated vsize: 240824 KiB
Current children cumulated memory: 140052 KiB

[startup+1602.3 s]
/proc/loadavg: 8.08 8.11 8.05 9/258 53501
/proc/meminfo: memFree=129151112/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=240824 memory=140692 CPUtime=3183.52 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) S 53372 53375 52096 0 -1 4194304 538390 0 0 0 318227 125 0 0 20 0 3 0 47225158 246603776 35173 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 60206 35173 2176 2102 0 41859 0
[pid=53375/tid=53377] ppid=53372 vsize=240824 memory=138644 CPUtime=1586.26 cores=0,2
/proc/53375/task/53377/stat : 53377 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 129786 0 0 0 158609 17 0 0 20 0 3 0 47225214 246603776 35173 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
[pid=53375/tid=53378] ppid=53372 vsize=240824 memory=14340 CPUtime=1596.16 cores=0,2
/proc/53375/task/53378/stat : 53378 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 403239 0 0 0 159527 89 0 0 20 0 3 0 47225214 246603776 35173 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
Current children cumulated CPU time: 3183.52 s
Current children cumulated vsize: 240824 KiB
Current children cumulated memory: 140692 KiB

[startup+1662.3 s]
/proc/loadavg: 8.14 8.12 8.06 9/258 53503
/proc/meminfo: memFree=129102284/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=240824 memory=140692 CPUtime=3302.79 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) S 53372 53375 52096 0 -1 4194304 538689 0 0 0 330152 127 0 0 20 0 3 0 47225158 246603776 35173 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 60206 35173 2176 2102 0 41859 0
[pid=53375/tid=53377] ppid=53372 vsize=240824 memory=14340 CPUtime=1645.69 cores=0,2
/proc/53375/task/53377/stat : 53377 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 129913 0 0 0 164552 17 0 0 20 0 3 0 47225214 246603776 35173 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
[pid=53375/tid=53378] ppid=53372 vsize=240824 memory=0 CPUtime=1655.97 cores=0,2
/proc/53375/task/53378/stat : 53378 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 403388 0 0 0 165507 90 0 0 20 0 3 0 47225214 246603776 35173 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
Current children cumulated CPU time: 3302.79 s
Current children cumulated vsize: 240824 KiB
Current children cumulated memory: 140692 KiB

[startup+1722.3 s]
/proc/loadavg: 8.01 8.08 8.05 9/258 53550
/proc/meminfo: memFree=129421012/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=240824 memory=140812 CPUtime=3422.04 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) S 53372 53375 52096 0 -1 4194304 541349 0 0 0 342076 128 0 0 20 0 3 0 47225158 246603776 35203 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 60206 35203 2176 2102 0 41859 0
[pid=53375/tid=53377] ppid=53372 vsize=240824 memory=140692 CPUtime=1705.12 cores=0,2
/proc/53375/task/53377/stat : 53377 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 129913 0 0 0 170495 17 0 0 20 0 3 0 47225214 246603776 35203 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
[pid=53375/tid=53378] ppid=53372 vsize=240824 memory=-8183430280388973507 CPUtime=1715.78 cores=0,2
/proc/53375/task/53378/stat : 53378 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 406048 0 0 0 171487 91 0 0 20 0 3 0 47225214 246603776 35203 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
Current children cumulated CPU time: 3422.04 s
Current children cumulated vsize: 240824 KiB
Current children cumulated memory: 140812 KiB

[startup+1782.3 s]
/proc/loadavg: 8.12 8.10 8.05 8/255 53570
/proc/meminfo: memFree=129481836/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=240824 memory=140812 CPUtime=3541.29 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) S 53372 53375 52096 0 -1 4194304 541533 0 0 0 354000 129 0 0 20 0 3 0 47225158 246603776 35203 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 60206 35203 2176 2102 0 41859 0
[pid=53375/tid=53377] ppid=53372 vsize=240824 memory=140812 CPUtime=1764.53 cores=0,2
/proc/53375/task/53377/stat : 53377 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 129921 0 0 0 176436 17 0 0 20 0 3 0 47225214 246603776 35203 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
[pid=53375/tid=53378] ppid=53372 vsize=240824 memory=140812 CPUtime=1775.6 cores=0,2
/proc/53375/task/53378/stat : 53378 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 406207 0 0 0 177468 92 0 0 20 0 3 0 47225214 246603776 35203 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
Current children cumulated CPU time: 3541.29 s
Current children cumulated vsize: 240824 KiB
Current children cumulated memory: 140812 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.9 s]
/proc/loadavg: 8.07 8.08 8.05 9/258 53615
/proc/meminfo: memFree=129443052/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=240824 memory=140812 CPUtime=3600.12 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) S 53372 53375 52096 0 -1 4194304 541565 0 0 0 359883 129 0 0 20 0 3 0 47225158 246603776 35203 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 60206 35203 2176 2102 0 41859 0
[pid=53375/tid=53377] ppid=53372 vsize=240824 memory=-8183426960379255495 CPUtime=1793.85 cores=0,2
/proc/53375/task/53377/stat : 53377 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 129953 0 0 0 179368 17 0 0 20 0 3 0 47225214 246603776 35203 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
[pid=53375/tid=53378] ppid=53372 vsize=240824 memory=140812 CPUtime=1805.11 cores=0,2
/proc/53375/task/53378/stat : 53378 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 406207 0 0 0 180419 92 0 0 20 0 3 0 47225214 246603776 35203 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 240824 KiB
Current children cumulated memory: 140812 KiB

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

[startup+1811.91 s]
# the end of solver process 53375 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3598.84 s, system=1.29953 s

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

[startup+1811.9 s]
/proc/loadavg: 8.07 8.08 8.05 9/258 53615
/proc/meminfo: memFree=129443052/131382112 swapFree=33010684/33010684
[pid=53375] ppid=53372 vsize=240824 memory=140812 CPUtime=3600.12 cores=0,2
/proc/53375/stat : 53375 (cp-sat-runner) S 53372 53375 52096 0 -1 4194304 541565 0 0 0 359883 129 0 0 20 0 3 0 47225158 246603776 35203 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
/proc/53375/statm: 60206 35203 2176 2102 0 41859 0
[pid=53375/tid=53377] ppid=53372 vsize=240824 memory=-8183426960379255495 CPUtime=1793.85 cores=0,2
/proc/53375/task/53377/stat : 53377 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 129953 0 0 0 179368 17 0 0 20 0 3 0 47225214 246603776 35203 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
[pid=53375/tid=53378] ppid=53372 vsize=240824 memory=140812 CPUtime=1805.11 cores=0,2
/proc/53375/task/53378/stat : 53378 (cp-sat-runner) R 53372 53375 52096 0 -1 4194368 406207 0 0 0 180419 92 0 0 20 0 3 0 47225214 246603776 35203 18446744073709551615 4198400 12805993 140734917007168 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 38965248 140734917011737 140734917011941 140734917011941 140734917017543 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 240824 KiB
Current children cumulated memory: 140812 KiB

Child status: 0

Real time (s): 1811.91
CPU time (s): 3600.14
CPU user time (s): 3598.84
CPU system time (s): 1.29953
CPU usage (%): 198.693
Max. virtual memory (cumulated for all children) (KiB): 437432
Max. memory (cumulated for all children) (KiB): 290224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.84
system time used= 1.29953
maximum resident set size= 290372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 541571
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25888
involuntary context switches= 111859


# summary of solver processes directly reported to runsolver:
#   pid: 53375
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3598.84
#   total CPU system time (s): 1.29953

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.64468 second user time and 8.3789 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-06-30 22:31:00
IDJOB=4486122
IDBENCH=146985
IDSOLVER=3320
FILE ID=nodeC007/4486122-1751315460
RUNJOBID= nodeC007-1751312874-52106
SLURM_JOB_ID= 9594310
Free space on /tmp= 432976 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4486122-1751315460/watcher-4486122-1751315460 -o /tmp/evaluation-result-4486122-1751315460/solver-4486122-1751315460 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751312874-52106 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:369742312 --competition_mode --input HOME/instance-4486122-1751315460.opb

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

MD5SUM BENCH= 68d3283fc4d6e87aa4e5381bdb1e8107
RANDOM SEED=369742312

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129275504 kB
MemAvailable:   129484168 kB
Buffers:            3280 kB
Cached:          1015844 kB
SwapCached:            0 kB
Active:           739572 kB
Inactive:         769336 kB
Active(anon):     507744 kB
Inactive(anon):        0 kB
Active(file):     231828 kB
Inactive(file):   769336 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             25636 kB
Writeback:            56 kB
AnonPages:        492868 kB
Mapped:           128928 kB
Shmem:             17960 kB
KReclaimable:      94252 kB
Slab:             178016 kB
SReclaimable:      94252 kB
SUnreclaim:        83764 kB
KernelStack:        4128 kB
PageTables:         4044 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     925628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    190464 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432968 MiB
End job on nodeC007 at 2025-06-30 23:01:12