Trace number 4526700

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.13 1822.74

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/
graphs/normalized-graph11reduc_wcsp.wbo
MD5SUM4f9f31b2d576e76fab744cedabc86032
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.9592
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5855
Total number of constraints283196
Number of soft constraints282856
Number of constraints which are clauses282856
Number of constraints which are cardinality constraints (but not clauses)340
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 

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

Verifier Data 

OK	381

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: 63665 MiB (57990 MiB free)
  memory of node 1: 64507 MiB (51720 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526700-1751628760/watcher-4526700-1751628760 -o /tmp/evaluation-result-4526700-1751628760/solver-4526700-1751628760 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751624255-89466 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:809998863 --competition_mode --input HOME/instance-4526700-1751628760.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=92118, runsolver pid=92115

[startup+0.100069 s]*
/proc/loadavg: 8.18 8.14 8.03 9/270 92119
/proc/meminfo: memFree=112196832/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=44296 memory=34608 CPUtime=0.09 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) R 92115 92118 89454 0 -1 4194304 7183 0 0 0 8 1 0 0 20 0 1 0 78553695 45359104 8652 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 11074 8652 1088 2102 0 8614 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44296 KiB
Current children cumulated memory: 34608 KiB

[startup+0.206056 s]*
/proc/loadavg: 8.08 8.12 8.02 8/270 92119
/proc/meminfo: memFree=112113784/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=90692 memory=73944 CPUtime=0.19 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) R 92115 92118 89454 0 -1 4194304 16011 0 0 0 16 3 0 0 20 0 1 0 78553695 92868608 18486 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 22673 18486 1088 2102 0 20213 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 90692 KiB
Current children cumulated memory: 73944 KiB

[startup+0.30594 s]*
/proc/loadavg: 8.08 8.12 8.02 8/270 92119
/proc/meminfo: memFree=111924952/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=162440 memory=155396 CPUtime=0.3 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) R 92115 92118 89454 0 -1 4194304 38297 0 0 0 22 8 0 0 20 0 1 0 78553695 166338560 38849 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 40610 38849 1280 2102 0 38150 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 162440 KiB
Current children cumulated memory: 155396 KiB

[startup+0.700194 s]
/proc/loadavg: 8.08 8.12 8.02 8/270 92119
/proc/meminfo: memFree=111836116/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=299396 memory=284928 CPUtime=0.68 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) R 92115 92118 89454 0 -1 4194304 63933 0 0 0 56 12 0 0 20 0 1 0 78553695 306581504 71232 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 74849 71232 1408 2102 0 72389 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 299396 KiB
Current children cumulated memory: 284928 KiB

[startup+1.50023 s]
/proc/loadavg: 8.08 8.12 8.02 8/270 92119
/proc/meminfo: memFree=111759244/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=355708 memory=329640 CPUtime=1.48 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) R 92115 92118 89454 0 -1 4194304 68360 0 0 0 135 13 0 0 20 0 1 0 78553695 364244992 82410 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 88927 82410 1536 2102 0 86467 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 355708 KiB
Current children cumulated memory: 329640 KiB

[startup+3.10593 s]
/proc/loadavg: 8.08 8.12 8.02 8/270 92119
/proc/meminfo: memFree=111323308/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=675144 memory=631568 CPUtime=3.08 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) R 92115 92118 89454 0 -1 4194304 119126 0 0 0 283 25 0 0 20 0 1 0 78553695 691347456 157892 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 168786 157892 1792 2102 0 166326 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 675144 KiB
Current children cumulated memory: 631568 KiB

[startup+6.30021 s]
/proc/loadavg: 8.00 8.10 8.02 8/270 92119
/proc/meminfo: memFree=111145292/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=605496 memory=575640 CPUtime=6.26 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) R 92115 92118 89454 0 -1 4194304 120802 0 0 0 600 26 0 0 20 0 1 0 78553695 620027904 143910 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 151374 143910 1888 2102 0 148914 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 605496 KiB
Current children cumulated memory: 575640 KiB

[startup+12.7003 s]
/proc/loadavg: 7.92 8.08 8.01 9/272 92121
/proc/meminfo: memFree=110420368/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=2339028 memory=1884660 CPUtime=15.08 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) S 92115 92118 89454 0 -1 4194304 255787 0 0 0 1442 66 0 0 20 0 3 0 78553695 2395164672 471165 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 584757 471165 2176 2102 0 568259 0
[pid=92118/tid=92120] ppid=92115 vsize=2339028 memory=0 CPUtime=2.46 cores=1,3
/proc/92118/task/92120/stat : 92120 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 57939 0 0 0 229 17 0 0 20 0 3 0 78554714 2395164672 471165 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
[pid=92118/tid=92121] ppid=92115 vsize=2339028 memory=-8183429193829420742 CPUtime=2.46 cores=1,3
/proc/92118/task/92121/stat : 92121 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 62908 0 0 0 229 17 0 0 20 0 3 0 78554714 2395164672 471165 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
Current children cumulated CPU time: 15.08 s
Current children cumulated vsize: 2339028 KiB
Current children cumulated memory: 1884660 KiB

[startup+25.5002 s]
/proc/loadavg: 8.01 8.09 8.01 10/272 92121
/proc/meminfo: memFree=109730980/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=2609840 memory=2146112 CPUtime=40.45 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) S 92115 92118 89454 0 -1 4194304 394761 0 0 0 3953 92 0 0 20 0 3 0 78553695 2672476160 536528 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 652460 536528 2176 2102 0 634179 0
[pid=92118/tid=92120] ppid=92115 vsize=2609840 memory=2186040 CPUtime=15.09 cores=1,3
/proc/92118/task/92120/stat : 92120 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 103512 0 0 0 1483 26 0 0 20 0 3 0 78554714 2672476160 536528 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
[pid=92118/tid=92121] ppid=92115 vsize=2609840 memory=2195528 CPUtime=15.2 cores=1,3
/proc/92118/task/92121/stat : 92121 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 156238 0 0 0 1486 34 0 0 20 0 3 0 78554714 2672476160 536528 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
Current children cumulated CPU time: 40.45 s
Current children cumulated vsize: 2609840 KiB
Current children cumulated memory: 2146112 KiB

[startup+51.1061 s]
/proc/loadavg: 8.16 8.12 8.02 9/273 92122
/proc/meminfo: memFree=109573764/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=2622752 memory=2362400 CPUtime=89.73 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) S 92115 92118 89454 0 -1 4194304 619335 0 0 0 8832 141 0 0 20 0 3 0 78553695 2685698048 590600 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 655688 590600 2176 2102 0 631503 0
[pid=92118/tid=92120] ppid=92115 vsize=2622752 memory=631824 CPUtime=36.69 cores=1,3
/proc/92118/task/92120/stat : 92120 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 204967 0 0 0 3629 40 0 0 20 0 3 0 78554714 2685698048 590600 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
[pid=92118/tid=92121] ppid=92115 vsize=2622752 memory=2273 CPUtime=38.71 cores=1,3
/proc/92118/task/92121/stat : 92121 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 279283 0 0 0 3802 69 0 0 20 0 3 0 78554714 2685698048 590600 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
Current children cumulated CPU time: 89.73 s
Current children cumulated vsize: 2622752 KiB
Current children cumulated memory: 2362400 KiB

[startup+102.3 s]
/proc/loadavg: 8.24 8.14 8.03 9/273 92124
/proc/meminfo: memFree=109236824/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=2952364 memory=2637168 CPUtime=190.59 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) S 92115 92118 89454 0 -1 4194304 787776 0 0 0 18844 215 0 0 20 0 3 0 78553695 3023220736 659292 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 738091 659292 2176 2102 0 705264 0
[pid=92118/tid=92120] ppid=92115 vsize=2952364 memory=14592 CPUtime=85.48 cores=1,3
/proc/92118/task/92120/stat : 92120 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 335725 0 0 0 8498 50 0 0 20 0 3 0 78554714 3023220736 659292 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
[pid=92118/tid=92121] ppid=92115 vsize=2952364 memory=14592 CPUtime=88.7 cores=1,3
/proc/92118/task/92121/stat : 92121 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 316952 0 0 0 8738 132 0 0 20 0 3 0 78554714 3023220736 659292 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
Current children cumulated CPU time: 190.59 s
Current children cumulated vsize: 2952364 KiB
Current children cumulated memory: 2637168 KiB

[startup+162.3 s]
/proc/loadavg: 8.31 8.17 8.05 9/274 92127
/proc/meminfo: memFree=109353476/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=2867720 memory=2591036 CPUtime=308.61 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) R 92115 92118 89454 0 -1 4194304 1064172 0 0 0 30530 331 0 0 20 0 3 0 78553695 2936545280 647759 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 716930 647759 2176 2102 0 695639 0
[pid=92118/tid=92120] ppid=92115 vsize=2867720 memory=14592 CPUtime=139.8 cores=1,3
/proc/92118/task/92120/stat : 92120 (cp-sat-runner) S 92115 92118 89454 0 -1 4194368 455560 0 0 0 13917 63 0 0 20 0 3 0 78554714 2936545280 647759 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 1 0 0 -1 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
[pid=92118/tid=92121] ppid=92115 vsize=2867720 memory=5276 CPUtime=146.45 cores=1,3
/proc/92118/task/92121/stat : 92121 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 473410 0 0 0 14411 234 0 0 20 0 3 0 78554714 2936545280 647759 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
Current children cumulated CPU time: 308.61 s
Current children cumulated vsize: 2867720 KiB
Current children cumulated memory: 2591036 KiB

[startup+222.3 s]
/proc/loadavg: 8.11 8.14 8.04 10/274 92129
/proc/meminfo: memFree=109222668/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=2974340 memory=2628960 CPUtime=426.86 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) S 92115 92118 89454 0 -1 4194304 1143230 0 0 0 42244 442 0 0 20 0 3 0 78553695 3045724160 657240 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 743585 657240 2176 2102 0 723588 0
[pid=92118/tid=92120] ppid=92115 vsize=2974340 memory=14592 CPUtime=196.28 cores=1,3
/proc/92118/task/92120/stat : 92120 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 484748 0 0 0 19560 68 0 0 20 0 3 0 78554714 3045724160 657240 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
[pid=92118/tid=92121] ppid=92115 vsize=2974340 memory=1920 CPUtime=202.39 cores=1,3
/proc/92118/task/92121/stat : 92121 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 523271 0 0 0 19900 339 0 0 20 0 3 0 78554714 3045724160 657240 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
Current children cumulated CPU time: 426.86 s
Current children cumulated vsize: 2974340 KiB
Current children cumulated memory: 2628960 KiB

[startup+282.3 s]
/proc/loadavg: 8.23 8.16 8.05 9/273 92134
/proc/meminfo: memFree=108191368/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=3040300 memory=2706612 CPUtime=545.09 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) S 92115 92118 89454 0 -1 4194304 1346084 0 0 0 53960 549 0 0 20 0 3 0 78553695 3113267200 676653 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 760075 676653 2176 2102 0 738793 0
[pid=92118/tid=92120] ppid=92115 vsize=3040300 memory=2647156 CPUtime=251.38 cores=1,3
/proc/92118/task/92120/stat : 92120 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 537599 0 0 0 25062 76 0 0 20 0 3 0 78554714 3113267200 676653 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
[pid=92118/tid=92121] ppid=92115 vsize=3040300 memory=2827260 CPUtime=260.06 cores=1,3
/proc/92118/task/92121/stat : 92121 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 673183 0 0 0 25568 438 0 0 20 0 3 0 78554714 3113267200 676653 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
Current children cumulated CPU time: 545.09 s
Current children cumulated vsize: 3040300 KiB

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

Current children cumulated memory: 2954412 KiB

[startup+1362.3 s]
/proc/loadavg: 6.17 6.87 7.53 7/264 92312
/proc/meminfo: memFree=89693160/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=3190740 memory=2949340 CPUtime=2686.03 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) S 92115 92118 89454 0 -1 4194304 3052676 0 0 0 266394 2209 0 0 20 0 3 0 78553695 3267317760 737335 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 797685 737335 2176 2102 0 777673 0
[pid=92118/tid=92120] ppid=92115 vsize=3190740 memory=2984440 CPUtime=1325.52 cores=1,3
/proc/92118/task/92120/stat : 92120 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 1131620 0 0 0 132412 140 0 0 20 0 3 0 78554714 3267317760 737335 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
[pid=92118/tid=92121] ppid=92115 vsize=3190740 memory=2970104 CPUtime=1324.69 cores=1,3
/proc/92118/task/92121/stat : 92121 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 1774814 0 0 0 130451 2018 0 0 20 0 3 0 78554714 3267317760 737335 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
Current children cumulated CPU time: 2686.03 s
Current children cumulated vsize: 3190740 KiB
Current children cumulated memory: 2949340 KiB

[startup+1422.3 s]
/proc/loadavg: 6.01 6.69 7.43 7/264 92314
/proc/meminfo: memFree=91395992/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=3260880 memory=2954448 CPUtime=2805.17 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) S 92115 92118 89454 0 -1 4194304 3149769 0 0 0 278205 2312 0 0 20 0 3 0 78553695 3339141120 738612 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 815220 738612 2176 2102 0 794087 0
[pid=92118/tid=92120] ppid=92115 vsize=3260880 memory=2984440 CPUtime=1385.33 cores=1,3
/proc/92118/task/92120/stat : 92120 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 1172706 0 0 0 138390 143 0 0 20 0 3 0 78554714 3339141120 738612 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
[pid=92118/tid=92121] ppid=92115 vsize=3260880 memory=2970104 CPUtime=1384 cores=1,3
/proc/92118/task/92121/stat : 92121 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 1830810 0 0 0 136283 2117 0 0 20 0 3 0 78554714 3339141120 738612 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
Current children cumulated CPU time: 2805.17 s
Current children cumulated vsize: 3260880 KiB
Current children cumulated memory: 2954448 KiB

[startup+1482.3 s]
/proc/loadavg: 6.15 6.60 7.35 7/264 92318
/proc/meminfo: memFree=89404632/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=3171216 memory=2941236 CPUtime=2924.29 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) S 92115 92118 89454 0 -1 4194304 3241818 0 0 0 290019 2410 0 0 20 0 3 0 78553695 3247325184 735309 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 792804 735309 2176 2102 0 772672 0
[pid=92118/tid=92120] ppid=92115 vsize=3171216 memory=2958620 CPUtime=1445.13 cores=1,3
/proc/92118/task/92120/stat : 92120 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 1203664 0 0 0 144368 145 0 0 20 0 3 0 78554714 3247325184 735309 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
[pid=92118/tid=92121] ppid=92115 vsize=3171216 memory=2957772 CPUtime=1443.3 cores=1,3
/proc/92118/task/92121/stat : 92121 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 1891887 0 0 0 142118 2212 0 0 20 0 3 0 78554714 3247325184 735309 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
Current children cumulated CPU time: 2924.29 s
Current children cumulated vsize: 3171216 KiB
Current children cumulated memory: 2941236 KiB

[startup+1542.3 s]
/proc/loadavg: 6.12 6.50 7.26 7/265 92321
/proc/meminfo: memFree=89900112/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=3166480 memory=2929884 CPUtime=3043.39 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) S 92115 92118 89454 0 -1 4194304 3320336 0 0 0 301840 2499 0 0 20 0 3 0 78553695 3242475520 732471 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 791620 732471 2176 2102 0 771608 0
[pid=92118/tid=92120] ppid=92115 vsize=3166480 memory=3001576 CPUtime=1504.92 cores=1,3
/proc/92118/task/92120/stat : 92120 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 1232517 0 0 0 150346 146 0 0 20 0 3 0 78554714 3242475520 732471 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
[pid=92118/tid=92121] ppid=92115 vsize=3166480 memory=2980796 CPUtime=1502.58 cores=1,3
/proc/92118/task/92121/stat : 92121 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 1941526 0 0 0 147959 2299 0 0 20 0 3 0 78554714 3242475520 732471 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
Current children cumulated CPU time: 3043.39 s
Current children cumulated vsize: 3166480 KiB
Current children cumulated memory: 2929884 KiB

[startup+1602.3 s]
/proc/loadavg: 6.39 6.50 7.21 7/264 92323
/proc/meminfo: memFree=89072364/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=3241828 memory=2944948 CPUtime=3162.5 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) S 92115 92118 89454 0 -1 4194304 3403893 0 0 0 313657 2593 0 0 20 0 3 0 78553695 3319631872 736237 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 810457 736237 2176 2102 0 790444 0
[pid=92118/tid=92120] ppid=92115 vsize=3241828 memory=2929884 CPUtime=1564.71 cores=1,3
/proc/92118/task/92120/stat : 92120 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 1268314 0 0 0 156322 149 0 0 20 0 3 0 78554714 3319631872 736237 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
[pid=92118/tid=92121] ppid=92115 vsize=3241828 memory=2928596 CPUtime=1561.88 cores=1,3
/proc/92118/task/92121/stat : 92121 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 1989274 0 0 0 153798 2390 0 0 20 0 3 0 78554714 3319631872 736237 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
Current children cumulated CPU time: 3162.5 s
Current children cumulated vsize: 3241828 KiB
Current children cumulated memory: 2944948 KiB

[startup+1662.3 s]
/proc/loadavg: 6.31 6.46 7.15 7/266 92327
/proc/meminfo: memFree=89017428/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=3169748 memory=2941340 CPUtime=3281.61 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) S 92115 92118 89454 0 -1 4194304 3476503 0 0 0 325470 2691 0 0 20 0 3 0 78553695 3245821952 735335 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 792437 735335 2176 2102 0 772425 0
[pid=92118/tid=92120] ppid=92115 vsize=3169748 memory=2929884 CPUtime=1624.51 cores=1,3
/proc/92118/task/92120/stat : 92120 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 1306715 0 0 0 162298 153 0 0 20 0 3 0 78554714 3245821952 735335 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
[pid=92118/tid=92121] ppid=92115 vsize=3169748 memory=14592 CPUtime=1621.17 cores=1,3
/proc/92118/task/92121/stat : 92121 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 2023478 0 0 0 159633 2484 0 0 20 0 3 0 78554714 3245821952 735335 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
Current children cumulated CPU time: 3281.61 s
Current children cumulated vsize: 3169748 KiB
Current children cumulated memory: 2941340 KiB

[startup+1722.3 s]
/proc/loadavg: 6.27 6.42 7.09 7/266 92340
/proc/meminfo: memFree=89422676/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=3159056 memory=2919100 CPUtime=3400.75 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) S 92115 92118 89454 0 -1 4194304 3530112 0 0 0 337297 2778 0 0 20 0 3 0 78553695 3234873344 729775 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 789764 729775 2176 2102 0 769752 0
[pid=92118/tid=92120] ppid=92115 vsize=3159056 memory=2929884 CPUtime=1684.32 cores=1,3
/proc/92118/task/92120/stat : 92120 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 1325688 0 0 0 168278 154 0 0 20 0 3 0 78554714 3234873344 729775 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
[pid=92118/tid=92121] ppid=92115 vsize=3159056 memory=2872036 CPUtime=1680.48 cores=1,3
/proc/92118/task/92121/stat : 92121 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 2058088 0 0 0 165479 2569 0 0 20 0 3 0 78554714 3234873344 729775 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
Current children cumulated CPU time: 3400.75 s
Current children cumulated vsize: 3159056 KiB
Current children cumulated memory: 2919100 KiB

[startup+1782.3 s]
/proc/loadavg: 6.22 6.38 7.04 7/266 92342
/proc/meminfo: memFree=88712948/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=3194716 memory=2938132 CPUtime=3519.87 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) S 92115 92118 89454 0 -1 4194304 3607194 0 0 0 349112 2875 0 0 20 0 3 0 78553695 3271389184 734533 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 798679 734533 2176 2102 0 778667 0
[pid=92118/tid=92120] ppid=92115 vsize=3194716 memory=2963804 CPUtime=1744.11 cores=1,3
/proc/92118/task/92120/stat : 92120 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 1355643 0 0 0 174256 155 0 0 20 0 3 0 78554714 3271389184 734533 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
[pid=92118/tid=92121] ppid=92115 vsize=3194716 memory=3003628 CPUtime=1739.78 cores=1,3
/proc/92118/task/92121/stat : 92121 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 2105207 0 0 0 171314 2664 0 0 20 0 3 0 78554714 3271389184 734533 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
Current children cumulated CPU time: 3519.87 s
Current children cumulated vsize: 3194716 KiB
Current children cumulated memory: 2938132 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1822.7 s]
/proc/loadavg: 6.16 6.35 7.00 6/266 92342
/proc/meminfo: memFree=88660348/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=3100444 memory=2872036 CPUtime=3600.09 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) S 92115 92118 89454 0 -1 4194304 3657260 0 0 0 357077 2932 0 0 20 0 3 0 78553695 3174854656 718009 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 775111 718009 2176 2102 0 755099 0
[pid=92118/tid=92120] ppid=92115 vsize=3100444 memory=2969072 CPUtime=1784.38 cores=1,3
/proc/92118/task/92120/stat : 92120 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 1366853 0 0 0 178282 156 0 0 20 0 3 0 78554714 3174854656 718009 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
[pid=92118/tid=92121] ppid=92115 vsize=3100444 memory=2914276 CPUtime=1779.71 cores=1,3
/proc/92118/task/92121/stat : 92121 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 2144029 0 0 0 175252 2719 0 0 20 0 3 0 78554714 3174854656 718009 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3100444 KiB
Current children cumulated memory: 2872036 KiB

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

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

# cumulated CPU time of all completed processes:  user=3570.78 s, system=29.3507 s

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

[startup+1822.7 s]
/proc/loadavg: 6.16 6.35 7.00 6/266 92342
/proc/meminfo: memFree=88660348/131249996 swapFree=33003468/33010684
[pid=92118] ppid=92115 vsize=3100444 memory=2872036 CPUtime=3600.09 cores=1,3
/proc/92118/stat : 92118 (cp-sat-runner) S 92115 92118 89454 0 -1 4194304 3657260 0 0 0 357077 2932 0 0 20 0 3 0 78553695 3174854656 718009 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
/proc/92118/statm: 775111 718009 2176 2102 0 755099 0
[pid=92118/tid=92120] ppid=92115 vsize=3100444 memory=2969072 CPUtime=1784.38 cores=1,3
/proc/92118/task/92120/stat : 92120 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 1366853 0 0 0 178282 156 0 0 20 0 3 0 78554714 3174854656 718009 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
[pid=92118/tid=92121] ppid=92115 vsize=3100444 memory=2914276 CPUtime=1779.71 cores=1,3
/proc/92118/task/92121/stat : 92121 (cp-sat-runner) R 92115 92118 89454 0 -1 4194368 2144029 0 0 0 175252 2719 0 0 20 0 3 0 78554714 3174854656 718009 18446744073709551615 4198400 12805993 140736821418320 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 29294592 140736821426455 140736821426659 140736821426659 140736821432263 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3100444 KiB
Current children cumulated memory: 2872036 KiB

Child status: 0

Real time (s): 1822.74
CPU time (s): 3600.13
CPU user time (s): 3570.78
CPU system time (s): 29.3507
CPU usage (%): 197.513
Max. virtual memory (cumulated for all children) (KiB): 3362732
Max. memory (cumulated for all children) (KiB): 3086576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.78
system time used= 29.3507
maximum resident set size= 3086576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3657265
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= 21619
involuntary context switches= 78218


# summary of solver processes directly reported to runsolver:
#   pid: 92118
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3570.78
#   total CPU system time (s): 29.3507

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.53663 second user time and 9.9387 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-04 13:32:40
IDJOB=4526700
IDBENCH=144141
IDSOLVER=3378
FILE ID=nodeC021/4526700-1751628760
RUNJOBID= nodeC021-1751624255-89466
SLURM_JOB_ID= 9598947
Free space on /tmp= 430784 MiB

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

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

MD5SUM BENCH= 4f9f31b2d576e76fab744cedabc86032
RANDOM SEED=809998863

nodeC021 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.778
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3564.968
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.56
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		: 3600.056
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.044
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.56
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		: 3600.214
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.897
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.56
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.774
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3597.812
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        112344008 kB
MemAvailable:   118857140 kB
Buffers:            1056 kB
Cached:          7245736 kB
SwapCached:           32 kB
Active:         11333592 kB
Inactive:        6783168 kB
Active(anon):   10842672 kB
Inactive(anon):    40804 kB
Active(file):     490920 kB
Inactive(file):  6742364 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003468 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             21048 kB
Writeback:             0 kB
AnonPages:      10859084 kB
Mapped:           125872 kB
Shmem:             13452 kB
KReclaimable:     237776 kB
Slab:             329924 kB
SReclaimable:     237776 kB
SUnreclaim:        92148 kB
KernelStack:        4368 kB
PageTables:        24536 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   11916856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7800832 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430672 MiB
End job on nodeC021 at 2025-07-04 14:03:03