Trace number 4529509

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.14.2MSAT (TO) 3600.17 1827.89

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.31/18.05	o 143993
21.66/19.24	o 90887
95.19/56.64	o 74923
96.18/57.18	o 38257
97.37/57.77	o 38158
103.31/60.74	o 38157
104.50/61.38	o 37267
116.40/67.37	o 35303
116.99/67.62	o 35001
117.30/67.85	o 32984
134.75/76.68	o 32929
134.95/76.79	o 31683
137.37/78.09	o 31673
194.25/107.64	o 31664
200.25/110.94	o 31191
200.74/111.21	o 30968
214.39/118.69	o 29968
217.96/120.46	o 29583
218.35/120.61	o 28058
222.72/122.81	o 27959
225.89/124.46	o 27947
229.65/126.32	o 27357
229.85/126.44	o 27157
233.03/128.07	o 27076
240.77/131.92	o 26064
240.97/132.05	o 26054
290.87/157.29	o 23846
293.84/158.79	o 23078
298.20/160.97	o 22999
300.40/162.03	o 22979
302.74/163.25	o 22911
306.53/165.18	o 22909
309.09/166.49	o 20548
309.69/166.72	o 19528
328.65/176.40	o 19519
337.99/181.22	o 19479
338.39/181.49	o 19246
370.63/197.94	o 19146
372.42/198.82	o 19145
383.59/204.50	o 19135
385.57/205.56	o 19115
402.29/214.10	o 18303
402.67/214.22	o 16991
412.23/219.43	o 16033
412.43/219.54	o 13891
413.81/220.24	o 13780
414.74/220.84	o 13701
415.05/221.08	o 13588
423.18/225.32	o 13451
438.06/232.82	o 12624
438.26/232.94	o 12604
472.82/250.45	o 12413
474.81/251.44	o 12391
498.41/263.32	o 12381
502.58/265.43	o 12278
505.36/266.89	o 11851
508.94/268.68	o 11760
512.50/270.46	o 11759
543.20/285.99	o 11740
551.53/290.13	o 11734
551.92/290.38	o 11682
568.79/299.01	o 11672
572.79/301.21	o 11557
576.57/303.11	o 11129
587.76/308.84	o 11128
597.08/313.56	o 11127
601.44/315.78	o 11116
601.84/315.95	o 10784
613.15/321.60	o 10542
613.34/321.71	o 10432
613.94/322.01	o 10334
614.53/322.34	o 10323
615.92/323.04	o 10322
619.89/325.09	o 10264
623.85/327.03	o 10261
626.82/328.52	o 10240
645.67/338.06	o 10239
652.99/341.79	o 10238
653.59/342.10	o 10237
657.36/343.96	o 9926
697.81/364.31	o 9856
702.17/366.59	o 9787
714.67/372.83	o 9757
715.46/373.20	o 9613
725.36/378.27	o 9583
767.41/399.44	o 9505
767.61/399.57	o 9492
800.92/416.39	o 9491
834.43/433.23	o 9392
834.83/433.45	o 9390
890.95/461.72	o 9292
891.55/462.04	o 9282
902.65/467.61	o 9172
912.37/472.53	o 9171
1053.77/543.90	o 9052
1053.97/543.98	o 9051
1086.10/560.13	o 9041
1098.99/566.66	o 9040
1104.14/569.21	o 9031
1148.37/591.53	o 8959
1157.51/596.16	o 8949
1164.82/599.81	o 8604
1167.60/601.26	o 8502
1170.37/602.64	o 8500
1210.23/622.79	o 8491
1210.62/622.90	o 8489
1221.52/628.41	o 8487
1248.70/642.17	o 8316
1249.09/642.32	o 8211
1253.84/644.75	o 8120
1254.24/644.99	o 8100
1259.99/647.82	o 8022
1263.36/649.50	o 7515
1265.54/650.68	o 6813
1306.97/671.58	o 6803
1312.92/674.51	o 6802
1313.52/674.87	o 6590
1319.27/677.76	o 6589
1329.78/683.03	o 6511
1329.98/683.12	o 6510
1337.72/687.04	o 6490
1342.66/689.55	o 6473
1379.94/708.35	o 6464
1380.73/708.77	o 6461
1383.11/709.94	o 6460
1388.06/712.43	o 6449
1407.89/722.47	o 6430
1563.13/800.73	o 6324
1563.52/800.96	o 6104
1581.58/810.10	o 6095
1593.06/815.80	o 6084
1593.26/815.95	o 6067
1595.65/817.17	o 6058
1602.38/820.59	o 6055
1629.15/834.04	o 6047
1629.35/834.15	o 6045
1760.20/900.16	o 6036
1881.75/961.49	o 6026
1962.02/1001.90	o 6025
2182.69/1113.23	o 5937
2212.25/1128.13	o 5849
2240.61/1142.42	o 5800
2243.59/1143.96	o 5769
2281.27/1162.90	o 5748
2294.56/1169.63	o 5747
2347.51/1196.38	o 5746
2348.10/1196.62	o 5745
2398.69/1222.17	o 4774
2401.85/1223.78	o 3551
2402.46/1224.03	o 3451
2402.66/1224.14	o 3441
2407.60/1226.62	o 3184
2407.80/1226.77	o 2960
2410.77/1228.21	o 2739
2410.97/1228.35	o 2597
2421.08/1233.47	o 2586
2424.27/1235.08	o 1513
2424.65/1235.28	o 1413
2424.85/1235.39	o 1310
2425.65/1235.73	o 1301
2427.83/1236.81	o 1280
2428.43/1237.17	o 1278
2437.74/1241.80	o 1259
2441.50/1243.79	o 246
2441.70/1243.88	o 234
2466.90/1256.51	o 221
3600.07/1827.80	s SATISFIABLE
3600.07/1827.80	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 
3600.07/1827.80	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 
3600.07/1827.80	v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 
3600.07/1827.80	v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 
3600.07/1827.80	v -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 
3600.07/1827.80	v -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 
3600.07/1827.80	v -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 
3600.07/1827.80	v -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 
3600.07/1827.80	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 
3600.07/1827.80	v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 
3600.07/1827.80	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 
3600.07/1827.80	v -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 
3600.07/1827.80	v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 
3600.07/1827.80	v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 
3600.07/1827.80	v -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 
3600.07/1827.80	v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 
3600.07/1827.80	v -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 
3600.07/1827.80	v -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 
3600.07/1827.80	v x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 
3600.07/1827.80	v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 
3600.07/1827.80	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 
3600.07/1827.80	v -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 
3600.07/1827.80	v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 
3600.07/1827.80	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 
3600.07/1827.80	v -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 
3600.07/1827.80	v -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 
3600.07/1827.80	v x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 
3600.07/1827.80	v -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 
3600.07/1827.80	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 
3600.07/1827.80	v -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 
3600.07/1827.80	v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 
3600.07/1827.80	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 
3600.07/1827.80	v -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 
3600.07/1827.80	v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 
3600.07/1827.80	v -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 
3600.07/1827.80	v -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 
3600.07/1827.80	v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 
3600.07/1827.80	v -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 
3600.07/1827.80	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 
3600.07/1827.80	v -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 
3600.07/1827.80	v -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 
3600.07/1827.80	v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 
3600.07/1827.80	v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 
3600.07/1827.80	v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 
3600.07/1827.80	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 
3600.07/1827.80	v -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 
3600.07/1827.80	v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 
3600.07/1827.80	v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 
3600.07/1827.80	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 
3600.07/1827.80	v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 
3600.07/1827.80	v -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 
3600.07/1827.80	v -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 
3600.07/1827.80	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 
3600.07/1827.80	v -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 
3600.07/1827.80	v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 
3600.07/1827.80	v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 
3600.07/1827.80	v -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 
3600.07/1827.80	v -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 
3600.07/1827.80	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 
3600.07/1827.80	v -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 
3600.07/1827.80	v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 
3600.07/1827.80	v -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 
3600.07/1827.80	v -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 
3600.07/1827.80	v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 
3600.07/1827.80	v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 
3600.07/1827.80	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 
3600.07/1827.80	v -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 
3600.07/1827.80	v -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 
3600.07/1827.80	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 
3600.07/1827.80	v -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 
3600.07/1827.80	v x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 
3600.07/1827.80	v -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 
3600.07/1827.80	v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 
3600.07/1827.80	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 
3600.07/1827.80	v -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 
3600.07/1827.80	v -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 
3600.07/1827.80	v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 
3600.07/1827.80	v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 
3600.07/1827.80	v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 
3600.07/1827.80	v -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 
3600.07/1827.80	v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 
3600.07/1827.80	v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 
3600.07/1827.80	v -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 
3600.07/1827.80	v -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 
3600.07/1827.80	v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 
3600.07/1827.80	v -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 
3600.07/1827.80	v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 
3600.07/1827.80	v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 
3600.07/1827.80	v -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 
3600.07/1827.80	v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 
3600.07/1827.80	v -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 
3600.07/1827.80	v -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 
3600.07/1827.80	v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 
3600.07/1827.80	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 
3600.07/1827.80	v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 
3600.07/1827.80	v -x1213 x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 
3600.07/1827.80	v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 
3600.07/1827.80	v -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 
3600.07/1827.80	v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 
3600.07/1827.80	v -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 
3600.07/1827.80	v -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 
3600.07/1827.80	v -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 
3600.07/1827.80	v -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 
3600.07/1827.80	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 
3600.07/1827.80	v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 
3600.07/1827.80	v -x1323 -x1324 -x1325 -x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 
3600.07/1827.80	v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 
3600.07/1827.80	v -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 
3600.07/1827.80	v -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 
3600.07/1827.80	v -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 
3600.07/1827.80	v -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 
3600.07/1827.80	v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 
3600.07/1827.80	v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 -x1409 -x1410 
3600.07/1827.80	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 
3600.07/1827.80	v -x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 
3600.07/1827.80	v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 
3600.07/1827.80	v -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 
3600.07/1827.80	v -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 
3600.07/1827.80	v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 
3600.07/1827.80	v -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 
3600.07/1827.80	v -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 
3600.07/1827.80	v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 
3600.07/1827.80	v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 
3600.07/1827.80	v -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 
3600.07/1827.80	v -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 
3600.07/1827.80	v -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 
3600.07/1827.80	v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 
3600.07/1827.80	v -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 
3600.07/1827.80	v -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 
3600.07/1827.80	v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 
3600.07/1827.80	v -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 x1604 x1605 -x1606 -x1607 -x1608 
3600.07/1827.80	v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 
3600.07/1827.80	v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 
3600.07/1827.80	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 
3600.07/1827.80	v -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 
3600.07/1827.80	v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 
3600.07/1827.80	v -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 
3600.07/1827.80	v -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 
3600.07/1827.80	v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 
3600.07/1827.80	v -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 
3600.07/1827.80	v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 
3600.07/1827.80	v -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 
3600.07/1827.80	v -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 x1736 -x1737 -x1738 -x1739 x1740 
3600.07/1827.80	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 
3600.07/1827.80	v -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 
3600.07/1827.80	v -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 
3600.07/1827.80	v -x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 
3600.07/1827.80	v -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 
3600.07/1827.80	v -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 
3600.07/1827.80	v -x1807 -x1808 -x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 
3600.07/1827.80	v -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 
3600.07/1827.80	v -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 
3600.07/1827.80	v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 
3600.07/1827.80	v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 
3600.07/1827.80	v -x1862 -x1863 -x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 
3600.07/1827.80	v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 
3600.07/1827.80	v -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 
3600.07/1827.80	v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 
3600.07/1827.80	v x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 
3600.07/1827.80	v -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 
3600.07/1827.80	v -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 
3600.07/1827.80	v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 
3600.07/1827.80	v -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 
3600.07/1827.80	v x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 
3600.07/1827.80	v -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 
3600.07/1827.80	v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 
3600.07/1827.80	v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 
3600.07/1827.80	v -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 
3600.07/1827.80	v -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 
3600.07/1827.80	v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 
3600.07/1827.80	v -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 x2048 
3600.07/1827.80	v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 x2057 -x2058 -x2059 
3600.07/1827.80	v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 
3600.07/1827.80	v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 
3600.07/1827.80	v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 
3600.07/1827.80	v x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 
3600.07/1827.80	v -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 
3600.07/1827.80	v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 
3600.07/1827.80	v -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 
3600.07/1827.80	v -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 -x2146 -x2147 
3600.07/1827.80	v -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 
3600.07/1827.80	v -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 
3600.07/1827.80	v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 
3600.07/1827.80	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 
3600.07/1827.80	v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 
3600.07/1827.80	v -x2203 -x2204 -x2205 -x2206 x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 
3600.07/1827.80	v -x2214 -x2215 -x2216 -x2217 x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 
3600.07/1827.80	v -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 
3600.07/1827.80	v -x2236 -x2237 -x2238 -x2239 x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 
3600.07/1827.80	v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 
3600.07/1827.80	v -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 
3600.07/1827.80	v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 
3600.07/1827.80	v -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 
3600.07/1827.80	v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 x2299 -x2300 -x2301 
3600.07/1827.80	v -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 
3600.07/1827.80	v x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 
3600.07/1827.80	v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 
3600.07/1827.80	v -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 
3600.07/1827.80	v -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 
3600.07/1827.80	v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 
3600.07/1827.80	v -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 
3600.07/1827.80	v -x2379 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 -x2386 -x2387 -x2388 -x2389 
3600.07/1827.80	v -x2390 -x2391 x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 
3600.07/1827.80	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 
3600.07/1827.80	v -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 
3600.07/1827.80	v -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 
3600.07/1827.80	v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 
3600.07/1827.80	v -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 
3600.07/1827.80	v -x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 
3600.07/1827.80	v -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 
3600.07/1827.80	v -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 
3600.07/1827.80	v -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 
3600.07/1827.80	v -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 
3600.07/1827.80	v x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 
3600.07/1827.80	v -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 
3600.07/1827.80	v -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 
3600.07/1827.80	v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 -x2553 -x2554 
3600.07/1827.80	v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 x2562 -x2563 -x2564 -x2565 
3600.07/1827.80	v -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 
3600.07/1827.80	v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 
3600.07/1827.80	v -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 
3600.07/1827.80	v -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 
3600.07/1827.80	v -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 
3600.07/1827.80	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 
3600.07/1827.80	v -x2632 -x2633 -x2634 x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 
3600.07/1827.80	v x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 
3600.07/1827.80	v -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 
3600.07/1827.80	v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 
3600.07/1827.80	v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 
3600.07/1827.80	v -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 
3600.07/1827.80	v -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 
3600.07/1827.80	v -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 
3600.07/1827.80	v -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 
3600.07/1827.80	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 
3600.07/1827.80	v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 
3600.07/1827.80	v -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 
3600.07/1827.80	v -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 x2771 -x2772 -x2773 -x2774 
3600.07/1827.80	v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 
3600.07/1827.80	v -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 
3600.07/1827.80	v -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 x2807 
3600.07/1827.80	v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 
3600.07/1827.80	v -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 
3600.07/1827.80	v -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 
3600.07/1827.80	v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 
3600.07/1827.80	v -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 
3600.07/1827.80	v -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 
3600.07/1827.80	v -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 
3600.07/1827.80	v -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 
3600.07/1827.80	v -x2896 -x2897 -x2898 -x2899 -x2900 x2901 -x2902 -x2903 -x2904 -x2905 -x2906 
3600.07/1827.80	v -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 
3600.07/1827.80	v -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 
3600.07/1827.80	v -x2929 -x2930 -x2931 -x2932 -x2933 x2934 -x2935 -x2936 -x2937 -x2938 -x2939 
3600.07/1827.80	v -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 x2947 -x2948 -x2949 -x2950 
3600.07/1827.80	v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 
3600.07/1827.80	v -x2962 x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 
3600.07/1827.80	v -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 
3600.07/1827.80	v -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 
3600.07/1827.80	v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 
3600.07/1827.80	v -x3006 -x3007 -x3008 -x3009 -x3010 x3011 -x3012 -x3013 -x3014 -x3015 -x3016 
3600.07/1827.80	v -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 
3600.07/1827.80	v -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 
3600.07/1827.80	v -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 
3600.07/1827.80	v -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 
3600.07/1827.80	v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 
3600.07/1827.80	v -x3072 -x3073 -x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 
3600.07/1827.80	v -x3083 -x3084 x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 
3600.07/1827.80	v -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 
3600.07/1827.80	v -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 
3600.07/1827.80	v -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 
3600.07/1827.80	v -x3127 -x3128 -x3129 -x3130 -x3131 x3132 -x3133 -x3134 -x3135 -x3136 -x3137 
3600.07/1827.80	v -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 
3600.07/1827.80	v -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 
3600.07/1827.80	v -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 
3600.07/1827.80	v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 
3600.07/1827.80	v -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 
3600.07/1827.80	v -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 
3600.07/1827.80	v -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 x3210 -x3211 -x3212 -x3213 -x3214 
3600.07/1827.80	v -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 
3600.07/1827.80	v -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 
3600.07/1827.80	v -x3237 -x3238 -x3239 -x3240 -x3241 x3242 -x3243 -x3244 -x3245 -x3246 -x3247 
3600.07/1827.80	v -x3248 -x3249 -x3250 -x3251 -x3252 x3253 -x3254 -x3255 -x3256 -x3257 -x3258 
3600.07/1827.80	v -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 
3600.07/1827.80	v -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 
3600.07/1827.80	v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 
3600.07/1827.80	v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 
3600.07/1827.80	v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 x3311 -x3312 -x3313 
3600.07/1827.80	v -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 
3600.07/1827.80	v -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 
3600.07/1827.80	v -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 
3600.07/1827.80	v -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 
3600.07/1827.80	v -x3358 -x3359 -x3360 -x3361 x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 
3600.07/1827.80	v -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 
3600.07/1827.80	v -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 
3600.07/1827.80	v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 x3398 -x3399 -x3400 -x3401 
3600.07/1827.80	v -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 
3600.07/1827.80	v -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 
3600.07/1827.80	v -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 
3600.07/1827.80	v -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 x3442 -x3443 -x3444 -x3445 
3600.07/1827.80	v -x3446 x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 
3600.07/1827.80	v -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 
3600.07/1827.80	v -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 
3600.07/1827.80	v -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 
3600.07/1827.80	v -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 
3600.07/1827.80	v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 
3600.07/1827.80	v -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 
3600.07/1827.80	v -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 
3600.07/1827.80	v x3534 x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 
3600.07/1827.80	v -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 
3600.07/1827.80	v -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 
3600.07/1827.80	v -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 
3600.07/1827.80	v -x3578 -x3579 -x3580 x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 x3588 
3600.07/1827.80	v -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 
3600.07/1827.80	v -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 
3600.07/1827.80	v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 x3621 
3600.07/1827.80	v -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 
3600.07/1827.80	v -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 
3600.07/1827.80	v -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 
3600.07/1827.80	v -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 x3665 
3600.07/1827.80	v -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 
3600.07/1827.80	v -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 
3600.07/1827.80	v -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 
3600.07/1827.80	v -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708

Verifier Data 

OK	221

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (59103 MiB free)
  memory of node 1: 64507 MiB (59579 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529509-1752571899/watcher-4529509-1752571899 -o /tmp/evaluation-result-4529509-1752571899/solver-4529509-1752571899 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752571848-133576 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:830487320 --competition_mode --input HOME/instance-4529509-1752571899.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=133734, runsolver pid=133731

[startup+0.100062 s]*
/proc/loadavg: 3.36 0.99 0.39 7/270 133735
/proc/meminfo: memFree=121487344/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=45220 memory=35104 CPUtime=0.09 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) R 133731 133734 133558 0 -1 4194304 8320 0 0 0 8 1 0 0 20 0 1 0 172869604 46305280 8776 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 11305 8776 1088 2102 0 8845 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45220 KiB
Current children cumulated memory: 35104 KiB

[startup+0.205872 s]*
/proc/loadavg: 3.36 0.99 0.39 7/270 133735
/proc/meminfo: memFree=121416584/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=80608 memory=66432 CPUtime=0.2 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) R 133731 133734 133558 0 -1 4194304 14621 0 0 0 17 3 0 0 20 0 1 0 172869604 82542592 16608 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 20152 16608 1088 2102 0 17692 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80608 KiB
Current children cumulated memory: 66432 KiB

[startup+0.305799 s]*
/proc/loadavg: 3.36 0.99 0.39 7/270 133735
/proc/meminfo: memFree=121392644/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=103180 memory=97280 CPUtime=0.3 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) R 133731 133734 133558 0 -1 4194304 20274 0 0 0 26 4 0 0 20 0 1 0 172869604 105656320 24320 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 25795 24320 1088 2102 0 23335 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 103180 KiB
Current children cumulated memory: 97280 KiB

[startup+0.700192 s]
/proc/loadavg: 3.36 0.99 0.39 7/270 133735
/proc/meminfo: memFree=121190788/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=322124 memory=314388 CPUtime=0.69 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) R 133731 133734 133558 0 -1 4194304 73254 0 0 0 58 11 0 0 20 0 1 0 172869604 329854976 78565 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 80531 78565 1344 2102 0 78071 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 322124 KiB
Current children cumulated memory: 314388 KiB

[startup+1.50019 s]
/proc/loadavg: 3.36 0.99 0.39 7/270 133735
/proc/meminfo: memFree=121043584/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=514740 memory=502096 CPUtime=1.48 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) R 133731 133734 133558 0 -1 4194304 109847 0 0 0 130 18 0 0 20 0 1 0 172869604 527093760 125524 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 128718 125524 1472 2102 0 126258 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 514740 KiB
Current children cumulated memory: 502096 KiB

[startup+3.10577 s]
/proc/loadavg: 3.36 0.99 0.39 7/270 133735
/proc/meminfo: memFree=120885128/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=619068 memory=595468 CPUtime=3.08 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) R 133731 133734 133558 0 -1 4194304 122982 0 0 0 286 22 0 0 20 0 1 0 172869604 633925632 148867 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 154767 148867 1504 2102 0 152307 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 619068 KiB
Current children cumulated memory: 595468 KiB

[startup+6.30021 s]
/proc/loadavg: 3.58 1.07 0.42 7/270 133736
/proc/meminfo: memFree=120710120/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=1039484 memory=1000636 CPUtime=6.26 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) R 133731 133734 133558 0 -1 4194304 189574 0 0 0 584 42 0 0 20 0 1 0 172869604 1064431616 250159 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 259871 250159 1856 2102 0 257411 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1039484 KiB
Current children cumulated memory: 1000636 KiB

[startup+12.7002 s]
/proc/loadavg: 3.77 1.15 0.45 7/270 133736
/proc/meminfo: memFree=120589244/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=1111688 memory=1086028 CPUtime=12.64 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) R 133731 133734 133558 0 -1 4194304 223439 0 0 0 1210 54 0 0 20 0 1 0 172869604 1138368512 271507 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 277922 271507 1856 2102 0 275462 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1111688 KiB
Current children cumulated memory: 1086028 KiB

[startup+25.5002 s]
/proc/loadavg: 4.65 1.47 0.57 9/274 133740
/proc/meminfo: memFree=112240932/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=4531540 memory=3762236 CPUtime=34.16 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) S 133731 133734 133558 0 -1 4194304 429080 0 0 0 3281 135 0 0 20 0 3 0 172869604 4640296960 940559 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 1132885 940559 2144 2102 0 1089600 0
[pid=133734/tid=133739] ppid=133731 vsize=4531540 memory=1086028 CPUtime=8.78 cores=4,6
/proc/133734/task/133739/stat : 133739 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 123159 0 0 0 831 47 0 0 20 0 3 0 172871262 4640296960 940559 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
[pid=133734/tid=133740] ppid=133731 vsize=4531540 memory=14464 CPUtime=8.76 cores=4,6
/proc/133734/task/133740/stat : 133740 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 72082 0 0 0 845 31 0 0 20 0 3 0 172871262 4640296960 940559 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
Current children cumulated CPU time: 34.16 s
Current children cumulated vsize: 4531540 KiB
Current children cumulated memory: 3762236 KiB

[startup+51.1062 s]
/proc/loadavg: 5.80 2.00 0.77 8/274 133740
/proc/meminfo: memFree=112086148/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=4093408 memory=3663216 CPUtime=84.29 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) R 133731 133734 133558 0 -1 4194304 546186 0 0 0 8246 183 0 0 20 0 3 0 172869604 4191649792 915804 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 1023352 915804 2144 2102 0 983910 0
[pid=133734/tid=133739] ppid=133731 vsize=4093408 memory=3900508 CPUtime=20.39 cores=4,6
/proc/133734/task/133739/stat : 133739 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 153232 0 0 0 1983 56 0 0 20 0 3 0 172871262 4191649792 915804 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
[pid=133734/tid=133740] ppid=133731 vsize=4093408 memory=3832148 CPUtime=33.33 cores=4,6
/proc/133734/task/133740/stat : 133740 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 159008 0 0 0 3263 70 0 0 20 0 3 0 172871262 4191649792 915804 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
Current children cumulated CPU time: 84.29 s
Current children cumulated vsize: 4093408 KiB
Current children cumulated memory: 3663216 KiB

[startup+102.3 s]
/proc/loadavg: 6.91 2.89 1.14 9/274 133742
/proc/meminfo: memFree=111204560/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=5071460 memory=4508752 CPUtime=184.37 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) S 133731 133734 133558 0 -1 4194304 890460 0 0 0 18124 313 0 0 20 0 3 0 172869604 5193175040 1127188 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 1267865 1127188 2144 2102 0 1208338 0
[pid=133734/tid=133739] ppid=133731 vsize=5071460 memory=-7167615982222151273 CPUtime=60.64 cores=4,6
/proc/133734/task/133739/stat : 133739 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 248759 0 0 0 5993 71 0 0 20 0 3 0 172871262 5193175040 1127188 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
[pid=133734/tid=133740] ppid=133731 vsize=5071460 memory=4381120 CPUtime=81.87 cores=4,6
/proc/133734/task/133740/stat : 133740 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 397914 0 0 0 8002 185 0 0 20 0 3 0 172871262 5193175040 1127188 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
Current children cumulated CPU time: 184.37 s
Current children cumulated vsize: 5071460 KiB
Current children cumulated memory: 4508752 KiB

[startup+162.3 s]
/proc/loadavg: 7.68 3.84 1.58 9/275 133745
/proc/meminfo: memFree=111197248/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=4721436 memory=4213732 CPUtime=300.98 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) S 133731 133734 133558 0 -1 4194304 1201225 0 0 0 29637 461 0 0 20 0 3 0 172869604 4834750464 1053433 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 1180359 1053433 2144 2102 0 1121867 0
[pid=133734/tid=133739] ppid=133731 vsize=4721436 memory=4272496 CPUtime=108.2 cores=4,6
/proc/133734/task/133739/stat : 133739 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 312739 0 0 0 10742 78 0 0 20 0 3 0 172871262 4834750464 1053433 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
[pid=133734/tid=133740] ppid=133731 vsize=4721436 memory=4150096 CPUtime=138.27 cores=4,6
/proc/133734/task/133740/stat : 133740 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 630754 0 0 0 13503 324 0 0 20 0 3 0 172871262 4834750464 1053433 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
Current children cumulated CPU time: 300.98 s
Current children cumulated vsize: 4721436 KiB
Current children cumulated memory: 4213732 KiB

[startup+222.3 s]
/proc/loadavg: 7.63 4.54 1.96 9/275 133747
/proc/meminfo: memFree=110702568/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=4905324 memory=4395180 CPUtime=417.24 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) S 133731 133734 133558 0 -1 4194304 1343225 0 0 0 41138 586 0 0 20 0 3 0 172869604 5023051776 1098795 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 1226331 1098795 2144 2102 0 1178394 0
[pid=133734/tid=133739] ppid=133731 vsize=4905324 memory=4283844 CPUtime=154.77 cores=4,6
/proc/133734/task/133739/stat : 133739 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 333196 0 0 0 15393 84 0 0 20 0 3 0 172871262 5023051776 1098795 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
[pid=133734/tid=133740] ppid=133731 vsize=4905324 memory=14464 CPUtime=193.98 cores=4,6
/proc/133734/task/133740/stat : 133740 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 752255 0 0 0 18955 443 0 0 20 0 3 0 172871262 5023051776 1098795 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
Current children cumulated CPU time: 417.24 s
Current children cumulated vsize: 4905324 KiB
Current children cumulated memory: 4395180 KiB

[startup+282.3 s]
/proc/loadavg: 7.91 5.18 2.35 9/271 133749
/proc/meminfo: memFree=109695144/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=5502600 memory=4888300 CPUtime=536.05 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) S 133731 133734 133558 0 -1 4194304 1509522 0 0 0 52850 755 0 0 20 0 3 0 172869604 5634662400 1222075 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 1375650 1222075 2144 2102 0 1310649 0
[pid=133734/tid=133739] ppid=133731 vsize=5502600 memory=-7167615982222151273 CPUtime=209.65 cores=4,6
/proc/133734/task/133739/stat : 133739 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 399109 0 0 0 20869 96 0 0 20 0 3 0 172871262 5634662400 1222075 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
[pid=133734/tid=133740] ppid=133731 vsize=5502600 memory=4923840 CPUtime=252.62 cores=4,6
/proc/133734/task/133740/stat : 133740 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 852628 0 0 0 24663 599 0 0 20 0 3 0 172871262 5634662400 1222075 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
Current children cumulated CPU time: 536.05 s
Current children cumulated vsize: 5502600 KiB
Current children cumulated memory: 4888300 KiB

[startup+342.3 s]
/proc/loadavg: 7.84 5.66 2.69 9/271 133751
/proc/meminfo: memFree=109711720/131249996 swapFree=33005016/33010684

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

Current children cumulated memory: 5340684 KiB

[startup+1302.3 s]
/proc/loadavg: 8.09 8.00 6.18 9/272 133800
/proc/meminfo: memFree=108754144/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=5936276 memory=5364324 CPUtime=2557.72 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) S 133731 133734 133558 0 -1 4194304 3353985 0 0 0 252838 2934 0 0 20 0 3 0 172869604 6078746624 1341081 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 1484069 1341081 2144 2102 0 1426578 0
[pid=133734/tid=133739] ppid=133731 vsize=5936276 memory=5354136 CPUtime=1215.39 cores=4,6
/proc/133734/task/133739/stat : 133739 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 1357135 0 0 0 121350 189 0 0 20 0 3 0 172871262 6078746624 1341081 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
[pid=133734/tid=133740] ppid=133731 vsize=5936276 memory=14464 CPUtime=1265.17 cores=4,6
/proc/133734/task/133740/stat : 133740 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 1738761 0 0 0 123838 2679 0 0 20 0 3 0 172871262 6078746624 1341081 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
Current children cumulated CPU time: 2557.72 s
Current children cumulated vsize: 5936276 KiB
Current children cumulated memory: 5364324 KiB

[startup+1362.3 s]
/proc/loadavg: 8.20 8.04 6.31 9/273 133803
/proc/meminfo: memFree=109516976/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=5782556 memory=5266032 CPUtime=2676.72 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) S 133731 133734 133558 0 -1 4194304 3409795 0 0 0 264642 3030 0 0 20 0 3 0 172869604 5921337344 1316508 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 1445639 1316508 2144 2102 0 1388148 0
[pid=133734/tid=133739] ppid=133731 vsize=5782556 memory=14464 CPUtime=1274.69 cores=4,6
/proc/133734/task/133739/stat : 133739 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 1379733 0 0 0 127277 192 0 0 20 0 3 0 172871262 5921337344 1316508 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
[pid=133734/tid=133740] ppid=133731 vsize=5782556 memory=5364616 CPUtime=1324.86 cores=4,6
/proc/133734/task/133740/stat : 133740 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 1771958 0 0 0 129714 2772 0 0 20 0 3 0 172871262 5921337344 1316508 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
Current children cumulated CPU time: 2676.72 s
Current children cumulated vsize: 5782556 KiB
Current children cumulated memory: 5266032 KiB

[startup+1422.3 s]
/proc/loadavg: 8.11 8.05 6.43 9/273 133807
/proc/meminfo: memFree=108710504/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=6045168 memory=5467432 CPUtime=2795.72 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) S 133731 133734 133558 0 -1 4194304 3523561 0 0 0 276437 3135 0 0 20 0 3 0 172869604 6190252032 1366858 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 1511292 1366858 2144 2102 0 1453801 0
[pid=133734/tid=133739] ppid=133731 vsize=6045168 memory=5427204 CPUtime=1333.98 cores=4,6
/proc/133734/task/133739/stat : 133739 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 1398730 0 0 0 133204 194 0 0 20 0 3 0 172871262 6190252032 1366858 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
[pid=133734/tid=133740] ppid=133731 vsize=6045168 memory=14464 CPUtime=1384.55 cores=4,6
/proc/133734/task/133740/stat : 133740 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 1866689 0 0 0 135580 2875 0 0 20 0 3 0 172871262 6190252032 1366858 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
Current children cumulated CPU time: 2795.72 s
Current children cumulated vsize: 6045168 KiB
Current children cumulated memory: 5467432 KiB

[startup+1482.3 s]
/proc/loadavg: 8.08 8.05 6.53 9/273 133809
/proc/meminfo: memFree=109147408/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=5930568 memory=5343852 CPUtime=2914.72 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) S 133731 133734 133558 0 -1 4194304 3697483 0 0 0 288232 3240 0 0 20 0 3 0 172869604 6072901632 1335963 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 1482642 1335963 2144 2102 0 1425151 0
[pid=133734/tid=133739] ppid=133731 vsize=5930568 memory=14464 CPUtime=1393.29 cores=4,6
/proc/133734/task/133739/stat : 133739 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 1413145 0 0 0 139133 196 0 0 20 0 3 0 172871262 6072901632 1335963 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
[pid=133734/tid=133740] ppid=133731 vsize=5930568 memory=5388120 CPUtime=1444.24 cores=4,6
/proc/133734/task/133740/stat : 133740 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 2026131 0 0 0 141446 2978 0 0 20 0 3 0 172871262 6072901632 1335963 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
Current children cumulated CPU time: 2914.72 s
Current children cumulated vsize: 5930568 KiB
Current children cumulated memory: 5343852 KiB

[startup+1542.3 s]
/proc/loadavg: 8.21 8.09 6.64 9/271 133811
/proc/meminfo: memFree=108781956/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=6024848 memory=5477596 CPUtime=3033.72 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) S 133731 133734 133558 0 -1 4194304 3807652 0 0 0 300032 3340 0 0 20 0 3 0 172869604 6169444352 1369399 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 1506212 1369399 2144 2102 0 1448721 0
[pid=133734/tid=133739] ppid=133731 vsize=6024848 memory=5455636 CPUtime=1452.58 cores=4,6
/proc/133734/task/133739/stat : 133739 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 1486385 0 0 0 145057 201 0 0 20 0 3 0 172871262 6169444352 1369399 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
[pid=133734/tid=133740] ppid=133731 vsize=6024848 memory=16512 CPUtime=1503.93 cores=4,6
/proc/133734/task/133740/stat : 133740 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 2063051 0 0 0 147321 3072 0 0 20 0 3 0 172871262 6169444352 1369399 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
Current children cumulated CPU time: 3033.72 s
Current children cumulated vsize: 6024848 KiB
Current children cumulated memory: 5477596 KiB

[startup+1602.3 s]
/proc/loadavg: 8.27 8.14 6.76 9/271 133813
/proc/meminfo: memFree=109191616/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=6047320 memory=5537340 CPUtime=3152.72 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) S 133731 133734 133558 0 -1 4194304 3947103 0 0 0 311823 3449 0 0 20 0 3 0 172869604 6192455680 1384335 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 1511830 1384335 2144 2102 0 1454339 0
[pid=133734/tid=133739] ppid=133731 vsize=6047320 memory=16512 CPUtime=1511.88 cores=4,6
/proc/133734/task/133739/stat : 133739 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 1539887 0 0 0 150983 205 0 0 20 0 3 0 172871262 6192455680 1384335 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
[pid=133734/tid=133740] ppid=133731 vsize=6047320 memory=5518908 CPUtime=1563.63 cores=4,6
/proc/133734/task/133740/stat : 133740 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 2148957 0 0 0 153185 3178 0 0 20 0 3 0 172871262 6192455680 1384335 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
Current children cumulated CPU time: 3152.72 s
Current children cumulated vsize: 6047320 KiB
Current children cumulated memory: 5537340 KiB

[startup+1662.3 s]
/proc/loadavg: 8.17 8.13 6.84 9/271 133816
/proc/meminfo: memFree=108794996/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=5976176 memory=5470272 CPUtime=3271.7 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) S 133731 133734 133558 0 -1 4194304 4093332 0 0 0 323621 3549 0 0 20 0 3 0 172869604 6119604224 1367568 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 1494044 1367568 2144 2102 0 1436553 0
[pid=133734/tid=133739] ppid=133731 vsize=5976176 memory=16512 CPUtime=1571.16 cores=4,6
/proc/133734/task/133739/stat : 133739 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 1631682 0 0 0 156904 212 0 0 20 0 3 0 172871262 6119604224 1367568 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
[pid=133734/tid=133740] ppid=133731 vsize=5976176 memory=14464 CPUtime=1623.31 cores=4,6
/proc/133734/task/133740/stat : 133740 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 2203379 0 0 0 159061 3270 0 0 20 0 3 0 172871262 6119604224 1367568 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
Current children cumulated CPU time: 3271.7 s
Current children cumulated vsize: 5976176 KiB
Current children cumulated memory: 5470272 KiB

[startup+1722.3 s]
/proc/loadavg: 8.12 8.12 6.92 9/272 133819
/proc/meminfo: memFree=109062180/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=6127944 memory=5559320 CPUtime=3390.7 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) S 133731 133734 133558 0 -1 4194304 4269251 0 0 0 335415 3655 0 0 20 0 3 0 172869604 6275014656 1389830 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 1531986 1389830 2144 2102 0 1474060 0
[pid=133734/tid=133739] ppid=133731 vsize=6127944 memory=16512 CPUtime=1630.46 cores=4,6
/proc/133734/task/133739/stat : 133739 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 1694368 0 0 0 162828 218 0 0 20 0 3 0 172871262 6275014656 1389830 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
[pid=133734/tid=133740] ppid=133731 vsize=6127944 memory=-7167615982222151273 CPUtime=1682.99 cores=4,6
/proc/133734/task/133740/stat : 133740 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 2316567 0 0 0 164929 3370 0 0 20 0 3 0 172871262 6275014656 1389830 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
Current children cumulated CPU time: 3390.7 s
Current children cumulated vsize: 6127944 KiB
Current children cumulated memory: 5559320 KiB

[startup+1782.3 s]
/proc/loadavg: 8.09 8.11 7.00 9/273 133833
/proc/meminfo: memFree=109107484/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=5714028 memory=5216780 CPUtime=3509.69 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) S 133731 133734 133558 0 -1 4194304 4395519 0 0 0 347237 3732 0 0 20 0 3 0 172869604 5851164672 1304195 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 1428507 1304195 2144 2102 0 1371017 0
[pid=133734/tid=133739] ppid=133731 vsize=5714028 memory=5280572 CPUtime=1689.75 cores=4,6
/proc/133734/task/133739/stat : 133739 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 1710010 0 0 0 168755 220 0 0 20 0 3 0 172871262 5851164672 1304195 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
[pid=133734/tid=133740] ppid=133731 vsize=5714028 memory=5443488 CPUtime=1742.67 cores=4,6
/proc/133734/task/133740/stat : 133740 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 2427149 0 0 0 170823 3444 0 0 20 0 3 0 172871262 5851164672 1304195 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
Current children cumulated CPU time: 3509.69 s
Current children cumulated vsize: 5714028 KiB
Current children cumulated memory: 5216780 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1827.8 s]
/proc/loadavg: 6.09 7.59 6.88 5/257 133896
/proc/meminfo: memFree=110597040/131249996 swapFree=33005016/33010684
[pid=133734] ppid=133731 vsize=5698976 memory=5200696 CPUtime=3600.07 cores=4,6
/proc/133734/stat : 133734 (cp_sat_runner) S 133731 133734 133558 0 -1 4194304 4568606 0 0 0 356180 3827 0 0 20 0 3 0 172869604 5835751424 1300174 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
/proc/133734/statm: 1424744 1300174 2144 2102 0 1367254 0
[pid=133734/tid=133739] ppid=133731 vsize=5698976 memory=-7167615982222151273 CPUtime=1734.78 cores=4,6
/proc/133734/task/133739/stat : 133739 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 1717435 0 0 0 173256 222 0 0 20 0 3 0 172871262 5835751424 1300174 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
[pid=133734/tid=133740] ppid=133731 vsize=5698976 memory=4788 CPUtime=1788 cores=4,6
/proc/133734/task/133740/stat : 133740 (cp_sat_runner) R 133731 133734 133558 0 -1 4194368 2592749 0 0 0 175264 3536 0 0 20 0 3 0 172871262 5835751424 1300174 18446744073709551615 4198400 12806697 140729608075776 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146848 14333620 33681408 140729608083733 140729608083937 140729608083937 140729608089543 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 5698976 KiB
Current children cumulated memory: 5200696 KiB

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

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

# cumulated CPU time of all completed processes:  user=3561.81 s, system=38.3567 s

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

Child status: 0

Real time (s): 1827.89
CPU time (s): 3600.17
CPU user time (s): 3561.81
CPU system time (s): 38.3567
CPU usage (%): 196.958
Max. virtual memory (cumulated for all children) (KiB): 6236248
Max. memory (cumulated for all children) (KiB): 5652544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.81
system time used= 38.3567
maximum resident set size= 5652544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4568619
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= 19624
involuntary context switches= 127387


# summary of solver processes directly reported to runsolver:
#   pid: 133734
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3561.81
#   total CPU system time (s): 38.3567

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.90052 second user time and 9.13294 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-15 11:31:40
IDJOB=4529509
IDBENCH=144140
IDSOLVER=3387
FILE ID=nodeC030/4529509-1752571899
RUNJOBID= nodeC030-1752571848-133576
SLURM_JOB_ID= 9683899
Free space on /tmp= 432960 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14.2
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-4529509-1752571899/watcher-4529509-1752571899 -o /tmp/evaluation-result-4529509-1752571899/solver-4529509-1752571899 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752571848-133576 --watchdog 3760  cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:830487320 --competition_mode --input HOME/instance-4529509-1752571899.wbo

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

MD5SUM BENCH= 6dcf243f3bd81c615377274654cfc335
RANDOM SEED=830487320

nodeC030 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		: 3600.327
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	: 7000.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        121636776 kB
MemAvailable:   124768000 kB
Buffers:              16 kB
Cached:          3915460 kB
SwapCached:          216 kB
Active:          5109460 kB
Inactive:        3806868 kB
Active(anon):    4954188 kB
Inactive(anon):    60212 kB
Active(file):     155272 kB
Inactive(file):  3746656 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005016 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28404 kB
Writeback:             4 kB
AnonPages:       5002680 kB
Mapped:           126240 kB
Shmem:             13548 kB
KReclaimable:     136672 kB
Slab:             229560 kB
SReclaimable:     136672 kB
SUnreclaim:        92888 kB
KernelStack:        4352 kB
PageTables:        12664 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    5795040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1679360 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432976 MiB
End job on nodeC030 at 2025-07-15 12:02:08