Trace number 4526691

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.09 1828.37

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph05_wcsp.wbo
MD5SUM6dcf243f3bd81c615377274654cfc335
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark221
Best CPU time to get the best result obtained on this benchmark53.8199
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3708
Total number of constraints521269
Number of soft constraints521169
Number of constraints which are clauses521169
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 229599
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 117319947
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.71/18.54	o 41055
22.09/19.77	o 37270
56.54/37.29	o 37169
102.59/60.67	o 37069
103.59/61.17	o 37048
104.37/61.52	o 34048
110.52/64.67	o 33888
111.11/64.92	o 31401
112.10/65.48	o 30501
112.89/65.82	o 30290
126.58/72.79	o 30220
126.97/72.90	o 30110
132.09/75.69	o 29913
132.47/75.82	o 29893
132.88/76.03	o 28903
133.47/76.39	o 28814
133.87/76.51	o 28803
135.25/77.24	o 27811
135.98/77.64	o 26921
142.30/80.95	o 26811
144.55/82.30	o 26691
207.48/115.23	o 25554
216.08/119.64	o 25252
216.28/119.79	o 25163
217.08/120.11	o 25063
221.63/122.41	o 24876
221.83/122.53	o 24866
230.56/126.95	o 24549
234.92/129.19	o 24358
242.83/133.18	o 24277
243.32/133.41	o 24237
251.10/137.95	o 23347
253.28/139.01	o 22182
253.49/139.17	o 21861
321.76/174.73	o 21840
325.53/176.65	o 21832
328.30/178.06	o 20858
328.50/178.17	o 19548
345.42/186.72	o 19440
345.91/187.05	o 19430
351.82/190.18	o 19422
352.40/190.44	o 19380
357.90/193.26	o 19089
376.44/202.84	o 18901
380.01/204.74	o 18815
380.33/204.96	o 18803
388.07/208.87	o 18703
438.80/234.43	o 18603
442.76/236.44	o 17815
443.70/236.98	o 17684
447.25/238.78	o 17606
447.77/239.01	o 17604
449.65/240.07	o 17574
459.28/244.97	o 17485
465.22/247.94	o 17475
489.98/260.40	o 17384
498.70/264.82	o 17383
498.90/264.93	o 17373
512.57/271.85	o 17372
520.70/275.99	o 17371
526.64/278.97	o 17361
542.90/287.11	o 17261
585.51/308.67	o 13636
589.46/310.61	o 13266
589.66/310.72	o 13265
603.53/317.79	o 13164
639.97/336.30	o 13041
640.16/336.42	o 12940
663.74/348.32	o 12891
709.94/371.68	o 12885
710.33/371.80	o 12874
727.57/380.53	o 12774
745.40/389.56	o 12773
792.55/413.39	o 12743
799.49/416.89	o 12731
805.03/419.68	o 12580
805.43/419.83	o 12480
819.50/426.91	o 12471
821.27/427.81	o 12461
893.01/464.06	o 12453
909.45/472.37	o 12452
921.33/478.34	o 12440
933.22/484.33	o 12438
949.67/492.62	o 12348
966.91/501.38	o 12340
967.10/501.49	o 12339
1015.66/525.94	o 11577
1016.07/526.18	o 11566
1020.80/528.56	o 11565
1021.00/528.67	o 11564
1023.78/530.03	o 11466
1045.58/541.01	o 11465
1094.72/565.86	o 11460
1108.40/572.70	o 11457
1130.20/583.72	o 11357
1134.76/586.01	o 11356
1139.90/588.64	o 10253
1159.93/598.78	o 10030
1161.71/599.70	o 10020
1162.10/599.85	o 9899
1170.03/603.87	o 9790
1170.82/604.23	o 9649
1191.22/614.53	o 9559
1204.49/621.21	o 9388
1245.53/641.91	o 9386
1260.97/649.79	o 9186
1277.63/658.11	o 9072
1319.63/679.34	o 8916
1320.22/679.61	o 8684
1334.30/686.78	o 7864
1335.10/687.14	o 7831
1350.36/694.87	o 7821
1350.96/695.11	o 7810
1352.54/695.98	o 7702
1352.75/696.10	o 7700
1355.71/697.50	o 7670
1372.58/706.05	o 7581
1376.33/707.97	o 7539
1377.12/708.31	o 7538
1377.52/708.57	o 7529
1378.12/708.82	o 7489
1407.05/723.43	o 7219
1409.83/724.82	o 7027
1418.75/729.30	o 7026
1423.50/731.71	o 6995
1429.66/734.84	o 6993
1433.82/736.90	o 6378
1434.02/737.04	o 6168
1462.55/751.42	o 6160
1475.04/757.79	o 6158
1478.01/759.26	o 6157
1523.79/782.37	o 6153
1532.31/786.60	o 5960
1561.06/801.12	o 5959
1561.24/801.23	o 5956
1565.81/803.52	o 5955
1602.26/821.99	o 5945
1627.42/834.64	o 5723
1632.57/837.27	o 5722
1633.17/837.51	o 5622
1825.06/934.38	o 5621
2826.54/1438.96	o 5614
2826.94/1439.17	o 5612
2893.29/1472.51	o 5533
2893.69/1472.73	o 5512
2946.14/1499.12	o 5511
3256.77/1655.55	o 5498
3257.17/1655.74	o 5496
3600.01/1828.30	s SATISFIABLE
3600.01/1828.30	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 
3600.01/1828.30	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 
3600.01/1828.30	v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 
3600.01/1828.30	v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 
3600.01/1828.30	v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 
3600.01/1828.30	v -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 
3600.01/1828.30	v -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 
3600.01/1828.30	v -x109 -x110 x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 
3600.01/1828.30	v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 
3600.01/1828.30	v -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 
3600.01/1828.30	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 
3600.01/1828.30	v -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 
3600.01/1828.30	v -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 
3600.01/1828.30	v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 
3600.01/1828.30	v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 
3600.01/1828.30	v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 
3600.01/1828.30	v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 
3600.01/1828.30	v x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 
3600.01/1828.30	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 
3600.01/1828.30	v -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 
3600.01/1828.30	v -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 
3600.01/1828.30	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 
3600.01/1828.30	v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 
3600.01/1828.30	v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 
3600.01/1828.30	v -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 
3600.01/1828.30	v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 
3600.01/1828.30	v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 
3600.01/1828.30	v -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 
3600.01/1828.30	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 
3600.01/1828.30	v -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 
3600.01/1828.30	v -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 
3600.01/1828.30	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 
3600.01/1828.30	v x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 
3600.01/1828.30	v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 
3600.01/1828.30	v -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 
3600.01/1828.30	v -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 
3600.01/1828.30	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 
3600.01/1828.30	v -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 
3600.01/1828.30	v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 
3600.01/1828.30	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 
3600.01/1828.30	v -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 
3600.01/1828.30	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 
3600.01/1828.30	v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 
3600.01/1828.30	v -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 
3600.01/1828.30	v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 
3600.01/1828.30	v -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 
3600.01/1828.30	v -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 
3600.01/1828.30	v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 
3600.01/1828.30	v -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 
3600.01/1828.30	v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 
3600.01/1828.30	v -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 
3600.01/1828.30	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 
3600.01/1828.30	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 
3600.01/1828.30	v -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 
3600.01/1828.30	v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 
3600.01/1828.30	v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 
3600.01/1828.30	v -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 
3600.01/1828.30	v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 
3600.01/1828.30	v -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 
3600.01/1828.30	v -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 
3600.01/1828.30	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 
3600.01/1828.30	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 
3600.01/1828.30	v -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 
3600.01/1828.30	v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 
3600.01/1828.30	v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 
3600.01/1828.30	v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 
3600.01/1828.30	v -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 
3600.01/1828.30	v x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 
3600.01/1828.30	v -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 
3600.01/1828.30	v -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 
3600.01/1828.30	v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 
3600.01/1828.30	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 
3600.01/1828.30	v -x954 -x955 -x956 -x957 -x958 x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 
3600.01/1828.30	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 
3600.01/1828.30	v -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 
3600.01/1828.30	v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 
3600.01/1828.30	v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 
3600.01/1828.30	v -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 
3600.01/1828.30	v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 
3600.01/1828.30	v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 
3600.01/1828.30	v -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 
3600.01/1828.30	v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 
3600.01/1828.30	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 
3600.01/1828.30	v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 
3600.01/1828.30	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 
3600.01/1828.30	v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 
3600.01/1828.30	v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 x1125 
3600.01/1828.30	v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 
3600.01/1828.30	v -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 
3600.01/1828.30	v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 
3600.01/1828.30	v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 
3600.01/1828.30	v -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 
3600.01/1828.30	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 
3600.01/1828.30	v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 
3600.01/1828.30	v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 
3600.01/1828.30	v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 
3600.01/1828.30	v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 
3600.01/1828.30	v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 
3600.01/1828.30	v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 
3600.01/1828.30	v -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 
3600.01/1828.30	v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 
3600.01/1828.30	v -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 
3600.01/1828.30	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 
3600.01/1828.30	v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 
3600.01/1828.30	v -x1313 x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 
3600.01/1828.30	v -x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 
3600.01/1828.30	v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 
3600.01/1828.30	v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 
3600.01/1828.30	v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367 
3600.01/1828.30	v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 
3600.01/1828.30	v -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 
3600.01/1828.30	v -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 
3600.01/1828.30	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 -x1409 -x1410 -x1411 
3600.01/1828.30	v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 x1418 -x1419 -x1420 -x1421 -x1422 
3600.01/1828.30	v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 
3600.01/1828.30	v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 
3600.01/1828.30	v -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 
3600.01/1828.30	v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 
3600.01/1828.30	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 
3600.01/1828.30	v -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 
3600.01/1828.30	v -x1489 -x1490 -x1491 x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 
3600.01/1828.30	v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 
3600.01/1828.30	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 
3600.01/1828.30	v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 
3600.01/1828.30	v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 
3600.01/1828.30	v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 
3600.01/1828.30	v -x1555 -x1556 -x1557 -x1558 -x1559 x1560 x1561 -x1562 -x1563 -x1564 -x1565 
3600.01/1828.30	v -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 
3600.01/1828.30	v -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 
3600.01/1828.30	v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 
3600.01/1828.30	v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 
3600.01/1828.30	v -x1610 -x1611 -x1612 -x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 
3600.01/1828.30	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 
3600.01/1828.30	v -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 
3600.01/1828.30	v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 
3600.01/1828.30	v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 
3600.01/1828.30	v -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 
3600.01/1828.30	v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 
3600.01/1828.30	v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 
3600.01/1828.30	v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 
3600.01/1828.30	v -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 
3600.01/1828.30	v -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 
3600.01/1828.30	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x1740 -x1741 
3600.01/1828.30	v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 
3600.01/1828.30	v -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 
3600.01/1828.30	v -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 
3600.01/1828.30	v -x1775 x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 
3600.01/1828.30	v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 
3600.01/1828.30	v -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 
3600.01/1828.30	v -x1808 x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 
3600.01/1828.30	v -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 
3600.01/1828.30	v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 
3600.01/1828.30	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 
3600.01/1828.30	v -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 
3600.01/1828.30	v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 
3600.01/1828.30	v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 
3600.01/1828.30	v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 
3600.01/1828.30	v -x1896 -x1897 -x1898 x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 
3600.01/1828.30	v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 
3600.01/1828.30	v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 
3600.01/1828.30	v -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 
3600.01/1828.30	v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 
3600.01/1828.30	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 x1960 -x1961 
3600.01/1828.30	v -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 
3600.01/1828.30	v -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 
3600.01/1828.30	v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 
3600.01/1828.30	v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 x2004 x2005 
3600.01/1828.30	v -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 
3600.01/1828.30	v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 
3600.01/1828.30	v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 
3600.01/1828.30	v -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 
3600.01/1828.30	v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 
3600.01/1828.30	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 
3600.01/1828.30	v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 
3600.01/1828.30	v -x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 x2093 
3600.01/1828.30	v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 
3600.01/1828.30	v -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 
3600.01/1828.30	v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 
3600.01/1828.30	v -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 
3600.01/1828.30	v -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 -x2148 
3600.01/1828.30	v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 
3600.01/1828.30	v -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 
3600.01/1828.30	v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 
3600.01/1828.30	v -x2182 -x2183 x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 
3600.01/1828.30	v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 
3600.01/1828.30	v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 
3600.01/1828.30	v -x2215 -x2216 -x2217 x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 
3600.01/1828.30	v -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 
3600.01/1828.30	v -x2237 -x2238 -x2239 x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 
3600.01/1828.30	v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 
3600.01/1828.30	v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 
3600.01/1828.30	v -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 
3600.01/1828.30	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 
3600.01/1828.30	v -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 x2299 -x2300 -x2301 -x2302 
3600.01/1828.30	v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 
3600.01/1828.30	v -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 
3600.01/1828.30	v -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 
3600.01/1828.30	v x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 
3600.01/1828.30	v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 
3600.01/1828.30	v -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 
3600.01/1828.30	v -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 
3600.01/1828.30	v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 
3600.01/1828.30	v -x2391 x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 
3600.01/1828.30	v -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 
3600.01/1828.30	v -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 
3600.01/1828.30	v -x2424 -x2425 -x2426 x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 
3600.01/1828.30	v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 
3600.01/1828.30	v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 
3600.01/1828.30	v -x2457 x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 
3600.01/1828.30	v -x2468 -x2469 -x2470 x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 
3600.01/1828.30	v -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 
3600.01/1828.30	v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 
3600.01/1828.30	v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 
3600.01/1828.30	v -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 
3600.01/1828.30	v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 
3600.01/1828.30	v -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 
3600.01/1828.30	v -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 
3600.01/1828.30	v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 
3600.01/1828.30	v -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 
3600.01/1828.30	v -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 
3600.01/1828.30	v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 x2595 -x2596 -x2597 -x2598 -x2599 
3600.01/1828.30	v -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 
3600.01/1828.30	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 
3600.01/1828.30	v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 
3600.01/1828.30	v -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 x2643 
3600.01/1828.30	v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 
3600.01/1828.30	v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 
3600.01/1828.30	v -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 
3600.01/1828.30	v -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 x2687 
3600.01/1828.30	v -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 
3600.01/1828.30	v -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 
3600.01/1828.30	v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 
3600.01/1828.30	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 x2731 
3600.01/1828.30	v -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 
3600.01/1828.30	v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 
3600.01/1828.30	v -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 
3600.01/1828.30	v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 
3600.01/1828.30	v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 x2783 -x2784 -x2785 -x2786 
3600.01/1828.30	v -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 
3600.01/1828.30	v -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 
3600.01/1828.30	v -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 
3600.01/1828.30	v -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 x2828 -x2829 -x2830 
3600.01/1828.30	v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 
3600.01/1828.30	v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 
3600.01/1828.30	v -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 
3600.01/1828.30	v -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 
3600.01/1828.30	v -x2875 x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 
3600.01/1828.30	v -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 
3600.01/1828.30	v -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 x2907 
3600.01/1828.30	v -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 
3600.01/1828.30	v -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 
3600.01/1828.30	v -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 
3600.01/1828.30	v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 x2947 -x2948 -x2949 -x2950 -x2951 
3600.01/1828.30	v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 
3600.01/1828.30	v -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 x2970 -x2971 -x2972 -x2973 
3600.01/1828.30	v -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 
3600.01/1828.30	v -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 
3600.01/1828.30	v -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 
3600.01/1828.30	v -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 
3600.01/1828.30	v -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 
3600.01/1828.30	v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 x3038 -x3039 
3600.01/1828.30	v -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 
3600.01/1828.30	v -x3051 -x3052 -x3053 x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 
3600.01/1828.30	v -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 
3600.01/1828.30	v -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 
3600.01/1828.30	v -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 
3600.01/1828.30	v -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 
3600.01/1828.30	v -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 
3600.01/1828.30	v -x3117 -x3118 -x3119 x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 
3600.01/1828.30	v -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 
3600.01/1828.30	v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 
3600.01/1828.30	v -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 x3159 -x3160 
3600.01/1828.30	v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 
3600.01/1828.30	v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 
3600.01/1828.30	v -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 
3600.01/1828.30	v -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 
3600.01/1828.30	v -x3205 -x3206 -x3207 -x3208 -x3209 x3210 -x3211 -x3212 -x3213 -x3214 -x3215 
3600.01/1828.30	v -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 
3600.01/1828.30	v -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 
3600.01/1828.30	v -x3238 -x3239 -x3240 -x3241 x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 
3600.01/1828.30	v -x3249 -x3250 -x3251 -x3252 x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 
3600.01/1828.30	v -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 
3600.01/1828.30	v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 
3600.01/1828.30	v -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 
3600.01/1828.30	v -x3293 -x3294 -x3295 -x3296 x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 
3600.01/1828.30	v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 
3600.01/1828.30	v -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 
3600.01/1828.30	v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 
3600.01/1828.30	v -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 
3600.01/1828.30	v -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 
3600.01/1828.30	v -x3359 -x3360 -x3361 x3362 -x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 
3600.01/1828.30	v -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 
3600.01/1828.30	v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 
3600.01/1828.30	v -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 
3600.01/1828.30	v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 
3600.01/1828.30	v -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 
3600.01/1828.30	v -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 
3600.01/1828.30	v x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 
3600.01/1828.30	v x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 
3600.01/1828.30	v -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 
3600.01/1828.30	v -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 
3600.01/1828.30	v -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 
3600.01/1828.30	v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 
3600.01/1828.30	v -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 
3600.01/1828.30	v -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 
3600.01/1828.30	v -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 x3532 -x3533 -x3534 
3600.01/1828.30	v -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 
3600.01/1828.30	v -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 
3600.01/1828.30	v -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 
3600.01/1828.30	v -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 x3578 
3600.01/1828.30	v -x3579 -x3580 x3581 -x3582 -x3583 -x3584 x3585 -x3586 -x3587 -x3588 -x3589 
3600.01/1828.30	v -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 
3600.01/1828.30	v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 
3600.01/1828.30	v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 
3600.01/1828.30	v -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 
3600.01/1828.30	v -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 
3600.01/1828.30	v -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 
3600.01/1828.30	v -x3656 -x3657 -x3658 x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 
3600.01/1828.30	v -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 
3600.01/1828.30	v -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 x3686 -x3687 -x3688 
3600.01/1828.30	v -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 
3600.01/1828.30	v -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708

Verifier Data 

OK	5496

Watcher Data 

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

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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=91851, runsolver pid=91848

[startup+0.100067 s]*
/proc/loadavg: 8.12 8.16 7.87 8/269 91852
/proc/meminfo: memFree=108142216/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=45352 memory=36416 CPUtime=0.09 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) R 91848 91851 89339 0 -1 4194304 7622 0 0 0 8 1 0 0 20 0 1 0 78507732 46440448 9104 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 11338 9104 1088 2102 0 8878 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45352 KiB
Current children cumulated memory: 36416 KiB

[startup+0.205998 s]*
/proc/loadavg: 8.12 8.16 7.87 8/269 91852
/proc/meminfo: memFree=108003744/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=80608 memory=65616 CPUtime=0.2 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) R 91848 91851 89339 0 -1 4194304 13904 0 0 0 17 3 0 0 20 0 1 0 78507732 82542592 16404 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 20185 16404 1088 2102 0 17725 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80608 KiB
Current children cumulated memory: 65616 KiB

[startup+0.305969 s]*
/proc/loadavg: 8.12 8.16 7.87 8/269 91852
/proc/meminfo: memFree=107875072/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=103048 memory=96208 CPUtime=0.3 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) R 91848 91851 89339 0 -1 4194304 19499 0 0 0 25 5 0 0 20 0 1 0 78507732 105521152 24052 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 25762 24052 1088 2102 0 23302 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 103048 KiB
Current children cumulated memory: 96208 KiB

[startup+0.700204 s]
/proc/loadavg: 8.12 8.16 7.87 8/269 91852
/proc/meminfo: memFree=107614076/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=311780 memory=304060 CPUtime=0.69 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) R 91848 91851 89339 0 -1 4194304 71208 0 0 0 56 13 0 0 20 0 1 0 78507732 319262720 76015 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 77985 76015 1344 2102 0 75525 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 311780 KiB
Current children cumulated memory: 304060 KiB

[startup+1.50021 s]
/proc/loadavg: 8.12 8.16 7.87 8/269 91852
/proc/meminfo: memFree=107686548/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=514740 memory=502344 CPUtime=1.48 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) R 91848 91851 89339 0 -1 4194304 110499 0 0 0 129 19 0 0 20 0 1 0 78507732 527093760 125586 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 128685 125586 1408 2102 0 126225 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 514740 KiB
Current children cumulated memory: 502344 KiB

[startup+3.10602 s]
/proc/loadavg: 8.12 8.16 7.87 8/269 91852
/proc/meminfo: memFree=107296772/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=619068 memory=596292 CPUtime=3.08 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) R 91848 91851 89339 0 -1 4194304 123714 0 0 0 286 22 0 0 20 0 1 0 78507732 633925632 149073 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 154767 149073 1504 2102 0 152307 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 619068 KiB
Current children cumulated memory: 596292 KiB

[startup+6.30019 s]
/proc/loadavg: 8.03 8.14 7.86 8/269 91852
/proc/meminfo: memFree=106586576/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=1158744 memory=1091680 CPUtime=6.26 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) R 91848 91851 89339 0 -1 4194304 189680 0 0 0 585 41 0 0 20 0 1 0 78507732 1186553856 272920 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 289686 272920 1856 2102 0 287226 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1158744 KiB
Current children cumulated memory: 1091680 KiB

[startup+12.7002 s]
/proc/loadavg: 7.95 8.12 7.86 8/269 91852
/proc/meminfo: memFree=107141756/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=1339040 memory=1257468 CPUtime=12.65 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) R 91848 91851 89339 0 -1 4194304 223931 0 0 0 1212 53 0 0 20 0 1 0 78507732 1371176960 314367 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 334760 314367 1856 2102 0 332300 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1339040 KiB
Current children cumulated memory: 1257468 KiB

[startup+25.5002 s]
/proc/loadavg: 8.05 8.13 7.87 9/271 91855
/proc/meminfo: memFree=104700184/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=4378956 memory=3629608 CPUtime=33.58 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) S 91848 91851 89339 0 -1 4194304 415261 0 0 0 3224 134 0 0 20 0 3 0 78507732 4484050944 907402 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 1094739 907402 2144 2102 0 1053661 0
[pid=91851/tid=91853] ppid=91848 vsize=4378956 memory=3331872 CPUtime=8.23 cores=4,6
/proc/91851/task/91853/stat : 91853 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 103079 0 0 0 779 44 0 0 20 0 3 0 78509446 4484050944 907402 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
[pid=91851/tid=91854] ppid=91848 vsize=4378956 memory=0 CPUtime=8.26 cores=4,6
/proc/91851/task/91854/stat : 91854 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 81971 0 0 0 793 33 0 0 20 0 3 0 78509446 4484050944 907402 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
Current children cumulated CPU time: 33.58 s
Current children cumulated vsize: 4378956 KiB
Current children cumulated memory: 3629608 KiB

[startup+51.1063 s]
/proc/loadavg: 8.03 8.12 7.87 9/271 91855
/proc/meminfo: memFree=104701660/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=4734336 memory=3941316 CPUtime=83.88 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) S 91848 91851 89339 0 -1 4194304 580139 0 0 0 8197 191 0 0 20 0 3 0 78507732 4847960064 985329 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 1183584 985329 2144 2102 0 1134824 0
[pid=91851/tid=91853] ppid=91848 vsize=4734336 memory=0 CPUtime=18.24 cores=4,6
/proc/91851/task/91853/stat : 91853 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 149758 0 0 0 1767 57 0 0 20 0 3 0 78509446 4847960064 985329 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
[pid=91851/tid=91854] ppid=91848 vsize=4734336 memory=3834152 CPUtime=33.06 cores=4,6
/proc/91851/task/91854/stat : 91854 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 189262 0 0 0 3229 77 0 0 20 0 3 0 78509446 4847960064 985329 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
Current children cumulated CPU time: 83.88 s
Current children cumulated vsize: 4734336 KiB
Current children cumulated memory: 3941316 KiB

[startup+102.3 s]
/proc/loadavg: 8.10 8.13 7.89 10/272 91858
/proc/meminfo: memFree=103659080/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=5048960 memory=4453576 CPUtime=183.29 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) S 91848 91851 89339 0 -1 4194304 988071 0 0 0 17977 352 0 0 20 0 3 0 78507732 5170135040 1113394 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 1262240 1113394 2144 2102 0 1197586 0
[pid=91851/tid=91853] ppid=91848 vsize=5048960 memory=3899240 CPUtime=59.47 cores=4,6
/proc/91851/task/91853/stat : 91853 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 270449 0 0 0 5842 105 0 0 20 0 3 0 78509446 5170135040 1113394 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
[pid=91851/tid=91854] ppid=91848 vsize=5048960 memory=14156 CPUtime=80.84 cores=4,6
/proc/91851/task/91854/stat : 91854 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 473314 0 0 0 7896 188 0 0 20 0 3 0 78509446 5170135040 1113394 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
Current children cumulated CPU time: 183.29 s
Current children cumulated vsize: 5048960 KiB
Current children cumulated memory: 4453576 KiB

[startup+162.3 s]
/proc/loadavg: 8.54 8.23 7.94 9/273 91861
/proc/meminfo: memFree=103665352/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=5014836 memory=4522916 CPUtime=299.35 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) S 91848 91851 89339 0 -1 4194304 1216811 0 0 0 29437 498 0 0 20 0 3 0 78507732 5135192064 1130729 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 1253709 1130729 2144 2102 0 1202390 0
[pid=91851/tid=91853] ppid=91848 vsize=5014836 memory=3899240 CPUtime=98.54 cores=4,6
/proc/91851/task/91853/stat : 91853 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 308467 0 0 0 9743 111 0 0 20 0 3 0 78509446 5135192064 1130729 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
[pid=91851/tid=91854] ppid=91848 vsize=5014836 memory=14336 CPUtime=136.94 cores=4,6
/proc/91851/task/91854/stat : 91854 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 656775 0 0 0 13366 328 0 0 20 0 3 0 78509446 5135192064 1130729 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
Current children cumulated CPU time: 299.35 s
Current children cumulated vsize: 5014836 KiB
Current children cumulated memory: 4522916 KiB

[startup+222.3 s]
/proc/loadavg: 8.39 8.25 7.97 9/273 91863
/proc/meminfo: memFree=103641792/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=5095688 memory=4579180 CPUtime=414.82 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) S 91848 91851 89339 0 -1 4194304 1399527 0 0 0 40816 666 0 0 20 0 3 0 78507732 5217984512 1144795 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 1273922 1144795 2144 2102 0 1223607 0
[pid=91851/tid=91853] ppid=91848 vsize=5095688 memory=14336 CPUtime=148.16 cores=4,6
/proc/91851/task/91853/stat : 91853 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 381458 0 0 0 14676 140 0 0 20 0 3 0 78509446 5217984512 1144795 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
[pid=91851/tid=91854] ppid=91848 vsize=5095688 memory=5148 CPUtime=191.69 cores=4,6
/proc/91851/task/91854/stat : 91854 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 756678 0 0 0 18703 466 0 0 20 0 3 0 78509446 5217984512 1144795 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
Current children cumulated CPU time: 414.82 s
Current children cumulated vsize: 5095688 KiB
Current children cumulated memory: 4579180 KiB

[startup+282.3 s]
/proc/loadavg: 8.18 8.22 7.98 9/272 91867
/proc/meminfo: memFree=102738208/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=5021628 memory=4492860 CPUtime=533.38 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) S 91848 91851 89339 0 -1 4194304 1599835 0 0 0 52488 850 0 0 20 0 3 0 78507732 5142147072 1123215 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 1255407 1123215 2144 2102 0 1201801 0
[pid=91851/tid=91853] ppid=91848 vsize=5021628 memory=4547048 CPUtime=206.07 cores=4,6
/proc/91851/task/91853/stat : 91853 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 465005 0 0 0 20450 157 0 0 20 0 3 0 78509446 5142147072 1123215 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
[pid=91851/tid=91854] ppid=91848 vsize=5021628 memory=4579528 CPUtime=250.25 cores=4,6
/proc/91851/task/91854/stat : 91854 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 873370 0 0 0 24393 632 0 0 20 0 3 0 78509446 5142147072 1123215 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
Current children cumulated CPU time: 533.38 s
Current children cumulated vsize: 5021628 KiB
Current children cumulated memory: 4492860 KiB

[startup+342.3 s]
/proc/loadavg: 8.17 8.20 8.00 10/273 91874

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

Current children cumulated memory: 4769540 KiB

[startup+1362.3 s]
/proc/loadavg: 6.24 7.10 7.63 7/262 92652
/proc/meminfo: memFree=114133372/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=5106048 memory=4636304 CPUtime=2674.4 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) S 91848 91851 89339 0 -1 4194304 3719821 0 0 0 263947 3493 0 0 20 0 3 0 78507732 5228593152 1159076 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 1276512 1159076 2144 2102 0 1221990 0
[pid=91851/tid=91853] ppid=91848 vsize=5106048 memory=4786104 CPUtime=1278.5 cores=4,6
/proc/91851/task/91853/stat : 91853 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 1236650 0 0 0 127612 238 0 0 20 0 3 0 78509446 5228593152 1159076 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
[pid=91851/tid=91854] ppid=91848 vsize=5106048 memory=10624 CPUtime=1315.38 cores=4,6
/proc/91851/task/91854/stat : 91854 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 2221306 0 0 0 128350 3188 0 0 20 0 3 0 78509446 5228593152 1159076 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
Current children cumulated CPU time: 2674.4 s
Current children cumulated vsize: 5106048 KiB
Current children cumulated memory: 4636304 KiB

[startup+1422.3 s]
/proc/loadavg: 5.71 6.84 7.51 5/255 92685
/proc/meminfo: memFree=117114548/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=5184108 memory=4644604 CPUtime=2793.56 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) S 91848 91851 89339 0 -1 4194304 3852446 0 0 0 275694 3662 0 0 20 0 3 0 78507732 5308526592 1161151 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 1296027 1161151 2144 2102 0 1241505 0
[pid=91851/tid=91853] ppid=91848 vsize=5184108 memory=4786104 CPUtime=1338.31 cores=4,6
/proc/91851/task/91853/stat : 91853 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 1307278 0 0 0 133588 243 0 0 20 0 3 0 78509446 5308526592 1161151 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
[pid=91851/tid=91854] ppid=91848 vsize=5184108 memory=4644348 CPUtime=1374.71 cores=4,6
/proc/91851/task/91854/stat : 91854 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 2283290 0 0 0 134119 3352 0 0 20 0 3 0 78509446 5308526592 1161151 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
Current children cumulated CPU time: 2793.56 s
Current children cumulated vsize: 5184108 KiB
Current children cumulated memory: 4644604 KiB

[startup+1482.3 s]
/proc/loadavg: 4.67 6.33 7.29 5/255 92687
/proc/meminfo: memFree=117686240/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=5095232 memory=4620112 CPUtime=2912.75 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) S 91848 91851 89339 0 -1 4194304 3985388 0 0 0 287460 3815 0 0 20 0 3 0 78507732 5217517568 1155028 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 1273808 1155028 2144 2102 0 1219286 0
[pid=91851/tid=91853] ppid=91848 vsize=5095232 memory=4709236 CPUtime=1398.13 cores=4,6
/proc/91851/task/91853/stat : 91853 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 1395961 0 0 0 139565 248 0 0 20 0 3 0 78509446 5217517568 1155028 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
[pid=91851/tid=91854] ppid=91848 vsize=5095232 memory=4724316 CPUtime=1434.07 cores=4,6
/proc/91851/task/91854/stat : 91854 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 2327539 0 0 0 139907 3500 0 0 20 0 3 0 78509446 5217517568 1155028 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
Current children cumulated CPU time: 2912.75 s
Current children cumulated vsize: 5095232 KiB
Current children cumulated memory: 4620112 KiB

[startup+1542.3 s]
/proc/loadavg: 4.33 5.94 7.10 5/256 92692
/proc/meminfo: memFree=116734568/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=5277788 memory=4736872 CPUtime=3031.93 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) S 91848 91851 89339 0 -1 4194304 4112585 0 0 0 299230 3963 0 0 20 0 3 0 78507732 5404454912 1184218 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 1319447 1184218 2144 2102 0 1264610 0
[pid=91851/tid=91853] ppid=91848 vsize=5277788 memory=4724060 CPUtime=1457.96 cores=4,6
/proc/91851/task/91853/stat : 91853 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 1462134 0 0 0 145540 256 0 0 20 0 3 0 78509446 5404454912 1184218 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
[pid=91851/tid=91854] ppid=91848 vsize=5277788 memory=-8183425882292262338 CPUtime=1493.42 cores=4,6
/proc/91851/task/91854/stat : 91854 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 2388552 0 0 0 145702 3640 0 0 20 0 3 0 78509446 5404454912 1184218 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
Current children cumulated CPU time: 3031.93 s
Current children cumulated vsize: 5277788 KiB
Current children cumulated memory: 4736872 KiB

[startup+1602.3 s]
/proc/loadavg: 4.17 5.60 6.90 5/256 92699
/proc/meminfo: memFree=115483812/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=5436948 memory=4794320 CPUtime=3151.11 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) S 91848 91851 89339 0 -1 4194304 4233679 0 0 0 310994 4117 0 0 20 0 3 0 78507732 5567434752 1198580 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 1359237 1198580 2144 2102 0 1293452 0
[pid=91851/tid=91853] ppid=91848 vsize=5436948 memory=14336 CPUtime=1517.74 cores=4,6
/proc/91851/task/91853/stat : 91853 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 1523264 0 0 0 151514 260 0 0 20 0 3 0 78509446 5567434752 1198580 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
[pid=91851/tid=91854] ppid=91848 vsize=5436948 memory=-8183425882292262338 CPUtime=1552.78 cores=4,6
/proc/91851/task/91854/stat : 91854 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 2448503 0 0 0 151489 3789 0 0 20 0 3 0 78509446 5567434752 1198580 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
Current children cumulated CPU time: 3151.11 s
Current children cumulated vsize: 5436948 KiB
Current children cumulated memory: 4794320 KiB

[startup+1662.3 s]
/proc/loadavg: 4.10 5.32 6.73 5/256 92701
/proc/meminfo: memFree=114886036/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=5319404 memory=4804632 CPUtime=3270.28 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) S 91848 91851 89339 0 -1 4194304 4375560 0 0 0 322762 4266 0 0 20 0 3 0 78507732 5447069696 1201158 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 1329851 1201158 2144 2102 0 1275329 0
[pid=91851/tid=91853] ppid=91848 vsize=5319404 memory=14336 CPUtime=1577.54 cores=4,6
/proc/91851/task/91853/stat : 91853 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 1616943 0 0 0 157486 268 0 0 20 0 3 0 78509446 5447069696 1201158 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
[pid=91851/tid=91854] ppid=91848 vsize=5319404 memory=14156 CPUtime=1612.14 cores=4,6
/proc/91851/task/91854/stat : 91854 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 2496696 0 0 0 157284 3930 0 0 20 0 3 0 78509446 5447069696 1201158 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
Current children cumulated CPU time: 3270.28 s
Current children cumulated vsize: 5319404 KiB
Current children cumulated memory: 4804632 KiB

[startup+1722.3 s]
/proc/loadavg: 4.14 5.10 6.56 5/255 92703
/proc/meminfo: memFree=114923600/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=5436688 memory=4839156 CPUtime=3389.45 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) S 91848 91851 89339 0 -1 4194304 4475446 0 0 0 334518 4427 0 0 20 0 3 0 78507732 5567168512 1209789 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 1359172 1209789 2144 2102 0 1298598 0
[pid=91851/tid=91853] ppid=91848 vsize=5436688 memory=14336 CPUtime=1637.33 cores=4,6
/proc/91851/task/91853/stat : 91853 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 1662771 0 0 0 163462 271 0 0 20 0 3 0 78509446 5567168512 1209789 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
[pid=91851/tid=91854] ppid=91848 vsize=5436688 memory=4706248 CPUtime=1671.5 cores=4,6
/proc/91851/task/91854/stat : 91854 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 2550745 0 0 0 163062 4088 0 0 20 0 3 0 78509446 5567168512 1209789 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
Current children cumulated CPU time: 3389.45 s
Current children cumulated vsize: 5436688 KiB
Current children cumulated memory: 4839156 KiB

[startup+1782.3 s]
/proc/loadavg: 4.05 4.90 6.40 5/255 92705
/proc/meminfo: memFree=115095936/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=5362136 memory=4732068 CPUtime=3508.64 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) S 91848 91851 89339 0 -1 4194304 4616595 0 0 0 346239 4625 0 0 20 0 3 0 78507732 5490827264 1183017 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 1340534 1183017 2144 2102 0 1284690 0
[pid=91851/tid=91853] ppid=91848 vsize=5362136 memory=4692228 CPUtime=1697.12 cores=4,6
/proc/91851/task/91853/stat : 91853 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 1755340 0 0 0 169409 303 0 0 20 0 3 0 78509446 5490827264 1183017 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
[pid=91851/tid=91854] ppid=91848 vsize=5362136 memory=4560960 CPUtime=1730.86 cores=4,6
/proc/91851/task/91854/stat : 91854 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 2599317 0 0 0 168833 4253 0 0 20 0 3 0 78509446 5490827264 1183017 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
Current children cumulated CPU time: 3508.64 s
Current children cumulated vsize: 5362136 KiB
Current children cumulated memory: 4732068 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1828.3 s]
/proc/loadavg: 4.07 4.79 6.29 5/255 92707
/proc/meminfo: memFree=115484308/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=5441596 memory=4933976 CPUtime=3600.01 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) S 91848 91851 89339 0 -1 4194304 4720064 0 0 0 355248 4753 0 0 20 0 3 0 78507732 5572194304 1233494 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 1360399 1233494 2144 2102 0 1301082 0
[pid=91851/tid=91853] ppid=91848 vsize=5441596 memory=-8183425882292262338 CPUtime=1742.97 cores=4,6
/proc/91851/task/91853/stat : 91853 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 1819342 0 0 0 173971 326 0 0 20 0 3 0 78509446 5572194304 1233494 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
[pid=91851/tid=91854] ppid=91848 vsize=5441596 memory=4894832 CPUtime=1776.38 cores=4,6
/proc/91851/task/91854/stat : 91854 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 2638773 0 0 0 173280 4358 0 0 20 0 3 0 78509446 5572194304 1233494 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 5441596 KiB
Current children cumulated memory: 4933976 KiB

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

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

# cumulated CPU time of all completed processes:  user=3552.49 s, system=47.5992 s

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

[startup+1828.3 s]
/proc/loadavg: 4.07 4.79 6.29 5/255 92707
/proc/meminfo: memFree=115484308/131249996 swapFree=33000896/33010684
[pid=91851] ppid=91848 vsize=5441596 memory=4933976 CPUtime=3600.01 cores=4,6
/proc/91851/stat : 91851 (cp-sat-runner) S 91848 91851 89339 0 -1 4194304 4720064 0 0 0 355248 4753 0 0 20 0 3 0 78507732 5572194304 1233494 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
/proc/91851/statm: 1360399 1233494 2144 2102 0 1301082 0
[pid=91851/tid=91853] ppid=91848 vsize=5441596 memory=-8183425882292262338 CPUtime=1742.97 cores=4,6
/proc/91851/task/91853/stat : 91853 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 1819342 0 0 0 173971 326 0 0 20 0 3 0 78509446 5572194304 1233494 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
[pid=91851/tid=91854] ppid=91848 vsize=5441596 memory=4894832 CPUtime=1776.38 cores=4,6
/proc/91851/task/91854/stat : 91854 (cp-sat-runner) R 91848 91851 89339 0 -1 4194368 2638773 0 0 0 173280 4358 0 0 20 0 3 0 78509446 5572194304 1233494 18446744073709551615 4198400 12805993 140730824108912 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 43941888 140730824112407 140730824112611 140730824112611 140730824118215 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 5441596 KiB
Current children cumulated memory: 4933976 KiB

Child status: 0

Real time (s): 1828.37
CPU time (s): 3600.09
CPU user time (s): 3552.49
CPU system time (s): 47.5992
CPU usage (%): 196.902
Max. virtual memory (cumulated for all children) (KiB): 5482120
Max. memory (cumulated for all children) (KiB): 4933976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3552.49
system time used= 47.5992
maximum resident set size= 4934232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4720073
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= 20475
involuntary context switches= 96093


# summary of solver processes directly reported to runsolver:
#   pid: 91851
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3552.49
#   total CPU system time (s): 47.5992

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5466 second user time and 8.75943 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-04 13:24:59
IDJOB=4526691
IDBENCH=144140
IDSOLVER=3378
FILE ID=nodeC023/4526691-1751628299
RUNJOBID= nodeC023-1751625557-89350
SLURM_JOB_ID= 9598950
Free space on /tmp= 431744 MiB

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

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

MD5SUM BENCH= 6dcf243f3bd81c615377274654cfc335
RANDOM SEED=174594751

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        108191960 kB
MemAvailable:   108104808 kB
Buffers:              16 kB
Cached:           655404 kB
SwapCached:         2904 kB
Active:         21694296 kB
Inactive:         511900 kB
Active(anon):   21509944 kB
Inactive(anon):    53364 kB
Active(file):     184352 kB
Inactive(file):   458536 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28388 kB
Writeback:             4 kB
AnonPages:      21534648 kB
Mapped:           124084 kB
Shmem:             12532 kB
KReclaimable:     218396 kB
Slab:             309728 kB
SReclaimable:     218396 kB
SUnreclaim:        91332 kB
KernelStack:        4336 kB
PageTables:        45684 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   23201512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150728 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  14209024 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431800 MiB
End job on nodeC023 at 2025-07-04 13:55:27