Trace number 4525647

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.17 1836.7

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06_wcsp.wbo
MD5SUM6cf6093805b81482d093fc222108b171
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3389
Best CPU time to get the best result obtained on this benchmark1480.6
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4010
Total number of constraints828064
Number of soft constraints827964
Number of constraints which are clauses827964
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 255194
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 158723721
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 

31.75/29.48	o 1586973
35.13/31.12	o 831857
137.20/82.90	o 537012
138.19/83.46	o 73168
138.56/83.70	o 72967
148.79/89.22	o 70511
149.30/89.50	o 53492
182.22/107.77	o 51963
183.18/108.33	o 49428
183.51/108.58	o 48528
184.33/109.09	o 48428
185.14/109.57	o 44730
199.36/117.18	o 44529
202.21/118.94	o 44405
239.58/138.62	o 41716
239.93/138.88	o 41506
275.11/157.02	o 39610
282.35/160.92	o 39318
305.71/173.15	o 38217
312.85/176.77	o 37207
314.24/177.49	o 36884
331.32/186.05	o 36693
380.96/211.39	o 36592
386.71/214.26	o 36581
390.09/215.91	o 36411
390.49/216.13	o 34835
423.90/233.83	o 34744
424.43/234.15	o 34632
433.03/238.89	o 33449
434.34/239.69	o 33335
435.98/240.61	o 31264
439.69/242.56	o 29368
440.24/242.80	o 29168
448.01/247.49	o 29058
456.20/251.62	o 29056
462.98/255.24	o 27383
464.27/255.90	o 27261
476.96/262.37	o 26948
496.09/272.35	o 26847
496.49/272.55	o 24382
500.26/274.44	o 23268
512.77/280.75	o 23267
538.57/293.75	o 23247
550.89/299.96	o 23246
560.02/304.58	o 23188
560.41/304.79	o 23076
607.85/328.62	o 22355
644.38/347.02	o 22348
648.55/349.12	o 22347
669.14/359.53	o 21038
724.76/387.70	o 20858
732.70/391.77	o 19430
776.18/413.66	o 19413
786.11/418.61	o 19277
802.80/427.07	o 19122
816.29/433.88	o 18762
816.69/434.03	o 16627
844.07/447.80	o 16617
844.47/448.02	o 16415
850.42/451.03	o 16405
861.91/456.81	o 16404
862.53/457.28	o 16403
876.78/464.42	o 16289
877.38/464.71	o 16188
886.71/469.49	o 14791
951.23/501.96	o 14660
961.95/507.33	o 14502
963.74/508.21	o 14491
1015.97/534.54	o 14481
1016.36/534.72	o 14471
1023.91/538.57	o 14170
1029.87/541.51	o 13854
1030.46/541.82	o 13743
1055.26/554.30	o 11751
1063.21/558.33	o 11651
1119.61/586.73	o 11649
1149.98/602.09	o 11648
1167.24/610.71	o 11646
1239.47/647.13	o 11639
1292.45/673.84	o 11610
1299.01/677.17	o 11308
1299.79/677.51	o 9939
1326.79/691.18	o 9933
1333.53/694.55	o 9830
1333.92/694.75	o 9809
1398.44/727.26	o 9709
1398.83/727.42	o 9707
1432.56/744.44	o 8655
1438.72/747.57	o 8645
1450.42/753.44	o 8544
1451.43/753.92	o 8502
1479.01/767.83	o 8402
1479.61/768.13	o 8401
1483.38/770.07	o 8300
1483.77/770.27	o 8297
1491.71/774.23	o 8194
1497.07/776.94	o 8069
1581.23/819.33	o 8030
1590.76/824.11	o 8020
1618.74/838.20	o 8008
1633.23/845.50	o 7908
1715.19/886.82	o 7715
1750.71/904.70	o 7711
1752.11/905.43	o 7607
1766.00/912.41	o 7606
1766.19/912.58	o 7506
1810.25/934.73	o 7418
1820.97/940.12	o 7387
1830.09/944.72	o 7052
1834.47/946.92	o 6919
1834.87/947.13	o 6907
1944.00/1002.16	o 6796
1944.39/1002.37	o 6682
1989.05/1024.85	o 6585
1989.45/1025.09	o 6472
2037.46/1049.29	o 6392
2236.72/1149.69	o 6381
2268.06/1165.44	o 6310
2268.46/1165.63	o 6198
2318.88/1191.03	o 6188
2325.81/1194.57	o 6179
2375.22/1219.43	o 6178
2694.70/1380.42	o 6088
3028.48/1548.63	o 6056
3028.68/1548.79	o 6055
3052.32/1560.64	o 6053
3516.49/1794.56	o 5953
3522.45/1797.57	o 5823
3600.06/1836.60	s SATISFIABLE
3600.06/1836.60	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 
3600.06/1836.60	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 
3600.06/1836.60	v -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 
3600.06/1836.60	v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 
3600.06/1836.60	v x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 
3600.06/1836.60	v -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 
3600.06/1836.60	v -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 
3600.06/1836.60	v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 
3600.06/1836.60	v -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 
3600.06/1836.60	v -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 
3600.06/1836.60	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 
3600.06/1836.60	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 
3600.06/1836.60	v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 
3600.06/1836.60	v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 
3600.06/1836.60	v x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 
3600.06/1836.60	v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 
3600.06/1836.60	v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 
3600.06/1836.60	v -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 
3600.06/1836.60	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 
3600.06/1836.60	v -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 
3600.06/1836.60	v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 
3600.06/1836.60	v -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 
3600.06/1836.60	v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 
3600.06/1836.60	v x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 
3600.06/1836.60	v -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 
3600.06/1836.60	v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 
3600.06/1836.60	v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 
3600.06/1836.60	v -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 
3600.06/1836.60	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 
3600.06/1836.60	v -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 
3600.06/1836.60	v -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 
3600.06/1836.60	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 
3600.06/1836.60	v -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 
3600.06/1836.60	v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 
3600.06/1836.60	v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 
3600.06/1836.60	v -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 
3600.06/1836.60	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 
3600.06/1836.60	v -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 
3600.06/1836.60	v -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 
3600.06/1836.60	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 
3600.06/1836.60	v -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 
3600.06/1836.60	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 
3600.06/1836.60	v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 
3600.06/1836.60	v x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 
3600.06/1836.60	v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 
3600.06/1836.60	v -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 
3600.06/1836.60	v -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 
3600.06/1836.60	v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 
3600.06/1836.60	v -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 
3600.06/1836.60	v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 
3600.06/1836.60	v -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 
3600.06/1836.60	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 
3600.06/1836.60	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 
3600.06/1836.60	v -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 
3600.06/1836.60	v -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 
3600.06/1836.60	v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 
3600.06/1836.60	v -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 
3600.06/1836.60	v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 
3600.06/1836.60	v -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 
3600.06/1836.60	v -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 
3600.06/1836.60	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 
3600.06/1836.60	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 
3600.06/1836.60	v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 
3600.06/1836.60	v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 
3600.06/1836.60	v -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 
3600.06/1836.60	v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 
3600.06/1836.60	v -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 
3600.06/1836.60	v x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 
3600.06/1836.60	v -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 
3600.06/1836.60	v -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 
3600.06/1836.60	v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 
3600.06/1836.60	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 
3600.06/1836.60	v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 
3600.06/1836.60	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 
3600.06/1836.60	v -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 
3600.06/1836.60	v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 
3600.06/1836.60	v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 
3600.06/1836.60	v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 
3600.06/1836.60	v -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 
3600.06/1836.60	v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 
3600.06/1836.60	v -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 
3600.06/1836.60	v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 
3600.06/1836.60	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 
3600.06/1836.60	v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 
3600.06/1836.60	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 
3600.06/1836.60	v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 
3600.06/1836.60	v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 
3600.06/1836.60	v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 
3600.06/1836.60	v -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 
3600.06/1836.60	v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 
3600.06/1836.60	v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 
3600.06/1836.60	v -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 
3600.06/1836.60	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 
3600.06/1836.60	v -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 
3600.06/1836.60	v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 
3600.06/1836.60	v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 
3600.06/1836.60	v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 
3600.06/1836.60	v -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 
3600.06/1836.60	v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 
3600.06/1836.60	v -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 
3600.06/1836.60	v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 
3600.06/1836.60	v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 
3600.06/1836.60	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 
3600.06/1836.60	v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 
3600.06/1836.60	v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 
3600.06/1836.60	v -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 
3600.06/1836.60	v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 
3600.06/1836.60	v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 
3600.06/1836.60	v -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 
3600.06/1836.60	v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 
3600.06/1836.60	v -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 
3600.06/1836.60	v -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 
3600.06/1836.60	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 
3600.06/1836.60	v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 
3600.06/1836.60	v -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 
3600.06/1836.60	v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 -x1443 -x1444 
3600.06/1836.60	v -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 
3600.06/1836.60	v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 
3600.06/1836.60	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 
3600.06/1836.60	v -x1478 -x1479 -x1480 -x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 
3600.06/1836.60	v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 
3600.06/1836.60	v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 
3600.06/1836.60	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 
3600.06/1836.60	v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 
3600.06/1836.60	v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 
3600.06/1836.60	v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 
3600.06/1836.60	v -x1555 -x1556 -x1557 -x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 
3600.06/1836.60	v -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 
3600.06/1836.60	v -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 x1586 -x1587 
3600.06/1836.60	v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 
3600.06/1836.60	v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 
3600.06/1836.60	v -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 
3600.06/1836.60	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 
3600.06/1836.60	v -x1632 -x1633 -x1634 x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 
3600.06/1836.60	v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 
3600.06/1836.60	v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 
3600.06/1836.60	v -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 
3600.06/1836.60	v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 
3600.06/1836.60	v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 x1694 -x1695 -x1696 -x1697 
3600.06/1836.60	v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 
3600.06/1836.60	v -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 
3600.06/1836.60	v -x1720 -x1721 x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 
3600.06/1836.60	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 
3600.06/1836.60	v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 
3600.06/1836.60	v -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 
3600.06/1836.60	v -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 
3600.06/1836.60	v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 
3600.06/1836.60	v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 x1792 -x1793 -x1794 -x1795 x1796 
3600.06/1836.60	v -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 
3600.06/1836.60	v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 
3600.06/1836.60	v -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 
3600.06/1836.60	v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 
3600.06/1836.60	v -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 
3600.06/1836.60	v -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 
3600.06/1836.60	v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 
3600.06/1836.60	v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 
3600.06/1836.60	v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 
3600.06/1836.60	v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 x1902 -x1903 -x1904 -x1905 -x1906 
3600.06/1836.60	v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 
3600.06/1836.60	v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 
3600.06/1836.60	v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 
3600.06/1836.60	v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 
3600.06/1836.60	v -x1951 -x1952 -x1953 x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 
3600.06/1836.60	v -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 
3600.06/1836.60	v -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 
3600.06/1836.60	v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 
3600.06/1836.60	v -x1995 -x1996 -x1997 -x1998 x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 
3600.06/1836.60	v -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 
3600.06/1836.60	v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 
3600.06/1836.60	v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 
3600.06/1836.60	v -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 x2047 -x2048 -x2049 
3600.06/1836.60	v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 
3600.06/1836.60	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 
3600.06/1836.60	v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 
3600.06/1836.60	v -x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 
3600.06/1836.60	v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 x2104 
3600.06/1836.60	v -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 
3600.06/1836.60	v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 
3600.06/1836.60	v -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 
3600.06/1836.60	v -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 
3600.06/1836.60	v -x2149 -x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 -x2159 
3600.06/1836.60	v -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 
3600.06/1836.60	v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 
3600.06/1836.60	v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 
3600.06/1836.60	v x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 
3600.06/1836.60	v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 
3600.06/1836.60	v -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 
3600.06/1836.60	v -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 
3600.06/1836.60	v -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 
3600.06/1836.60	v x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 
3600.06/1836.60	v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 x2265 -x2266 -x2267 -x2268 -x2269 
3600.06/1836.60	v -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 
3600.06/1836.60	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 
3600.06/1836.60	v -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 
3600.06/1836.60	v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 
3600.06/1836.60	v -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 
3600.06/1836.60	v -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 
3600.06/1836.60	v -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 
3600.06/1836.60	v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 
3600.06/1836.60	v -x2358 -x2359 -x2360 -x2361 x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 
3600.06/1836.60	v -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 
3600.06/1836.60	v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 
3600.06/1836.60	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 
3600.06/1836.60	v x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 
3600.06/1836.60	v -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 
3600.06/1836.60	v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 
3600.06/1836.60	v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 -x2445 
3600.06/1836.60	v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 
3600.06/1836.60	v -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 x2467 
3600.06/1836.60	v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 
3600.06/1836.60	v -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 
3600.06/1836.60	v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 
3600.06/1836.60	v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 x2508 -x2509 -x2510 -x2511 
3600.06/1836.60	v -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 
3600.06/1836.60	v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 
3600.06/1836.60	v -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 x2540 -x2541 -x2542 -x2543 -x2544 
3600.06/1836.60	v -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 
3600.06/1836.60	v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 
3600.06/1836.60	v -x2567 -x2568 -x2569 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 
3600.06/1836.60	v -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 
3600.06/1836.60	v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 
3600.06/1836.60	v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 
3600.06/1836.60	v -x2611 -x2612 -x2613 x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 
3600.06/1836.60	v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 
3600.06/1836.60	v -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 x2642 -x2643 
3600.06/1836.60	v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 
3600.06/1836.60	v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 
3600.06/1836.60	v -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 
3600.06/1836.60	v -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 x2684 -x2685 -x2686 -x2687 
3600.06/1836.60	v -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 
3600.06/1836.60	v -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 
3600.06/1836.60	v -x2710 -x2711 -x2712 -x2713 x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 
3600.06/1836.60	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 
3600.06/1836.60	v -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 
3600.06/1836.60	v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 
3600.06/1836.60	v x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 
3600.06/1836.60	v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 
3600.06/1836.60	v -x2776 x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 
3600.06/1836.60	v -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 
3600.06/1836.60	v -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 
3600.06/1836.60	v -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 
3600.06/1836.60	v -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 
3600.06/1836.60	v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 x2839 -x2840 -x2841 
3600.06/1836.60	v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 
3600.06/1836.60	v -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 
3600.06/1836.60	v -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 
3600.06/1836.60	v -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 x2884 x2885 
3600.06/1836.60	v -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 
3600.06/1836.60	v -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 
3600.06/1836.60	v -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 
3600.06/1836.60	v -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 
3600.06/1836.60	v -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 
3600.06/1836.60	v -x2941 x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 
3600.06/1836.60	v -x2952 -x2953 -x2954 -x2955 -x2956 x2957 -x2958 -x2959 -x2960 -x2961 -x2962 
3600.06/1836.60	v -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 
3600.06/1836.60	v -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 
3600.06/1836.60	v -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 x2995 
3600.06/1836.60	v -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 
3600.06/1836.60	v -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 
3600.06/1836.60	v -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 
3600.06/1836.60	v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 x3035 -x3036 -x3037 -x3038 -x3039 
3600.06/1836.60	v -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 
3600.06/1836.60	v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 
3600.06/1836.60	v -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 
3600.06/1836.60	v -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 
3600.06/1836.60	v -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 x3091 -x3092 -x3093 -x3094 
3600.06/1836.60	v -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 
3600.06/1836.60	v -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 
3600.06/1836.60	v -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 
3600.06/1836.60	v -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 x3134 -x3135 -x3136 -x3137 -x3138 
3600.06/1836.60	v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 
3600.06/1836.60	v -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 
3600.06/1836.60	v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 
3600.06/1836.60	v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 
3600.06/1836.60	v -x3183 x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 x3191 -x3192 -x3193 
3600.06/1836.60	v -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 
3600.06/1836.60	v -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 
3600.06/1836.60	v -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 
3600.06/1836.60	v -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 x3237 
3600.06/1836.60	v -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 
3600.06/1836.60	v -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 
3600.06/1836.60	v -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 
3600.06/1836.60	v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 
3600.06/1836.60	v -x3282 -x3283 -x3284 -x3285 x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 
3600.06/1836.60	v -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 
3600.06/1836.60	v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 
3600.06/1836.60	v -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 
3600.06/1836.60	v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 
3600.06/1836.60	v -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 
3600.06/1836.60	v -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 
3600.06/1836.60	v -x3359 -x3360 -x3361 -x3362 x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 
3600.06/1836.60	v -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 
3600.06/1836.60	v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 
3600.06/1836.60	v -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 
3600.06/1836.60	v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 
3600.06/1836.60	v -x3414 x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 
3600.06/1836.60	v -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 
3600.06/1836.60	v -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 
3600.06/1836.60	v -x3447 x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 
3600.06/1836.60	v -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 
3600.06/1836.60	v -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 
3600.06/1836.60	v -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 
3600.06/1836.60	v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 
3600.06/1836.60	v -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 x3511 -x3512 
3600.06/1836.60	v -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 
3600.06/1836.60	v -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 
3600.06/1836.60	v -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 
3600.06/1836.60	v -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 x3553 -x3554 -x3555 -x3556 
3600.06/1836.60	v -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 
3600.06/1836.60	v -x3568 x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 
3600.06/1836.60	v -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 
3600.06/1836.60	v -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 
3600.06/1836.60	v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 
3600.06/1836.60	v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 
3600.06/1836.60	v -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 x3631 -x3632 -x3633 
3600.06/1836.60	v -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 
3600.06/1836.60	v -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 
3600.06/1836.60	v -x3656 -x3657 -x3658 x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 
3600.06/1836.60	v -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 
3600.06/1836.60	v -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 
3600.06/1836.60	v -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 
3600.06/1836.60	v -x3700 -x3701 -x3702 x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 
3600.06/1836.60	v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 
3600.06/1836.60	v -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 
3600.06/1836.60	v -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 
3600.06/1836.60	v -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 
3600.06/1836.60	v x3755 -x3756 -x3757 -x3758 -x3759 -x3760 x3761 -x3762 -x3763 -x3764 -x3765 
3600.06/1836.60	v -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 
3600.06/1836.60	v -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 
3600.06/1836.60	v -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 
3600.06/1836.60	v -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 
3600.06/1836.60	v -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 
3600.06/1836.60	v -x3821 -x3822 -x3823 x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 
3600.06/1836.60	v -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 
3600.06/1836.60	v -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 
3600.06/1836.60	v -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 
3600.06/1836.60	v -x3865 x3866 x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 
3600.06/1836.60	v -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 
3600.06/1836.60	v -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 
3600.06/1836.60	v -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 
3600.06/1836.60	v -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 
3600.06/1836.60	v -x3920 -x3921 -x3922 -x3923 x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 
3600.06/1836.60	v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 x3941 
3600.06/1836.60	v -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 
3600.06/1836.60	v -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 
3600.06/1836.60	v -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 
3600.06/1836.60	v -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 
3600.06/1836.60	v -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 x3993 -x3994 -x3995 -x3996 
3600.06/1836.60	v -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 
3600.06/1836.60	v -x4008 -x4009 -x4010

Verifier Data 

OK	5823

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (61593 MiB free)
  memory of node 1: 64465 MiB (62172 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525647-1751617437/watcher-4525647-1751617437 -o /tmp/evaluation-result-4525647-1751617437/solver-4525647-1751617437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90044 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:242473633 --competition_mode --input HOME/instance-4525647-1751617437.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=96432, runsolver pid=96429

[startup+0.100073 s]*
/proc/loadavg: 8.07 8.08 8.02 8/258 96433
/proc/meminfo: memFree=126724304/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=30660 memory=24848 CPUtime=0.1 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) R 96429 96432 90031 0 -1 4194304 5732 0 0 0 9 1 0 0 20 0 1 0 77422872 31395840 6212 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 7665 6212 1088 2102 0 5205 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30660 KiB
Current children cumulated memory: 24848 KiB

[startup+0.213595 s]*
/proc/loadavg: 8.07 8.08 8.02 8/258 96433
/proc/meminfo: memFree=126725064/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=51588 memory=43680 CPUtime=0.21 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) R 96429 96432 90031 0 -1 4194304 9940 0 0 0 19 2 0 0 20 0 1 0 77422872 52826112 10920 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 12897 10920 1088 2102 0 10437 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 51588 KiB
Current children cumulated memory: 43680 KiB

[startup+0.313252 s]*
/proc/loadavg: 8.07 8.08 8.02 8/258 96433
/proc/meminfo: memFree=126696648/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=76416 memory=60376 CPUtime=0.31 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) R 96429 96432 90031 0 -1 4194304 13605 0 0 0 28 3 0 0 20 0 1 0 77422872 78249984 15094 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 19104 15094 1088 2102 0 16644 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 76416 KiB
Current children cumulated memory: 60376 KiB

[startup+0.700308 s]
/proc/loadavg: 8.07 8.08 8.02 8/258 96433
/proc/meminfo: memFree=126664516/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=166200 memory=148160 CPUtime=0.68 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) R 96429 96432 90031 0 -1 4194304 30449 0 0 0 61 7 0 0 20 0 1 0 77422872 170188800 37040 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 41550 37040 1088 2102 0 39090 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 166200 KiB
Current children cumulated memory: 148160 KiB

[startup+1.50031 s]
/proc/loadavg: 8.07 8.08 8.02 8/258 96433
/proc/meminfo: memFree=126303296/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=582664 memory=569960 CPUtime=1.48 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) R 96429 96432 90031 0 -1 4194304 131584 0 0 0 126 22 0 0 20 0 1 0 77422872 596647936 142490 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 145666 142490 1344 2102 0 143206 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 582664 KiB
Current children cumulated memory: 569960 KiB

[startup+3.11291 s]
/proc/loadavg: 8.07 8.07 8.02 8/258 96433
/proc/meminfo: memFree=125930212/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=816144 memory=795912 CPUtime=3.1 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) R 96429 96432 90031 0 -1 4194304 170615 0 0 0 280 30 0 0 20 0 1 0 77422872 835731456 198978 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 204036 198978 1472 2102 0 201576 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 816144 KiB
Current children cumulated memory: 795912 KiB

[startup+6.30031 s]
/proc/loadavg: 8.07 8.07 8.02 8/258 96433
/proc/meminfo: memFree=125773156/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=964300 memory=919908 CPUtime=6.27 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) R 96429 96432 90031 0 -1 4194304 191624 0 0 0 588 39 0 0 20 0 1 0 77422872 987443200 229977 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 241075 229977 1568 2102 0 238615 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 964300 KiB
Current children cumulated memory: 919908 KiB

[startup+12.7003 s]
/proc/loadavg: 7.90 8.04 8.00 8/258 96433
/proc/meminfo: memFree=125082740/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=1331840 memory=1312460 CPUtime=12.65 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) R 96429 96432 90031 0 -1 4194304 273097 0 0 0 1200 65 0 0 20 0 1 0 77422872 1363804160 328115 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 332960 328115 1856 2102 0 330500 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1331840 KiB
Current children cumulated memory: 1312460 KiB

[startup+25.5003 s]
/proc/loadavg: 7.76 8.00 7.99 8/257 96433
/proc/meminfo: memFree=124849560/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=1679944 memory=1624624 CPUtime=25.41 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) R 96429 96432 90031 0 -1 4194304 325246 0 0 0 2456 85 0 0 20 0 1 0 77422872 1720262656 406156 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 419986 406156 1856 2102 0 417526 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1679944 KiB
Current children cumulated memory: 1624624 KiB

[startup+51.1056 s]
/proc/loadavg: 7.87 8.00 8.00 9/259 96435
/proc/meminfo: memFree=120793000/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=7044768 memory=5941876 CPUtime=74.63 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) R 96429 96432 90031 0 -1 4194304 666408 0 0 0 7210 253 0 0 20 0 3 0 77422872 7213842432 1485469 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 1761192 1485469 2144 2102 0 1708447 0
[pid=96432/tid=96434] ppid=96429 vsize=7044768 memory=5741248 CPUtime=23.78 cores=5,7
/proc/96432/task/96434/stat : 96434 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 158097 0 0 0 2300 78 0 0 20 0 3 0 77425554 7213842432 1485469 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
[pid=96432/tid=96435] ppid=96429 vsize=7044768 memory=14080 CPUtime=16.44 cores=5,7
/proc/96432/task/96435/stat : 96435 (cp-sat-runner) S 96429 96432 90031 0 -1 4194368 166975 0 0 0 1561 83 0 0 20 0 3 0 77425554 7213842432 1485469 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
Current children cumulated CPU time: 74.63 s
Current children cumulated vsize: 7044768 KiB
Current children cumulated memory: 5941876 KiB

[startup+102.3 s]
/proc/loadavg: 7.95 8.00 8.00 9/259 96437
/proc/meminfo: memFree=120532332/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=6724864 memory=6089836 CPUtime=172.79 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) S 96429 96432 90031 0 -1 4194304 1004505 0 0 0 16900 379 0 0 20 0 3 0 77422872 6886260736 1522459 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 1681216 1522459 2144 2102 0 1627138 0
[pid=96432/tid=96434] ppid=96429 vsize=6724864 memory=6052956 CPUtime=70.79 cores=5,7
/proc/96432/task/96434/stat : 96434 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 461720 0 0 0 6885 194 0 0 20 0 3 0 77425554 6886260736 1522459 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
[pid=96432/tid=96435] ppid=96429 vsize=6724864 memory=14080 CPUtime=36.44 cores=5,7
/proc/96432/task/96435/stat : 96435 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 195145 0 0 0 3552 92 0 0 20 0 3 0 77425554 6886260736 1522459 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
Current children cumulated CPU time: 172.79 s
Current children cumulated vsize: 6724864 KiB
Current children cumulated memory: 6089836 KiB

[startup+162.3 s]
/proc/loadavg: 8.05 8.02 8.00 8/258 96486
/proc/meminfo: memFree=120432068/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=6422152 memory=5830812 CPUtime=284.5 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) R 96429 96432 90031 0 -1 4194304 1307835 0 0 0 27848 602 0 0 20 0 3 0 77422872 6576283648 1457703 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 1605538 1457703 2144 2102 0 1553193 0
[pid=96432/tid=96434] ppid=96429 vsize=6422152 memory=6309796 CPUtime=122.41 cores=5,7
/proc/96432/task/96434/stat : 96434 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 675343 0 0 0 11938 303 0 0 20 0 3 0 77425554 6576283648 1457703 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
[pid=96432/tid=96435] ppid=96429 vsize=6422152 memory=6012708 CPUtime=64.26 cores=5,7
/proc/96432/task/96435/stat : 96435 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 272206 0 0 0 6223 203 0 0 20 0 3 0 77425554 6576283648 1457703 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
Current children cumulated CPU time: 284.5 s
Current children cumulated vsize: 6422152 KiB
Current children cumulated memory: 5830812 KiB

[startup+222.3 s]
/proc/loadavg: 8.19 8.06 8.02 9/258 96488
/proc/meminfo: memFree=119815464/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=7063424 memory=6410648 CPUtime=402.79 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) R 96429 96432 90031 0 -1 4194304 1521026 0 0 0 39434 845 0 0 20 0 3 0 77422872 7232946176 1602662 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 1765856 1602662 2144 2102 0 1713550 0
[pid=96432/tid=96434] ppid=96429 vsize=7063424 memory=8903175157611511915 CPUtime=180.56 cores=5,7
/proc/96432/task/96434/stat : 96434 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 850575 0 0 0 17611 445 0 0 20 0 3 0 77425554 7232946176 1602662 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
[pid=96432/tid=96435] ppid=96429 vsize=7063424 memory=5632 CPUtime=109.59 cores=5,7
/proc/96432/task/96435/stat : 96435 (cp-sat-runner) S 96429 96432 90031 0 -1 4194368 310100 0 0 0 10657 302 0 0 20 0 3 0 77425554 7232946176 1602662 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
Current children cumulated CPU time: 402.79 s
Current children cumulated vsize: 7063424 KiB
Current children cumulated memory: 6410648 KiB

[startup+282.3 s]
/proc/loadavg: 8.13 8.06 8.02 9/258 96490
/proc/meminfo: memFree=120233472/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=6745556 memory=6056604 CPUtime=515.94 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) S 96429 96432 90031 0 -1 4194304 1804100 0 0 0 50455 1139 0 0 20 0 3 0 77422872 6907449344 1514151 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 1686389 1514151 2144 2102 0 1634083 0
[pid=96432/tid=96434] ppid=96429 vsize=6745556 memory=8903175157611511915 CPUtime=233.77 cores=5,7
/proc/96432/task/96434/stat : 96434 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 1087032 0 0 0 22808 569 0 0 20 0 3 0 77425554 6907449344 1514151 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
[pid=96432/tid=96435] ppid=96429 vsize=6745556 memory=6080136 CPUtime=143.86 cores=5,7
/proc/96432/task/96435/stat : 96435 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 349409 0 0 0 13914 472 0 0 20 0 3 0 77425554 6907449344 1514151 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
Current children cumulated CPU time: 515.94 s
Current children cumulated vsize: 6745556 KiB
Current children cumulated memory: 6056604 KiB

[startup+342.3 s]
/proc/loadavg: 8.13 8.07 8.02 9/258 96497
/proc/meminfo: memFree=120170688/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=6880504 memory=6182068 CPUtime=635.04 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) S 96429 96432 90031 0 -1 4194304 2123401 0 0 0 62118 1386 0 0 20 0 3 0 77422872 7045636096 1545517 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 1720126 1545517 2144 2102 0 1666645 0
[pid=96432/tid=96434] ppid=96429 vsize=6880504 memory=8903175157611511915 CPUtime=293.54 cores=5,7

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

Current children cumulated memory: 6649452 KiB

[startup+1302.3 s]
/proc/loadavg: 8.13 8.13 8.09 9/258 96540
/proc/meminfo: memFree=119387388/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=7461748 memory=6764000 CPUtime=2539.72 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) S 96429 96432 90031 0 -1 4194304 5927018 0 0 0 250214 3758 0 0 20 0 3 0 77422872 7640829952 1691000 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 1865437 1691000 2144 2102 0 1800938 0
[pid=96432/tid=96434] ppid=96429 vsize=7461748 memory=6811500 CPUtime=1240.96 cores=5,7
/proc/96432/task/96434/stat : 96434 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 4592020 0 0 0 121166 2930 0 0 20 0 3 0 77425554 7640829952 1691000 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
[pid=96432/tid=96435] ppid=96429 vsize=7461748 memory=6479180 CPUtime=1153.3 cores=5,7
/proc/96432/task/96435/stat : 96435 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 965516 0 0 0 114612 718 0 0 20 0 3 0 77425554 7640829952 1691000 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
Current children cumulated CPU time: 2539.72 s
Current children cumulated vsize: 7461748 KiB
Current children cumulated memory: 6764000 KiB

[startup+1362.3 s]
/proc/loadavg: 8.10 8.12 8.09 9/258 96542
/proc/meminfo: memFree=119360884/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=7428804 memory=6756828 CPUtime=2658.78 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) S 96429 96432 90031 0 -1 4194304 6077940 0 0 0 261982 3896 0 0 20 0 3 0 77422872 7607095296 1689207 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 1857201 1689207 2144 2102 0 1792702 0
[pid=96432/tid=96434] ppid=96429 vsize=7428804 memory=6811500 CPUtime=1300.19 cores=5,7
/proc/96432/task/96434/stat : 96434 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 4740146 0 0 0 126953 3066 0 0 20 0 3 0 77425554 7607095296 1689207 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
[pid=96432/tid=96435] ppid=96429 vsize=7428804 memory=14080 CPUtime=1213.11 cores=5,7
/proc/96432/task/96435/stat : 96435 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 968248 0 0 0 120591 720 0 0 20 0 3 0 77425554 7607095296 1689207 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
Current children cumulated CPU time: 2658.78 s
Current children cumulated vsize: 7428804 KiB
Current children cumulated memory: 6756828 KiB

[startup+1422.3 s]
/proc/loadavg: 8.15 8.13 8.09 9/259 96545
/proc/meminfo: memFree=119297096/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=7544600 memory=6810788 CPUtime=2777.86 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) S 96429 96432 90031 0 -1 4194304 6226862 0 0 0 273741 4045 0 0 20 0 3 0 77422872 7725670400 1702697 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 1886150 1702697 2144 2102 0 1821651 0
[pid=96432/tid=96434] ppid=96429 vsize=7544600 memory=6811500 CPUtime=1359.45 cores=5,7
/proc/96432/task/96434/stat : 96434 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 4872486 0 0 0 132733 3212 0 0 20 0 3 0 77425554 7725670400 1702697 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
[pid=96432/tid=96435] ppid=96429 vsize=7544600 memory=14080 CPUtime=1272.92 cores=5,7
/proc/96432/task/96435/stat : 96435 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 984769 0 0 0 126570 722 0 0 20 0 3 0 77425554 7725670400 1702697 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
Current children cumulated CPU time: 2777.86 s
Current children cumulated vsize: 7544600 KiB
Current children cumulated memory: 6810788 KiB

[startup+1482.3 s]
/proc/loadavg: 8.11 8.12 8.09 9/259 96547
/proc/meminfo: memFree=119202200/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=7597804 memory=6888820 CPUtime=2896.94 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) S 96429 96432 90031 0 -1 4194304 6327519 0 0 0 285544 4150 0 0 20 0 3 0 77422872 7780151296 1722205 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 1899451 1722205 2144 2102 0 1834952 0
[pid=96432/tid=96434] ppid=96429 vsize=7597804 memory=18560 CPUtime=1418.7 cores=5,7
/proc/96432/task/96434/stat : 96434 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 4948386 0 0 0 138556 3314 0 0 20 0 3 0 77425554 7780151296 1722205 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
[pid=96432/tid=96435] ppid=96429 vsize=7597804 memory=6889432 CPUtime=1332.72 cores=5,7
/proc/96432/task/96435/stat : 96435 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 1009463 0 0 0 132548 724 0 0 20 0 3 0 77425554 7780151296 1722205 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
Current children cumulated CPU time: 2896.94 s
Current children cumulated vsize: 7597804 KiB
Current children cumulated memory: 6888820 KiB

[startup+1542.3 s]
/proc/loadavg: 8.08 8.11 8.09 9/259 96554
/proc/meminfo: memFree=119622332/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=7272036 memory=6627984 CPUtime=3015.99 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) S 96429 96432 90031 0 -1 4194304 6457005 0 0 0 297289 4310 0 0 20 0 3 0 77422872 7446564864 1656996 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 1818009 1656996 2144 2102 0 1753510 0
[pid=96432/tid=96434] ppid=96429 vsize=7272036 memory=6421784 CPUtime=1477.95 cores=5,7
/proc/96432/task/96434/stat : 96434 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 5040361 0 0 0 144325 3470 0 0 20 0 3 0 77425554 7446564864 1656996 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
[pid=96432/tid=96435] ppid=96429 vsize=7272036 memory=6806640 CPUtime=1392.52 cores=5,7
/proc/96432/task/96435/stat : 96435 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 1046936 0 0 0 138525 727 0 0 20 0 3 0 77425554 7446564864 1656996 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
Current children cumulated CPU time: 3015.99 s
Current children cumulated vsize: 7272036 KiB
Current children cumulated memory: 6627984 KiB

[startup+1602.3 s]
/proc/loadavg: 8.05 8.08 8.08 9/259 96602
/proc/meminfo: memFree=117624484/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=7536708 memory=6841460 CPUtime=3135.06 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) S 96429 96432 90031 0 -1 4194304 6553580 0 0 0 309071 4435 0 0 20 0 3 0 77422872 7717588992 1710365 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 1884177 1710365 2144 2102 0 1819678 0
[pid=96432/tid=96434] ppid=96429 vsize=7536708 memory=6421784 CPUtime=1537.2 cores=5,7
/proc/96432/task/96434/stat : 96434 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 5113378 0 0 0 150129 3591 0 0 20 0 3 0 77425554 7717588992 1710365 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
[pid=96432/tid=96435] ppid=96429 vsize=7536708 memory=6768096 CPUtime=1452.32 cores=5,7
/proc/96432/task/96435/stat : 96435 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 1070439 0 0 0 144501 731 0 0 20 0 3 0 77425554 7717588992 1710365 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
Current children cumulated CPU time: 3135.06 s
Current children cumulated vsize: 7536708 KiB
Current children cumulated memory: 6841460 KiB

[startup+1662.3 s]
/proc/loadavg: 8.12 8.09 8.08 9/259 96606
/proc/meminfo: memFree=117553148/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=7500156 memory=6724584 CPUtime=3254.11 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) S 96429 96432 90031 0 -1 4194304 6633972 0 0 0 320855 4556 0 0 20 0 3 0 77422872 7680159744 1681146 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 1875039 1681146 2144 2102 0 1810540 0
[pid=96432/tid=96434] ppid=96429 vsize=7500156 memory=6421784 CPUtime=1596.47 cores=5,7
/proc/96432/task/96434/stat : 96434 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 5188329 0 0 0 155937 3710 0 0 20 0 3 0 77425554 7680159744 1681146 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
[pid=96432/tid=96435] ppid=96429 vsize=7500156 memory=6750124 CPUtime=1512.09 cores=5,7
/proc/96432/task/96435/stat : 96435 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 1075830 0 0 0 150477 732 0 0 20 0 3 0 77425554 7680159744 1681146 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
Current children cumulated CPU time: 3254.11 s
Current children cumulated vsize: 7500156 KiB
Current children cumulated memory: 6724584 KiB

[startup+1722.3 s]
/proc/loadavg: 8.16 8.10 8.09 9/259 96608
/proc/meminfo: memFree=117897816/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=7172928 memory=6535148 CPUtime=3373.2 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) S 96429 96432 90031 0 -1 4194304 6710591 0 0 0 332628 4692 0 0 20 0 3 0 77422872 7345078272 1633787 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 1793232 1633787 2144 2102 0 1728733 0
[pid=96432/tid=96434] ppid=96429 vsize=7172928 memory=6421784 CPUtime=1655.77 cores=5,7
/proc/96432/task/96434/stat : 96434 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 5263106 0 0 0 161733 3844 0 0 20 0 3 0 77425554 7345078272 1633787 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
[pid=96432/tid=96435] ppid=96429 vsize=7172928 memory=6750124 CPUtime=1571.88 cores=5,7
/proc/96432/task/96435/stat : 96435 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 1077624 0 0 0 156454 734 0 0 20 0 3 0 77425554 7345078272 1633787 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
Current children cumulated CPU time: 3373.2 s
Current children cumulated vsize: 7172928 KiB
Current children cumulated memory: 6535148 KiB

[startup+1782.3 s]
/proc/loadavg: 7.97 8.06 8.08 8/257 96658
/proc/meminfo: memFree=116825684/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=7534716 memory=6808756 CPUtime=3492.28 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) S 96429 96432 90031 0 -1 4194304 6814862 0 0 0 344394 4834 0 0 20 0 3 0 77422872 7715549184 1702189 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 1883679 1702189 2144 2102 0 1819183 0
[pid=96432/tid=96434] ppid=96429 vsize=7534716 memory=6741176 CPUtime=1715.06 cores=5,7
/proc/96432/task/96434/stat : 96434 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 5345486 0 0 0 167525 3981 0 0 20 0 3 0 77425554 7715549184 1702189 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
[pid=96432/tid=96435] ppid=96429 vsize=7534716 memory=6593768 CPUtime=1631.64 cores=5,7
/proc/96432/task/96435/stat : 96435 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 1099466 0 0 0 162426 738 0 0 20 0 3 0 77425554 7715549184 1702189 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
Current children cumulated CPU time: 3492.28 s
Current children cumulated vsize: 7534716 KiB
Current children cumulated memory: 6808756 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1836.6 s]
/proc/loadavg: 7.47 7.91 8.03 9/259 96662
/proc/meminfo: memFree=113491016/131382116 swapFree=33009904/33010684
[pid=96432] ppid=96429 vsize=7638744 memory=6963984 CPUtime=3600.06 cores=5,7
/proc/96432/stat : 96432 (cp-sat-runner) S 96429 96432 90031 0 -1 4194304 6893399 0 0 0 355055 4951 0 0 20 0 3 0 77422872 7822073856 1740996 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
/proc/96432/statm: 1909686 1740996 2144 2102 0 1845190 0
[pid=96432/tid=96434] ppid=96429 vsize=7638744 memory=18560 CPUtime=1768.73 cores=5,7
/proc/96432/task/96434/stat : 96434 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 5402886 0 0 0 172778 4095 0 0 20 0 3 0 77425554 7822073856 1740996 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
[pid=96432/tid=96435] ppid=96429 vsize=7638744 memory=11264 CPUtime=1685.73 cores=5,7
/proc/96432/task/96435/stat : 96435 (cp-sat-runner) R 96429 96432 90031 0 -1 4194368 1120566 0 0 0 167833 740 0 0 20 0 3 0 77425554 7822073856 1740996 18446744073709551615 4198400 12805993 140735550719264 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 33361920 140735550724375 140735550724579 140735550724579 140735550730183 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 7638744 KiB
Current children cumulated memory: 6963984 KiB

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

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

# cumulated CPU time of all completed processes:  user=3550.56 s, system=49.6055 s

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

Child status: 0

Real time (s): 1836.7
CPU time (s): 3600.17
CPU user time (s): 3550.56
CPU system time (s): 49.6055
CPU usage (%): 196.013
Max. virtual memory (cumulated for all children) (KiB): 7653484
Max. memory (cumulated for all children) (KiB): 6967088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3550.56
system time used= 49.6055
maximum resident set size= 6967088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6893404
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= 20984
involuntary context switches= 130606


# summary of solver processes directly reported to runsolver:
#   pid: 96432
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3550.56
#   total CPU system time (s): 49.6055

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.8419 second user time and 8.81172 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-07-04 10:23:57
IDJOB=4525647
IDBENCH=143870
IDSOLVER=3378
FILE ID=nodeC004/4525647-1751617437
RUNJOBID= nodeC004-1751612733-90044
SLURM_JOB_ID= 9598915
Free space on /tmp= 431612 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06_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-4525647-1751617437/watcher-4525647-1751617437 -o /tmp/evaluation-result-4525647-1751617437/solver-4525647-1751617437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90044 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:242473633 --competition_mode --input HOME/instance-4525647-1751617437.wbo

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

MD5SUM BENCH= 6cf6093805b81482d093fc222108b171
RANDOM SEED=242473633

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        126737856 kB
MemAvailable:   127699872 kB
Buffers:            2128 kB
Cached:          1710256 kB
SwapCached:           32 kB
Active:          2769328 kB
Inactive:        1115276 kB
Active(anon):    2179416 kB
Inactive(anon):    10736 kB
Active(file):     589912 kB
Inactive(file):  1104540 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             37432 kB
Writeback:             4 kB
AnonPages:       2174540 kB
Mapped:           129920 kB
Shmem:             17932 kB
KReclaimable:     214384 kB
Slab:             301048 kB
SReclaimable:     214384 kB
SUnreclaim:        86664 kB
KernelStack:        4160 kB
PageTables:         7332 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    2638296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149544 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    968704 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431540 MiB
End job on nodeC004 at 2025-07-04 10:54:34