Trace number 4526673

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 NameAnswerCPU timeWall clock time
OR-Tools CP-SAT 9.14MSAT (TO) 3600.11 1826.18

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph11reducmore_wcsp.wbo
MD5SUM4f5be5c84a0d76ec975a3a6b3be3f2ae
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark370
Best CPU time to get the best result obtained on this benchmark77.4065
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5747
Total number of constraints283088
Number of soft constraints282856
Number of constraints which are clauses282856
Number of constraints which are cardinality constraints (but not clauses)232
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 3080
Min constraint cost 1
Max constraint cost 3080
Sum of constraints costs 64455868
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
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 

11.43/10.97	o 700850
13.61/12.08	o 372866
66.58/38.83	o 56281
66.78/38.92	o 56159
66.99/39.02	o 55261
67.19/39.11	o 53251
67.37/39.20	o 51139
67.37/39.26	o 51039
67.57/39.32	o 50841
67.77/39.43	o 50839
68.17/39.69	o 50637
68.37/39.79	o 49738
69.55/40.30	o 47767
69.75/40.44	o 45200
70.35/40.74	o 44242
70.55/40.86	o 43107
72.73/41.91	o 41069
73.32/42.23	o 37311
73.52/42.31	o 37310
74.11/42.61	o 37221
74.68/43.05	o 37134
76.06/43.76	o 35645
76.26/43.85	o 35312
76.46/43.90	o 35212
76.46/43.99	o 35101
82.01/46.75	o 34001
82.21/46.88	o 33777
83.99/47.73	o 31188
89.94/50.79	o 31088
91.13/51.36	o 30156
91.33/51.47	o 28893
101.84/56.79	o 28572
102.04/56.88	o 28440
102.64/57.15	o 27440
119.68/65.71	o 26639
119.88/65.84	o 26638
121.07/66.41	o 26221
129.39/70.65	o 26071
129.59/70.74	o 26060
129.79/70.87	o 25946
135.15/73.58	o 25846
135.35/73.64	o 25835
137.13/74.51	o 21967
137.33/74.61	o 21621
137.33/74.68	o 21620
141.10/76.58	o 21619
141.50/76.70	o 20738
141.50/76.78	o 20611
142.88/77.42	o 20601
143.08/77.52	o 19701
143.28/77.62	o 19602
144.87/78.43	o 19358
145.07/78.51	o 19132
145.07/78.60	o 18122
145.46/78.76	o 18120
148.05/80.03	o 18115
148.43/80.21	o 17894
151.40/81.79	o 17704
152.01/82.07	o 17604
152.20/82.17	o 16704
152.99/82.53	o 16594
162.11/87.16	o 15707
162.29/87.23	o 15705
163.67/87.94	o 15695
169.23/90.72	o 15605
187.60/100.05	o 15507
187.99/100.21	o 15498
187.99/100.27	o 15497
189.59/101.08	o 15197
189.78/101.17	o 14773
199.40/106.02	o 14694
199.60/106.18	o 14565
200.64/106.82	o 13875
200.91/107.04	o 13696
204.36/108.88	o 13608
205.36/109.30	o 13493
205.36/109.39	o 13393
206.05/109.70	o 13225
206.05/109.79	o 13180
206.66/110.09	o 12727
207.11/110.30	o 12605
208.37/111.14	o 12524
208.62/111.36	o 12523
210.55/112.40	o 12434
210.75/112.57	o 12425
213.63/114.06	o 11775
214.02/114.23	o 11645
215.41/114.94	o 11254
216.60/115.57	o 11114
216.99/115.73	o 11104
216.99/115.79	o 11103
223.74/119.13	o 10035
226.88/120.72	o 10025
227.87/121.29	o 10015
229.06/121.86	o 9905
229.26/121.93	o 9904
232.62/123.65	o 9892
232.82/123.72	o 9660
248.28/131.58	o 9298
248.48/131.67	o 9181
250.06/132.43	o 9113
264.39/139.87	o 9103
264.59/139.95	o 8101
265.17/140.27	o 8099
265.57/140.44	o 7521
265.77/140.52	o 7506
269.11/142.26	o 7500
269.31/142.35	o 7187
270.31/142.87	o 7075
270.71/143.05	o 7073
277.84/146.66	o 7072
278.23/146.84	o 7063
278.23/146.89	o 7062
279.02/147.20	o 7061
279.02/147.27	o 6940
280.22/147.80	o 6931
281.40/148.44	o 6920
281.80/148.61	o 6910
283.19/149.30	o 6720
283.39/149.43	o 6596
288.55/152.03	o 6595
288.55/152.08	o 5585
289.54/152.50	o 5416
289.54/152.58	o 5397
291.12/153.31	o 5384
291.92/153.77	o 5286
295.09/155.36	o 5118
304.89/160.30	o 5009
305.29/160.57	o 4909
306.08/160.91	o 4777
316.68/166.47	o 4555
316.97/166.66	o 4526
323.28/169.87	o 4525
323.48/169.97	o 4515
323.68/170.04	o 4514
324.31/170.40	o 4488
324.31/170.49	o 4370
332.62/174.65	o 4368
338.18/177.47	o 4066
338.37/177.60	o 3731
341.55/179.19	o 3576
341.93/179.31	o 3539
342.13/179.41	o 2975
342.91/179.84	o 2844
343.11/179.92	o 2722
344.88/180.83	o 2546
345.08/180.91	o 2456
349.45/183.12	o 2455
349.63/183.20	o 2442
349.63/183.28	o 2352
349.83/183.35	o 2332
352.80/184.86	o 2322
360.66/188.83	o 2321
360.66/188.90	o 2320
362.45/189.72	o 2075
365.02/191.10	o 2065
382.58/199.90	o 1976
389.29/203.35	o 1914
389.56/203.57	o 1790
391.63/204.65	o 1690
396.40/207.05	o 1639
397.39/207.50	o 1632
397.39/207.58	o 1599
401.13/209.47	o 1597
401.33/209.57	o 1587
403.91/210.81	o 1577
404.12/210.90	o 1553
404.90/211.31	o 1552
404.90/211.37	o 1551
407.48/212.68	o 1513
408.14/213.07	o 1503
408.52/213.21	o 1484
409.12/213.58	o 1450
409.32/213.66	o 1449
416.64/217.32	o 1345
422.59/220.35	o 1167
432.80/225.63	o 1166
433.11/225.84	o 1108
438.69/228.78	o 1105
441.27/230.01	o 1100
447.99/233.42	o 1088
449.58/234.22	o 1081
459.47/239.43	o 1070
467.57/243.51	o 1069
467.57/243.58	o 999
467.97/243.74	o 989
468.95/244.23	o 988
478.66/249.19	o 984
480.44/250.01	o 967
484.00/251.84	o 936
488.12/253.91	o 926
504.66/262.34	o 925
528.02/274.19	o 917
528.35/274.31	o 907
531.28/275.81	o 906
553.56/287.12	o 905
557.52/289.13	o 904
608.73/315.05	o 903
625.38/323.45	o 900
640.37/331.09	o 890
649.88/335.95	o 882
696.19/359.48	o 872
776.28/400.28	o 866
813.57/419.10	o 865
887.29/456.48	o 863
888.29/456.92	o 623
888.70/457.11	o 578
891.46/458.54	o 577
892.66/459.19	o 557
893.04/459.34	o 547
896.31/461.10	o 540
898.08/461.91	o 532
923.21/474.66	o 531
925.00/475.59	o 529
940.01/483.14	o 522
940.19/483.20	o 517
940.34/483.31	o 516
949.65/488.02	o 514
949.84/488.12	o 504
1351.39/691.10	o 473
1358.12/694.43	o 456
1358.32/694.50	o 441
1359.52/695.16	o 432
1360.70/695.73	o 421
1360.90/695.81	o 408
1370.81/700.82	o 407
1385.48/708.27	o 400
1424.35/727.85	o 399
1424.55/727.92	o 397
1541.71/787.02	o 394
1542.10/787.27	o 393
1549.43/790.98	o 392
2565.11/1303.22	o 391
2565.50/1303.46	o 390
3600.02/1826.11	s SATISFIABLE
3600.02/1826.11	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 
3600.02/1826.11	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 
3600.02/1826.11	v -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 
3600.02/1826.11	v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 
3600.02/1826.11	v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 
3600.02/1826.11	v x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 
3600.02/1826.11	v -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 
3600.02/1826.11	v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 
3600.02/1826.11	v -x123 -x124 -x125 x126 -x127 x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 
3600.02/1826.11	v -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 
3600.02/1826.11	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 
3600.02/1826.11	v -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 
3600.02/1826.11	v -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 
3600.02/1826.11	v -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 
3600.02/1826.11	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 
3600.02/1826.11	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 
3600.02/1826.11	v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 
3600.02/1826.11	v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 
3600.02/1826.11	v -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 
3600.02/1826.11	v -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 
3600.02/1826.11	v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 
3600.02/1826.11	v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 
3600.02/1826.11	v -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 
3600.02/1826.11	v -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 x329 -x330 
3600.02/1826.11	v -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 
3600.02/1826.11	v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 
3600.02/1826.11	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 
3600.02/1826.11	v -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 
3600.02/1826.11	v -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 
3600.02/1826.11	v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 
3600.02/1826.11	v -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 
3600.02/1826.11	v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 
3600.02/1826.11	v -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 
3600.02/1826.11	v -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 
3600.02/1826.11	v -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 
3600.02/1826.11	v -x474 x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 
3600.02/1826.11	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 
3600.02/1826.11	v -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 
3600.02/1826.11	v -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 
3600.02/1826.11	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 
3600.02/1826.11	v -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 
3600.02/1826.11	v -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 
3600.02/1826.11	v -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 
3600.02/1826.11	v -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 
3600.02/1826.11	v -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 
3600.02/1826.11	v -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 
3600.02/1826.11	v -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 
3600.02/1826.11	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 
3600.02/1826.11	v -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 
3600.02/1826.11	v -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 
3600.02/1826.11	v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 
3600.02/1826.11	v x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 
3600.02/1826.11	v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 
3600.02/1826.11	v -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 
3600.02/1826.11	v -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 
3600.02/1826.11	v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 
3600.02/1826.11	v -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 
3600.02/1826.11	v -x760 -x761 -x762 x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 
3600.02/1826.11	v -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 
3600.02/1826.11	v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 
3600.02/1826.11	v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 
3600.02/1826.11	v x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 
3600.02/1826.11	v -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 
3600.02/1826.11	v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 
3600.02/1826.11	v -x851 x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 
3600.02/1826.11	v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 
3600.02/1826.11	v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 
3600.02/1826.11	v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 
3600.02/1826.11	v -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 
3600.02/1826.11	v -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 
3600.02/1826.11	v -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 
3600.02/1826.11	v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 
3600.02/1826.11	v -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 
3600.02/1826.11	v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 
3600.02/1826.11	v -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 
3600.02/1826.11	v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 
3600.02/1826.11	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 
3600.02/1826.11	v -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 
3600.02/1826.11	v -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 
3600.02/1826.11	v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 
3600.02/1826.11	v -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 
3600.02/1826.11	v -x1061 -x1062 x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 
3600.02/1826.11	v -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 
3600.02/1826.11	v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 
3600.02/1826.11	v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 
3600.02/1826.11	v -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 
3600.02/1826.11	v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 
3600.02/1826.11	v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 
3600.02/1826.11	v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 
3600.02/1826.11	v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 
3600.02/1826.11	v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x1170 
3600.02/1826.11	v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 
3600.02/1826.11	v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 
3600.02/1826.11	v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 
3600.02/1826.11	v -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 
3600.02/1826.11	v -x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 
3600.02/1826.11	v -x1226 -x1227 -x1228 -x1229 -x1230 x1231 x1232 -x1233 -x1234 -x1235 -x1236 
3600.02/1826.11	v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 
3600.02/1826.11	v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 
3600.02/1826.11	v -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 
3600.02/1826.11	v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 
3600.02/1826.11	v -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 
3600.02/1826.11	v -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 
3600.02/1826.11	v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 
3600.02/1826.11	v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 
3600.02/1826.11	v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 
3600.02/1826.11	v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 
3600.02/1826.11	v -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 
3600.02/1826.11	v -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 
3600.02/1826.11	v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 
3600.02/1826.11	v -x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 
3600.02/1826.11	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 
3600.02/1826.11	v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 
3600.02/1826.11	v x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 
3600.02/1826.11	v -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 
3600.02/1826.11	v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 
3600.02/1826.11	v -x1446 -x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 
3600.02/1826.11	v x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 
3600.02/1826.11	v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 
3600.02/1826.11	v -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 
3600.02/1826.11	v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 
3600.02/1826.11	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 
3600.02/1826.11	v -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 
3600.02/1826.11	v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 
3600.02/1826.11	v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 
3600.02/1826.11	v -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 
3600.02/1826.11	v -x1556 x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566 
3600.02/1826.11	v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 
3600.02/1826.11	v -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 
3600.02/1826.11	v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 
3600.02/1826.11	v -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 
3600.02/1826.11	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 
3600.02/1826.11	v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 
3600.02/1826.11	v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 
3600.02/1826.11	v x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 
3600.02/1826.11	v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 
3600.02/1826.11	v -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 
3600.02/1826.11	v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 
3600.02/1826.11	v -x1688 -x1689 -x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 
3600.02/1826.11	v -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 
3600.02/1826.11	v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 
3600.02/1826.11	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 
3600.02/1826.11	v -x1732 -x1733 -x1734 -x1735 -x1736 x1737 -x1738 -x1739 -x1740 -x1741 x1742 
3600.02/1826.11	v -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 
3600.02/1826.11	v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 
3600.02/1826.11	v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 -x1775 
3600.02/1826.11	v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 
3600.02/1826.11	v -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 
3600.02/1826.11	v x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 
3600.02/1826.11	v -x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 
3600.02/1826.11	v -x1820 x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 
3600.02/1826.11	v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 
3600.02/1826.11	v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 
3600.02/1826.11	v -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 
3600.02/1826.11	v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 
3600.02/1826.11	v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 
3600.02/1826.11	v -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 x1896 
3600.02/1826.11	v -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 
3600.02/1826.11	v -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 
3600.02/1826.11	v -x1919 -x1920 -x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 
3600.02/1826.11	v -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 
3600.02/1826.11	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 
3600.02/1826.11	v -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 
3600.02/1826.11	v x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 
3600.02/1826.11	v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 
3600.02/1826.11	v -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 x1994 -x1995 
3600.02/1826.11	v -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 
3600.02/1826.11	v -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 
3600.02/1826.11	v -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 
3600.02/1826.11	v -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 
3600.02/1826.11	v -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 
3600.02/1826.11	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 
3600.02/1826.11	v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2071 x2072 
3600.02/1826.11	v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 
3600.02/1826.11	v -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 x2093 x2094 
3600.02/1826.11	v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 
3600.02/1826.11	v -x2106 x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 
3600.02/1826.11	v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 
3600.02/1826.11	v -x2128 -x2129 -x2130 x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 
3600.02/1826.11	v -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 
3600.02/1826.11	v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 x2156 -x2157 -x2158 -x2159 -x2160 
3600.02/1826.11	v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 
3600.02/1826.11	v x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 
3600.02/1826.11	v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 
3600.02/1826.11	v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 
3600.02/1826.11	v -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 
3600.02/1826.11	v -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 
3600.02/1826.11	v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 
3600.02/1826.11	v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 
3600.02/1826.11	v -x2249 x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 
3600.02/1826.11	v -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 
3600.02/1826.11	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 
3600.02/1826.11	v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 
3600.02/1826.11	v -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 
3600.02/1826.11	v -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 
3600.02/1826.11	v -x2315 x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 
3600.02/1826.11	v -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 x2335 -x2336 
3600.02/1826.11	v -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 
3600.02/1826.11	v -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 
3600.02/1826.11	v -x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 
3600.02/1826.11	v -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 
3600.02/1826.11	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 
3600.02/1826.11	v x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 
3600.02/1826.11	v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 
3600.02/1826.11	v -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 
3600.02/1826.11	v -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 
3600.02/1826.11	v -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 
3600.02/1826.11	v -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 
3600.02/1826.11	v -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 
3600.02/1826.11	v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 x2478 -x2479 
3600.02/1826.11	v x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 
3600.02/1826.11	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 
3600.02/1826.11	v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 x2511 -x2512 
3600.02/1826.11	v -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 -x2522 -x2523 
3600.02/1826.11	v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 
3600.02/1826.11	v -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 
3600.02/1826.11	v -x2546 -x2547 -x2548 -x2549 x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 
3600.02/1826.11	v -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 
3600.02/1826.11	v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 
3600.02/1826.11	v -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 
3600.02/1826.11	v x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 
3600.02/1826.11	v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 
3600.02/1826.11	v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 
3600.02/1826.11	v -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 
3600.02/1826.11	v -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 
3600.02/1826.11	v -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 
3600.02/1826.11	v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 
3600.02/1826.11	v -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 
3600.02/1826.11	v -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 
3600.02/1826.11	v -x2689 x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 
3600.02/1826.11	v -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 
3600.02/1826.11	v -x2711 -x2712 -x2713 -x2714 x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 
3600.02/1826.11	v -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 
3600.02/1826.11	v -x2733 x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 
3600.02/1826.11	v -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 
3600.02/1826.11	v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 
3600.02/1826.11	v x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 
3600.02/1826.11	v -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 
3600.02/1826.11	v -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 
3600.02/1826.11	v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 
3600.02/1826.11	v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 
3600.02/1826.11	v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 
3600.02/1826.11	v -x2832 -x2833 -x2834 -x2835 -x2836 x2837 -x2838 -x2839 -x2840 -x2841 -x2842 
3600.02/1826.11	v -x2843 -x2844 x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 
3600.02/1826.11	v -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 
3600.02/1826.11	v -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 
3600.02/1826.11	v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 
3600.02/1826.11	v -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 
3600.02/1826.11	v -x2898 -x2899 -x2900 -x2901 -x2902 x2903 -x2904 -x2905 -x2906 -x2907 -x2908 
3600.02/1826.11	v -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 
3600.02/1826.11	v -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 
3600.02/1826.11	v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 x2938 -x2939 -x2940 -x2941 
3600.02/1826.11	v -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 
3600.02/1826.11	v -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 
3600.02/1826.11	v -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 
3600.02/1826.11	v x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 
3600.02/1826.11	v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 
3600.02/1826.11	v -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 
3600.02/1826.11	v -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 x3014 -x3015 -x3016 -x3017 -x3018 
3600.02/1826.11	v -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 
3600.02/1826.11	v -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 
3600.02/1826.11	v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 
3600.02/1826.11	v -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 x3061 -x3062 
3600.02/1826.11	v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 
3600.02/1826.11	v -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 
3600.02/1826.11	v -x3085 -x3086 -x3087 -x3088 x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 
3600.02/1826.11	v -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 
3600.02/1826.11	v x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 
3600.02/1826.11	v -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 
3600.02/1826.11	v -x3129 x3130 x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 
3600.02/1826.11	v -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 
3600.02/1826.11	v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 
3600.02/1826.11	v -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 
3600.02/1826.11	v -x3173 -x3174 -x3175 -x3176 x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 
3600.02/1826.11	v -x3184 -x3185 -x3186 -x3187 -x3188 x3189 -x3190 -x3191 -x3192 -x3193 -x3194 
3600.02/1826.11	v -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 
3600.02/1826.11	v -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 
3600.02/1826.11	v -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 x3227 
3600.02/1826.11	v -x3228 -x3229 -x3230 x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 
3600.02/1826.11	v -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 
3600.02/1826.11	v -x3250 -x3251 -x3252 -x3253 x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 
3600.02/1826.11	v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 
3600.02/1826.11	v -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 
3600.02/1826.11	v -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 
3600.02/1826.11	v -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 x3303 -x3304 
3600.02/1826.11	v -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 
3600.02/1826.11	v -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 
3600.02/1826.11	v x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 
3600.02/1826.11	v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 
3600.02/1826.11	v -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 
3600.02/1826.11	v -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 x3369 -x3370 
3600.02/1826.11	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 
3600.02/1826.11	v -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 
3600.02/1826.11	v -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 
3600.02/1826.11	v -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 
3600.02/1826.11	v -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 
3600.02/1826.11	v -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 
3600.02/1826.11	v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 
3600.02/1826.11	v -x3448 -x3449 -x3450 x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 
3600.02/1826.11	v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 
3600.02/1826.11	v -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 
3600.02/1826.11	v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 x3489 -x3490 -x3491 
3600.02/1826.11	v -x3492 -x3493 -x3494 -x3495 -x3496 x3497 -x3498 -x3499 x3500 -x3501 -x3502 
3600.02/1826.11	v -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 
3600.02/1826.11	v -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 
3600.02/1826.11	v -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 
3600.02/1826.11	v -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 
3600.02/1826.11	v -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 
3600.02/1826.11	v -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 
3600.02/1826.11	v -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 x3578 -x3579 
3600.02/1826.11	v -x3580 x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 
3600.02/1826.11	v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 
3600.02/1826.11	v -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 
3600.02/1826.11	v x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 
3600.02/1826.11	v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 
3600.02/1826.11	v -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 x3642 -x3643 -x3644 -x3645 
3600.02/1826.11	v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 
3600.02/1826.11	v -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 
3600.02/1826.11	v -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 x3675 -x3676 -x3677 -x3678 
3600.02/1826.11	v -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 
3600.02/1826.11	v x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 
3600.02/1826.11	v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 
3600.02/1826.11	v -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 
3600.02/1826.11	v -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 
3600.02/1826.11	v -x3734 -x3735 -x3736 x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 
3600.02/1826.11	v -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 
3600.02/1826.11	v -x3756 -x3757 x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 
3600.02/1826.11	v -x3767 -x3768 -x3769 -x3770 -x3771 x3772 -x3773 -x3774 -x3775 -x3776 -x3777 
3600.02/1826.11	v -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 
3600.02/1826.11	v -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 x3797 -x3798 -x3799 
3600.02/1826.11	v -x3800 x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 
3600.02/1826.11	v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 
3600.02/1826.11	v -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 
3600.02/1826.11	v -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 x3841 -x3842 -x3843 
3600.02/1826.11	v -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 x3854 
3600.02/1826.11	v -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 
3600.02/1826.11	v -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 
3600.02/1826.11	v -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 
3600.02/1826.11	v -x3888 -x3889 -x3890 x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 
3600.02/1826.11	v -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 
3600.02/1826.11	v -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 
3600.02/1826.11	v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 
3600.02/1826.11	v -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 
3600.02/1826.11	v -x3943 x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 
3600.02/1826.11	v x3954 -x3955 -x3956 -x3957 x3958 -x3959 -x3960 -x3961 -x3962 -x3963 x3964 -x3965 
3600.02/1826.11	v -x3966 -x3967 x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 
3600.02/1826.11	v -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 
3600.02/1826.11	v -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 
3600.02/1826.11	v -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 
3600.02/1826.11	v -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 x4017 -x4018 -x4019 -x4020 
3600.02/1826.11	v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 
3600.02/1826.11	v -x4032 -x4033 -x4034 -x4035 x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 
3600.02/1826.11	v -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 
3600.02/1826.11	v -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 
3600.02/1826.11	v -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 
3600.02/1826.11	v -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 
3600.02/1826.11	v -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 x4096 -x4097 
3600.02/1826.11	v -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 
3600.02/1826.11	v -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 
3600.02/1826.11	v -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 
3600.02/1826.11	v -x4131 x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 x4140 -x4141 
3600.02/1826.11	v -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 
3600.02/1826.11	v x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 
3600.02/1826.11	v -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 
3600.02/1826.11	v -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 
3600.02/1826.11	v -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 
3600.02/1826.11	v -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 x4205 -x4206 -x4207 
3600.02/1826.11	v -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 x4216 -x4217 -x4218 
3600.02/1826.11	v -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 
3600.02/1826.11	v -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 
3600.02/1826.11	v -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 
3600.02/1826.11	v -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 
3600.02/1826.11	v -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 
3600.02/1826.11	v -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 
3600.02/1826.11	v -x4285 -x4286 -x4287 x4288 -x4289 -x4290 -x4291 -x4292 -x4293 x4294 -x4295 
3600.02/1826.11	v -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 
3600.02/1826.11	v -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 
3600.02/1826.11	v -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 x4325 -x4326 -x4327 -x4328 
3600.02/1826.11	v -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 
3600.02/1826.11	v -x4340 x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 
3600.02/1826.11	v -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 
3600.02/1826.11	v -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 x4370 -x4371 -x4372 
3600.02/1826.11	v -x4373 x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 
3600.02/1826.11	v -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 
3600.02/1826.11	v -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 
3600.02/1826.11	v -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 
3600.02/1826.11	v -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 
3600.02/1826.11	v -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 x4436 -x4437 -x4438 
3600.02/1826.11	v -x4439 x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 
3600.02/1826.11	v -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 
3600.02/1826.11	v -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 
3600.02/1826.11	v -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 
3600.02/1826.11	v -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 
3600.02/1826.11	v -x4494 -x4495 x4496 x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 
3600.02/1826.11	v -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 
3600.02/1826.11	v -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 
3600.02/1826.11	v -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 x4535 -x4536 -x4537 
3600.02/1826.11	v -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 x4547 -x4548 
3600.02/1826.11	v -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 
3600.02/1826.11	v -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 
3600.02/1826.11	v -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 
3600.02/1826.11	v -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 
3600.02/1826.11	v -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 x4601 -x4602 -x4603 
3600.02/1826.11	v -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 
3600.02/1826.11	v -x4615 -x4616 -x4617 -x4618 -x4619 x4620 -x4621 -x4622 -x4623 -x4624 -x4625 
3600.02/1826.11	v -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 
3600.02/1826.11	v -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 
3600.02/1826.11	v -x4648 x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 
3600.02/1826.11	v -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 
3600.02/1826.11	v -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 
3600.02/1826.11	v x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 
3600.02/1826.11	v -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 x4698 -x4699 -x4700 -x4701 -x4702 
3600.02/1826.11	v -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 
3600.02/1826.11	v -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 
3600.02/1826.11	v -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 
3600.02/1826.11	v -x4736 -x4737 -x4738 x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 
3600.02/1826.11	v -x4747 -x4748 -x4749 x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 
3600.02/1826.11	v -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 
3600.02/1826.11	v -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 
3600.02/1826.11	v -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 
3600.02/1826.11	v -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 
3600.02/1826.11	v -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 x4809 -x4810 -x4811 -x4812 
3600.02/1826.11	v -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 x4819 -x4820 -x4821 -x4822 -x4823 
3600.02/1826.11	v -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 
3600.02/1826.11	v -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 
3600.02/1826.11	v -x4846 -x4847 x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 
3600.02/1826.11	v -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 
3600.02/1826.11	v -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 
3600.02/1826.11	v -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 
3600.02/1826.11	v -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 x4896 -x4897 -x4898 -x4899 -x4900 
3600.02/1826.11	v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 x4907 -x4908 -x4909 -x4910 -x4911 
3600.02/1826.11	v -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 x4919 -x4920 -x4921 -x4922 
3600.02/1826.11	v -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 
3600.02/1826.11	v -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 
3600.02/1826.11	v -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 
3600.02/1826.11	v -x4956 x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 
3600.02/1826.11	v -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 
3600.02/1826.11	v -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 
3600.02/1826.11	v -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 
3600.02/1826.11	v -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 x5009 -x5010 
3600.02/1826.11	v -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 x5017 -x5018 -x5019 -x5020 -x5021 
3600.02/1826.11	v -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 
3600.02/1826.11	v -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 
3600.02/1826.11	v -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 
3600.02/1826.11	v -x5055 -x5056 x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 
3600.02/1826.11	v -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 
3600.02/1826.11	v -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 
3600.02/1826.11	v -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 x5098 
3600.02/1826.11	v -x5099 -x5100 x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 
3600.02/1826.11	v -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 
3600.02/1826.11	v -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 
3600.02/1826.11	v -x5132 -x5133 -x5134 -x5135 -x5136 x5137 -x5138 -x5139 -x5140 -x5141 -x5142 
3600.02/1826.11	v -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 
3600.02/1826.11	v -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 x5161 -x5162 -x5163 -x5164 
3600.02/1826.11	v -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 
3600.02/1826.11	v -x5176 -x5177 -x5178 -x5179 x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 
3600.02/1826.11	v -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 
3600.02/1826.11	v -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 x5206 -x5207 x5208 
3600.02/1826.11	v -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 x5216 -x5217 -x5218 -x5219 
3600.02/1826.11	v -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 
3600.02/1826.11	v -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 
3600.02/1826.11	v -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 
3600.02/1826.11	v -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 
3600.02/1826.11	v -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 
3600.02/1826.11	v -x5275 -x5276 -x5277 -x5278 -x5279 x5280 -x5281 -x5282 -x5283 -x5284 -x5285 
3600.02/1826.11	v -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 x5295 x5296 
3600.02/1826.11	v -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 
3600.02/1826.11	v x5308 x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 x5318 -x5319 
3600.02/1826.11	v -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 
3600.02/1826.11	v -x5331 -x5332 -x5333 -x5334 -x5335 x5336 -x5337 -x5338 -x5339 -x5340 -x5341 
3600.02/1826.11	v -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 
3600.02/1826.11	v -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 
3600.02/1826.11	v -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 
3600.02/1826.11	v -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 x5384 -x5385 
3600.02/1826.11	v -x5386 -x5387 -x5388 -x5389 x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 
3600.02/1826.11	v -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 
3600.02/1826.11	v -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 
3600.02/1826.11	v -x5419 -x5420 x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 x5429 
3600.02/1826.11	v -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 
3600.02/1826.11	v -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 
3600.02/1826.11	v -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 
3600.02/1826.11	v -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 
3600.02/1826.11	v -x5474 x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 
3600.02/1826.11	v x5485 -x5486 -x5487 x5488 -x5489 -x5490 -x5491 -x5492 -x5493 x5494 -x5495 -x5496 
3600.02/1826.11	v -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 
3600.02/1826.11	v -x5508 x5509 -x5510 x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 
3600.02/1826.11	v -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 
3600.02/1826.11	v -x5530 -x5531 -x5532 -x5533 x5534 x5535 -x5536 -x5537 -x5538 -x5539 -x5540 
3600.02/1826.11	v -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 
3600.02/1826.11	v -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 x5562 
3600.02/1826.11	v x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 x5571 -x5572 -x5573 
3600.02/1826.11	v -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 
3600.02/1826.11	v -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 x5595 
3600.02/1826.11	v -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 
3600.02/1826.11	v -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 
3600.02/1826.11	v -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 
3600.02/1826.11	v -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 x5635 -x5636 -x5637 -x5638 -x5639 
3600.02/1826.11	v -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 x5649 -x5650 
3600.02/1826.11	v -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 
3600.02/1826.11	v -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 x5668 -x5669 -x5670 -x5671 -x5672 
3600.02/1826.11	v -x5673 x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 
3600.02/1826.11	v -x5684 -x5685 -x5686 -x5687 x5688 -x5689 -x5690 -x5691 x5692 -x5693 -x5694 
3600.02/1826.11	v -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 x5705 
3600.02/1826.11	v -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 x5716 
3600.02/1826.11	v -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 
3600.02/1826.11	v -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 
3600.02/1826.11	v -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747

Verifier Data 

OK	390

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (55600 MiB free)
  memory of node 1: 64465 MiB (56129 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526673-1751627870/watcher-4526673-1751627870 -o /tmp/evaluation-result-4526673-1751627870/solver-4526673-1751627870 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751625557-89352 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:507244999 --competition_mode --input HOME/instance-4526673-1751627870.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=91780, runsolver pid=91777

[startup+0.100066 s]*
/proc/loadavg: 8.05 8.03 7.64 8/268 91781
/proc/meminfo: memFree=114349336/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=44436 memory=34500 CPUtime=0.1 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) R 91777 91780 89339 0 -1 4194304 8158 0 0 0 8 2 0 0 20 0 1 0 78464908 45502464 8625 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 11109 8625 1088 2102 0 8649 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44436 KiB
Current children cumulated memory: 34500 KiB

[startup+0.205948 s]*
/proc/loadavg: 8.05 8.03 7.64 8/268 91781
/proc/meminfo: memFree=114182576/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=93692 memory=77124 CPUtime=0.2 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) R 91777 91780 89339 0 -1 4194304 17780 0 0 0 16 4 0 0 20 0 1 0 78464908 95940608 19249 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 23423 19249 1088 2102 0 20963 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93692 KiB
Current children cumulated memory: 77124 KiB

[startup+0.305853 s]*
/proc/loadavg: 8.05 8.03 7.64 8/268 91781
/proc/meminfo: memFree=114108336/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=162428 memory=155036 CPUtime=0.3 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) R 91777 91780 89339 0 -1 4194304 38618 0 0 0 23 7 0 0 20 0 1 0 78464908 166326272 38759 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 40607 38759 1280 2102 0 38147 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 162428 KiB
Current children cumulated memory: 155036 KiB

[startup+0.700196 s]
/proc/loadavg: 8.05 8.03 7.64 8/268 91781
/proc/meminfo: memFree=114042028/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=299288 memory=282036 CPUtime=0.69 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) R 91777 91780 89339 0 -1 4194304 64138 0 0 0 57 12 0 0 20 0 1 0 78464908 306470912 70509 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 74822 70509 1408 2102 0 72362 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 299288 KiB
Current children cumulated memory: 282036 KiB

[startup+1.50018 s]
/proc/loadavg: 8.05 8.03 7.64 8/268 91781
/proc/meminfo: memFree=113894884/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=355660 memory=326456 CPUtime=1.49 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) R 91777 91780 89339 0 -1 4194304 68487 0 0 0 136 13 0 0 20 0 1 0 78464908 364195840 81614 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 88915 81614 1536 2102 0 86455 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 355660 KiB
Current children cumulated memory: 326456 KiB

[startup+3.10588 s]
/proc/loadavg: 8.04 8.03 7.64 8/268 91781
/proc/meminfo: memFree=113547984/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=677816 memory=630204 CPUtime=3.08 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) R 91777 91780 89339 0 -1 4194304 117423 0 0 0 283 25 0 0 20 0 1 0 78464908 694083584 157551 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 169454 157551 1792 2102 0 166994 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 677816 KiB
Current children cumulated memory: 630204 KiB

[startup+6.30018 s]
/proc/loadavg: 8.04 8.03 7.64 8/268 91781
/proc/meminfo: memFree=113744608/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=605428 memory=571592 CPUtime=6.26 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) R 91777 91780 89339 0 -1 4194304 119088 0 0 0 600 26 0 0 20 0 1 0 78464908 619958272 142898 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 151357 142898 1888 2102 0 148897 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 605428 KiB
Current children cumulated memory: 571592 KiB

[startup+12.7002 s]
/proc/loadavg: 8.04 8.03 7.64 9/270 91783
/proc/meminfo: memFree=112407104/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=2243568 memory=1775528 CPUtime=15 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) S 91777 91780 89339 0 -1 4194304 233925 0 0 0 1435 65 0 0 20 0 3 0 78464908 2297413632 443882 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 560892 443882 2144 2102 0 539598 0
[pid=91780/tid=91782] ppid=91777 vsize=2243568 memory=0 CPUtime=2.37 cores=5,7
/proc/91780/task/91782/stat : 91782 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 58145 0 0 0 220 17 0 0 20 0 3 0 78465936 2297413632 443882 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
[pid=91780/tid=91783] ppid=91777 vsize=2243568 memory=-8183426968935765695 CPUtime=2.38 cores=5,7
/proc/91780/task/91783/stat : 91783 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 41860 0 0 0 224 14 0 0 20 0 3 0 78465936 2297413632 443882 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
Current children cumulated CPU time: 15 s
Current children cumulated vsize: 2243568 KiB
Current children cumulated memory: 1775528 KiB

[startup+25.5002 s]
/proc/loadavg: 8.33 8.09 7.67 9/271 91785
/proc/meminfo: memFree=111949372/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=2833392 memory=2431224 CPUtime=40.35 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) R 91777 91780 89339 0 -1 4194304 399668 0 0 0 3930 105 0 0 20 0 3 0 78464908 2901393408 607806 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 708348 607806 2144 2102 0 674608 0
[pid=91780/tid=91782] ppid=91777 vsize=2833392 memory=2111648 CPUtime=14.64 cores=5,7
/proc/91780/task/91782/stat : 91782 (cp-sat-runner) S 91777 91780 89339 0 -1 4194368 154527 0 0 0 1431 33 0 0 20 0 3 0 78465936 2901393408 607806 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
[pid=91780/tid=91783] ppid=91777 vsize=2833392 memory=2118092 CPUtime=15.09 cores=5,7
/proc/91780/task/91783/stat : 91783 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 111160 0 0 0 1471 38 0 0 20 0 3 0 78465936 2901393408 607806 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
Current children cumulated CPU time: 40.35 s
Current children cumulated vsize: 2833392 KiB
Current children cumulated memory: 2431224 KiB

[startup+51.1063 s]
/proc/loadavg: 8.27 8.10 7.68 9/272 91786
/proc/meminfo: memFree=112512628/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=2785072 memory=2494560 CPUtime=90.74 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) S 91777 91780 89339 0 -1 4194304 617225 0 0 0 8905 169 0 0 20 0 3 0 78464908 2851913728 623640 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 696268 623640 2144 2102 0 665785 0
[pid=91780/tid=91782] ppid=91777 vsize=2785072 memory=630460 CPUtime=36.43 cores=5,7
/proc/91780/task/91782/stat : 91782 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 247950 0 0 0 3601 42 0 0 20 0 3 0 78465936 2851913728 623640 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
[pid=91780/tid=91783] ppid=91777 vsize=2785072 memory=2273 CPUtime=39.28 cores=5,7
/proc/91780/task/91783/stat : 91783 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 235222 0 0 0 3835 93 0 0 20 0 3 0 78465936 2851913728 623640 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
Current children cumulated CPU time: 90.74 s
Current children cumulated vsize: 2785072 KiB
Current children cumulated memory: 2494560 KiB

[startup+102.3 s]
/proc/loadavg: 8.08 8.08 7.70 9/274 91792
/proc/meminfo: memFree=111073776/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=2943396 memory=2576448 CPUtime=192.15 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) S 91777 91780 89339 0 -1 4194304 847469 0 0 0 18953 262 0 0 20 0 3 0 78464908 3014037504 644112 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 735849 644112 2144 2102 0 705825 0
[pid=91780/tid=91782] ppid=91777 vsize=2943396 memory=14336 CPUtime=87.06 cores=5,7
/proc/91780/task/91782/stat : 91782 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 382194 0 0 0 8656 50 0 0 20 0 3 0 78465936 3014037504 644112 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
[pid=91780/tid=91783] ppid=91777 vsize=2943396 memory=2518272 CPUtime=89.6 cores=5,7
/proc/91780/task/91783/stat : 91783 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 331173 0 0 0 8783 177 0 0 20 0 3 0 78465936 3014037504 644112 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
Current children cumulated CPU time: 192.15 s
Current children cumulated vsize: 2943396 KiB
Current children cumulated memory: 2576448 KiB

[startup+162.3 s]
/proc/loadavg: 8.26 8.14 7.75 8/274 91798
/proc/meminfo: memFree=110149728/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=3111452 memory=2742740 CPUtime=308.72 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) S 91777 91780 89339 0 -1 4194304 1095300 0 0 0 30466 406 0 0 20 0 3 0 78464908 3186126848 685685 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 777863 685685 2144 2102 0 743812 0
[pid=91780/tid=91782] ppid=91777 vsize=3111452 memory=2662340 CPUtime=140.76 cores=5,7
/proc/91780/task/91782/stat : 91782 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 584384 0 0 0 14003 73 0 0 20 0 3 0 78465936 3186126848 685685 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
[pid=91780/tid=91783] ppid=91777 vsize=3111452 memory=14156 CPUtime=145.33 cores=5,7
/proc/91780/task/91783/stat : 91783 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 376788 0 0 0 14235 298 0 0 20 0 3 0 78465936 3186126848 685685 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
Current children cumulated CPU time: 308.72 s
Current children cumulated vsize: 3111452 KiB
Current children cumulated memory: 2742740 KiB

[startup+222.3 s]
/proc/loadavg: 8.12 8.12 7.77 9/274 91800
/proc/meminfo: memFree=109874212/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=2907588 memory=2654596 CPUtime=426.47 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) S 91777 91780 89339 0 -1 4194304 1311634 0 0 0 42104 543 0 0 20 0 3 0 78464908 2977370112 663649 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 726897 663649 2144 2102 0 706331 0
[pid=91780/tid=91782] ppid=91777 vsize=2907588 memory=2762832 CPUtime=194.18 cores=5,7
/proc/91780/task/91782/stat : 91782 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 694692 0 0 0 19330 88 0 0 20 0 3 0 78465936 2977370112 663649 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
[pid=91780/tid=91783] ppid=91777 vsize=2907588 memory=2707244 CPUtime=201.09 cores=5,7
/proc/91780/task/91783/stat : 91783 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 476743 0 0 0 19691 418 0 0 20 0 3 0 78465936 2977370112 663649 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
Current children cumulated CPU time: 426.47 s
Current children cumulated vsize: 2907588 KiB
Current children cumulated memory: 2654596 KiB

[startup+282.3 s]
/proc/loadavg: 8.18 8.15 7.80 9/274 91802
/proc/meminfo: memFree=108351712/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=3110524 memory=2865428 CPUtime=544.06 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) S 91777 91780 89339 0 -1 4194304 1510821 0 0 0 53581 825 0 0 20 0 3 0 78464908 3185176576 716357 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 777631 716357 2144 2102 0 757151 0
[pid=91780/tid=91782] ppid=91777 vsize=3110524 memory=14156 CPUtime=246.05 cores=5,7
/proc/91780/task/91782/stat : 91782 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 805105 0 0 0 24321 284 0 0 20 0 3 0 78465936 3185176576 716357 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
[pid=91780/tid=91783] ppid=91777 vsize=3110524 memory=2752408 CPUtime=256.89 cores=5,7
/proc/91780/task/91783/stat : 91783 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 548559 0 0 0 25187 502 0 0 20 0 3 0 78465936 3185176576 716357 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
Current children cumulated CPU time: 544.06 s
Current children cumulated vsize: 3110524 KiB
Current children cumulated memory: 2865428 KiB

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

Current children cumulated memory: 3196328 KiB

[startup+1362.3 s]
/proc/loadavg: 8.06 8.07 8.01 9/272 91945
/proc/meminfo: memFree=106015832/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=3605680 memory=3345212 CPUtime=2682.32 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) S 91777 91780 89339 0 -1 4194304 4249886 0 0 0 263064 5168 0 0 20 0 3 0 78464908 3692216320 836303 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 901420 836303 2144 2102 0 877433 0
[pid=91780/tid=91782] ppid=91777 vsize=3605680 memory=3201372 CPUtime=1304.19 cores=5,7
/proc/91780/task/91782/stat : 91782 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 1934368 0 0 0 127259 3160 0 0 20 0 3 0 78465936 3692216320 836303 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
[pid=91780/tid=91783] ppid=91777 vsize=3605680 memory=3333404 CPUtime=1316.54 cores=5,7
/proc/91780/task/91783/stat : 91783 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 2131223 0 0 0 129699 1955 0 0 20 0 3 0 78465936 3692216320 836303 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
Current children cumulated CPU time: 2682.32 s
Current children cumulated vsize: 3605680 KiB
Current children cumulated memory: 3345212 KiB

[startup+1422.3 s]
/proc/loadavg: 8.12 8.09 8.02 9/273 91952
/proc/meminfo: memFree=105369380/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=3546252 memory=3247556 CPUtime=2801.23 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) S 91777 91780 89339 0 -1 4194304 4342670 0 0 0 274887 5236 0 0 20 0 3 0 78464908 3631362048 811889 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 886563 811889 2144 2102 0 865323 0
[pid=91780/tid=91782] ppid=91777 vsize=3546252 memory=3201372 CPUtime=1363.9 cores=5,7
/proc/91780/task/91782/stat : 91782 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 1961734 0 0 0 133227 3163 0 0 20 0 3 0 78465936 3631362048 811889 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
[pid=91780/tid=91783] ppid=91777 vsize=3546252 memory=3296320 CPUtime=1375.72 cores=5,7
/proc/91780/task/91783/stat : 91783 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 2196602 0 0 0 135552 2020 0 0 20 0 3 0 78465936 3631362048 811889 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
Current children cumulated CPU time: 2801.23 s
Current children cumulated vsize: 3546252 KiB
Current children cumulated memory: 3247556 KiB

[startup+1482.3 s]
/proc/loadavg: 7.95 8.05 8.01 9/273 92095
/proc/meminfo: memFree=114063708/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=3609832 memory=3356700 CPUtime=2920.13 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) S 91777 91780 89339 0 -1 4194304 4432422 0 0 0 286660 5353 0 0 20 0 3 0 78464908 3696467968 839175 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 902458 839175 2144 2102 0 881784 0
[pid=91780/tid=91782] ppid=91777 vsize=3609832 memory=3222708 CPUtime=1423.59 cores=5,7
/proc/91780/task/91782/stat : 91782 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 1991813 0 0 0 139176 3183 0 0 20 0 3 0 78465936 3696467968 839175 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
[pid=91780/tid=91783] ppid=91777 vsize=3609832 memory=3325272 CPUtime=1434.9 cores=5,7
/proc/91780/task/91783/stat : 91783 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 2256219 0 0 0 141374 2116 0 0 20 0 3 0 78465936 3696467968 839175 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
Current children cumulated CPU time: 2920.13 s
Current children cumulated vsize: 3609832 KiB
Current children cumulated memory: 3356700 KiB

[startup+1542.3 s]
/proc/loadavg: 7.90 8.01 8.00 9/273 92190
/proc/meminfo: memFree=113940552/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=3649060 memory=3341484 CPUtime=3039.05 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) S 91777 91780 89339 0 -1 4194304 4542786 0 0 0 298382 5523 0 0 20 0 3 0 78464908 3736637440 835371 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 912265 835371 2144 2102 0 891802 0
[pid=91780/tid=91782] ppid=91777 vsize=3649060 memory=5148 CPUtime=1483.28 cores=5,7
/proc/91780/task/91782/stat : 91782 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 2031321 0 0 0 145067 3261 0 0 20 0 3 0 78465936 3736637440 835371 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
[pid=91780/tid=91783] ppid=91777 vsize=3649060 memory=3333292 CPUtime=1494.11 cores=5,7
/proc/91780/task/91783/stat : 91783 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 2327037 0 0 0 147203 2208 0 0 20 0 3 0 78465936 3736637440 835371 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
Current children cumulated CPU time: 3039.05 s
Current children cumulated vsize: 3649060 KiB
Current children cumulated memory: 3341484 KiB

[startup+1602.3 s]
/proc/loadavg: 7.59 7.92 7.97 7/265 92646
/proc/meminfo: memFree=113687456/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=3710192 memory=3378008 CPUtime=3157.94 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) S 91777 91780 89339 0 -1 4194304 4714941 0 0 0 310048 5746 0 0 20 0 3 0 78464908 3799236608 844502 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 927548 844502 2144 2102 0 899623 0
[pid=91780/tid=91782] ppid=91777 vsize=3710192 memory=5148 CPUtime=1541.64 cores=5,7
/proc/91780/task/91782/stat : 91782 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 2093817 0 0 0 150783 3381 0 0 20 0 3 0 78465936 3799236608 844502 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
[pid=91780/tid=91783] ppid=91777 vsize=3710192 memory=14156 CPUtime=1553.3 cores=5,7
/proc/91780/task/91783/stat : 91783 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 2436646 0 0 0 153020 2310 0 0 20 0 3 0 78465936 3799236608 844502 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
Current children cumulated CPU time: 3157.94 s
Current children cumulated vsize: 3710192 KiB
Current children cumulated memory: 3378008 KiB

[startup+1662.3 s]
/proc/loadavg: 6.48 7.54 7.84 7/263 92648
/proc/meminfo: memFree=113536932/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=3642436 memory=3344088 CPUtime=3275.04 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) S 91777 91780 89339 0 -1 4194304 4879250 0 0 0 321515 5989 0 0 20 0 3 0 78464908 3729854464 836022 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 910609 836022 2144 2102 0 890146 0
[pid=91780/tid=91782] ppid=91777 vsize=3642436 memory=5148 CPUtime=1596 cores=5,7
/proc/91780/task/91782/stat : 91782 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 2178835 0 0 0 156067 3533 0 0 20 0 3 0 78465936 3729854464 836022 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
[pid=91780/tid=91783] ppid=91777 vsize=3642436 memory=3353404 CPUtime=1609.73 cores=5,7
/proc/91780/task/91783/stat : 91783 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 2506968 0 0 0 158575 2398 0 0 20 0 3 0 78465936 3729854464 836022 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
Current children cumulated CPU time: 3275.04 s
Current children cumulated vsize: 3642436 KiB
Current children cumulated memory: 3344088 KiB

[startup+1722.3 s]
/proc/loadavg: 6.52 7.37 7.76 7/263 92650
/proc/meminfo: memFree=114426572/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=3654144 memory=3355988 CPUtime=3394.03 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) S 91777 91780 89339 0 -1 4194304 4950407 0 0 0 333324 6079 0 0 20 0 3 0 78464908 3741843456 838997 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 913536 838997 2144 2102 0 893073 0
[pid=91780/tid=91782] ppid=91777 vsize=3654144 memory=5148 CPUtime=1655.26 cores=5,7
/proc/91780/task/91782/stat : 91782 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 2207030 0 0 0 161991 3535 0 0 20 0 3 0 78465936 3741843456 838997 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
[pid=91780/tid=91783] ppid=91777 vsize=3654144 memory=3423040 CPUtime=1669.44 cores=5,7
/proc/91780/task/91783/stat : 91783 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 2549893 0 0 0 164460 2484 0 0 20 0 3 0 78465936 3741843456 838997 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
Current children cumulated CPU time: 3394.03 s
Current children cumulated vsize: 3654144 KiB
Current children cumulated memory: 3355988 KiB

[startup+1782.3 s]
/proc/loadavg: 6.19 7.12 7.65 7/262 92652
/proc/meminfo: memFree=114074784/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=3670804 memory=3421568 CPUtime=3513.09 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) S 91777 91780 89339 0 -1 4194304 5054341 0 0 0 345135 6174 0 0 20 0 3 0 78464908 3758903296 855392 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 917701 855392 2144 2102 0 897238 0
[pid=91780/tid=91782] ppid=91777 vsize=3670804 memory=3405968 CPUtime=1714.57 cores=5,7
/proc/91780/task/91782/stat : 91782 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 2250641 0 0 0 167918 3539 0 0 20 0 3 0 78465936 3758903296 855392 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
[pid=91780/tid=91783] ppid=91777 vsize=3670804 memory=3388640 CPUtime=1729.17 cores=5,7
/proc/91780/task/91783/stat : 91783 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 2610170 0 0 0 170341 2576 0 0 20 0 3 0 78465936 3758903296 855392 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
Current children cumulated CPU time: 3513.09 s
Current children cumulated vsize: 3670804 KiB
Current children cumulated memory: 3421568 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1826.11 s]
/proc/loadavg: 6.50 7.07 7.60 7/263 92654
/proc/meminfo: memFree=113717328/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=3679796 memory=3372544 CPUtime=3600.02 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) S 91777 91780 89339 0 -1 4194304 5130949 0 0 0 353763 6239 0 0 20 0 3 0 78464908 3768111104 843136 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 919949 843136 2144 2102 0 899486 0
[pid=91780/tid=91782] ppid=91777 vsize=3679796 memory=3289828 CPUtime=1757.88 cores=5,7
/proc/91780/task/91782/stat : 91782 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 2277105 0 0 0 172247 3541 0 0 20 0 3 0 78465936 3768111104 843136 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
[pid=91780/tid=91783] ppid=91777 vsize=3679796 memory=14336 CPUtime=1772.78 cores=5,7
/proc/91780/task/91783/stat : 91783 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 2660275 0 0 0 174640 2638 0 0 20 0 3 0 78465936 3768111104 843136 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3679796 KiB
Current children cumulated memory: 3372544 KiB

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

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

# cumulated CPU time of all completed processes:  user=3537.64 s, system=62.4663 s

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

[startup+1826.11 s]
/proc/loadavg: 6.50 7.07 7.60 7/263 92654
/proc/meminfo: memFree=113717328/131249996 swapFree=33000896/33010684
[pid=91780] ppid=91777 vsize=3679796 memory=3372544 CPUtime=3600.02 cores=5,7
/proc/91780/stat : 91780 (cp-sat-runner) S 91777 91780 89339 0 -1 4194304 5130949 0 0 0 353763 6239 0 0 20 0 3 0 78464908 3768111104 843136 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
/proc/91780/statm: 919949 843136 2144 2102 0 899486 0
[pid=91780/tid=91782] ppid=91777 vsize=3679796 memory=3289828 CPUtime=1757.88 cores=5,7
/proc/91780/task/91782/stat : 91782 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 2277105 0 0 0 172247 3541 0 0 20 0 3 0 78465936 3768111104 843136 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
[pid=91780/tid=91783] ppid=91777 vsize=3679796 memory=14336 CPUtime=1772.78 cores=5,7
/proc/91780/task/91783/stat : 91783 (cp-sat-runner) R 91777 91780 89339 0 -1 4194368 2660275 0 0 0 174640 2638 0 0 20 0 3 0 78465936 3768111104 843136 18446744073709551615 4198400 12805993 140734801311072 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 45514752 140734801320215 140734801320419 140734801320419 140734801326023 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3679796 KiB
Current children cumulated memory: 3372544 KiB

Child status: 0

Real time (s): 1826.18
CPU time (s): 3600.11
CPU user time (s): 3537.64
CPU system time (s): 62.4663
CPU usage (%): 197.139
Max. virtual memory (cumulated for all children) (KiB): 3741456
Max. memory (cumulated for all children) (KiB): 3460532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3537.64
system time used= 62.4663
maximum resident set size= 3460532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5130957
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= 24995
involuntary context switches= 153241


# summary of solver processes directly reported to runsolver:
#   pid: 91780
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3537.64
#   total CPU system time (s): 62.4663

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.02717 second user time and 9.62012 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-04 13:17:50
IDJOB=4526673
IDBENCH=144138
IDSOLVER=3378
FILE ID=nodeC023/4526673-1751627870
RUNJOBID= nodeC023-1751625557-89352
SLURM_JOB_ID= 9598950
Free space on /tmp= 431760 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph11reducmore_wcsp.wbo
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 -w /tmp/evaluation-result-4526673-1751627870/watcher-4526673-1751627870 -o /tmp/evaluation-result-4526673-1751627870/solver-4526673-1751627870 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751625557-89352 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:507244999 --competition_mode --input HOME/instance-4526673-1751627870.wbo

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

MD5SUM BENCH= 4f5be5c84a0d76ec975a3a6b3be3f2ae
RANDOM SEED=507244999

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        114380772 kB
MemAvailable:   114278392 kB
Buffers:              16 kB
Cached:           640188 kB
SwapCached:         2904 kB
Active:         15598284 kB
Inactive:         496684 kB
Active(anon):   15413932 kB
Inactive(anon):    53364 kB
Active(file):     184352 kB
Inactive(file):   443320 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             21200 kB
Writeback:            12 kB
AnonPages:      15448172 kB
Mapped:           124084 kB
Shmem:             12532 kB
KReclaimable:     218372 kB
Slab:             310432 kB
SReclaimable:     218372 kB
SUnreclaim:        92060 kB
KernelStack:        4320 kB
PageTables:        33608 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   17089756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10360832 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431780 MiB
End job on nodeC023 at 2025-07-04 13:48:17