Trace number 4526644

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
Exact_no_dombreaking 2025-06-16MSAT (TO) 3602.05 3613.47

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/graphs/
normalized-graph07_wcsp.wbo
MD5SUM9031472e82cc640e2367b3bed0c7412c
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4324
Best CPU time to get the best result obtained on this benchmark41.7207
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5160
Total number of constraints512485
Number of soft constraints512344
Number of constraints which are clauses512344
Number of constraints which are cardinality constraints (but not clauses)141
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 463736
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 146536849
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 

368.15/369.62	o 152489
369.15/370.62	o 18294
503.50/505.34	o 18293
504.40/506.21	o 11717
504.70/506.56	o 11707
505.10/506.90	o 11697
505.40/507.24	o 11687
505.69/507.59	o 11677
506.10/507.93	o 11667
506.40/508.27	o 11657
506.79/508.61	o 11557
507.09/508.95	o 11547
507.39/509.28	o 11537
507.79/509.62	o 11536
508.09/509.95	o 11526
508.48/510.31	o 11525
508.78/510.65	o 11425
509.09/510.99	o 11415
509.48/511.32	o 11405
510.19/512.05	o 11395
510.48/512.39	o 11385
510.88/512.73	o 11285
511.20/513.06	o 11284
511.48/513.39	o 11283
511.88/513.72	o 11282
512.19/514.05	o 11272
512.48/514.39	o 11262
512.87/514.71	o 11261
513.18/515.03	o 11260
513.48/515.35	o 11259
513.77/515.68	o 11258
514.19/516.05	o 11257
514.47/516.38	o 11247
515.07/516.96	o 11147
516.06/518.00	o 11069
516.47/518.36	o 11059
516.76/518.69	o 11058
517.18/519.04	o 11048
518.17/520.10	o 11001
522.64/524.53	o 11000
523.15/525.04	o 10999
523.64/525.57	o 10989
524.15/526.10	o 10889
524.74/526.61	o 10879
525.15/527.10	o 10878
525.63/527.60	o 10868
526.14/528.07	o 10867
526.63/528.56	o 10857
527.14/529.03	o 10856
527.63/529.51	o 10846
528.24/530.19	o 10845
528.72/530.66	o 10835
529.24/531.13	o 10825
529.73/531.61	o 10725
530.13/532.08	o 10625
530.62/532.54	o 10525
531.01/532.96	o 10524
531.52/533.40	o 10514
531.91/533.83	o 10504
532.32/534.24	o 10503
532.71/534.65	o 10502
533.12/535.05	o 10501
533.62/535.51	o 10491
534.13/536.01	o 10481
534.51/536.43	o 10381
534.90/536.81	o 10380
536.01/537.92	o 10370
536.60/538.55	o 10360
537.22/539.19	o 10350
537.90/539.83	o 10340
538.49/540.49	o 10330
539.40/541.35	o 10320
540.59/542.50	o 10310
541.79/543.70	o 10300
546.97/548.93	o 10292
547.47/549.41	o 10291
547.97/549.90	o 10281
548.37/550.38	o 10271
548.86/550.87	o 10263
549.66/551.69	o 10253
550.66/552.64	o 10252
555.94/557.94	o 10243
556.65/558.63	o 10242
557.64/559.62	o 10241
558.34/560.32	o 10231
559.73/561.80	o 10221
576.01/578.09	o 10220
577.48/579.51	o 10219
578.88/580.90	o 10218
580.18/582.28	o 10217
581.58/583.65	o 10216
582.99/585.02	o 10215
584.47/586.58	o 10214
586.37/588.49	o 10213
588.26/590.38	o 10212
591.26/593.33	o 10211
594.45/596.59	o 10201
599.95/602.04	o 10200
602.53/604.64	o 10199
604.83/606.97	o 10198
607.12/609.27	o 10197
612.21/614.35	o 10097
618.29/620.40	o 10093
620.08/622.20	o 10092
621.78/623.98	o 10091
623.58/625.77	o 10090
625.37/627.55	o 10089
627.37/629.52	o 10088
630.27/632.46	o 10081
632.16/634.32	o 10080
634.15/636.34	o 10079
641.54/643.79	o 10070
648.12/650.33	o 10064
650.02/652.23	o 10063
651.92/654.13	o 10062
653.82/656.02	o 10061
659.00/661.23	o 10060
669.97/672.29	o 10059
673.06/675.37	o 10049
676.87/679.16	o 10048
683.24/685.52	o 10007
686.52/688.89	o 10006
690.62/692.90	o 10005
702.79/705.18	o 10004
715.06/717.43	o 9994
719.04/721.47	o 9984
741.50/743.99	o 9983
751.17/753.65	o 9982
761.94/764.42	o 9981
826.31/829.09	o 9975
832.97/835.78	o 9974
839.36/842.16	o 9973
845.92/848.76	o 9972
852.80/855.69	o 9971
876.30/879.23	o 9963
886.55/889.55	o 9962
922.40/925.52	o 9955
929.38/932.54	o 9954
938.63/941.81	o 9953
981.66/985.09	o 9952
1004.16/1007.64	o 9852
1044.41/1048.04	o 9774
1089.12/1092.97	o 9773
1104.17/1108.07	o 9772
1123.47/1127.40	o 9673
1134.44/1138.48	o 9672
1172.52/1176.60	o 9667
1180.02/1184.11	o 9666
1187.77/1191.90	o 9665
1195.35/1199.51	o 9664
1206.72/1211.01	o 9663
1214.40/1218.64	o 9662
1236.53/1240.81	o 9660
1242.31/1246.68	o 9659
1248.10/1252.48	o 9658
1253.88/1258.27	o 9657
1259.68/1264.06	o 9656
1265.45/1269.82	o 9655
1271.14/1275.59	o 9654
1276.91/1281.35	o 9653
1295.05/1299.53	o 9652
1317.39/1321.95	o 9644
1328.36/1332.96	o 9643
1402.35/1407.19	o 9639
1409.71/1414.58	o 9638
1416.99/1421.85	o 9637
1424.18/1429.11	o 9636
1431.94/1436.82	o 9635
1442.22/1447.19	o 9634
1452.78/1457.73	o 9633
1471.92/1476.94	o 9575
1482.59/1487.61	o 9574
1491.86/1496.94	o 9573
1510.21/1515.38	o 9565
1525.98/1531.13	o 9564
1535.54/1540.79	o 9563
1593.77/1599.19	o 9497
1602.94/1608.33	o 9496
1618.19/1623.61	o 9486
1639.33/1644.82	o 9485
1667.95/1673.51	o 9475
1713.62/1719.34	o 9474
1784.70/1790.61	o 9467
1794.57/1800.55	o 9466
1804.64/1810.67	o 9465
1814.91/1821.01	o 9464
1869.24/1875.49	o 9454
1917.82/1924.14	o 9453
1935.85/1942.27	o 9353
1959.27/1965.75	o 9352
1968.75/1975.28	o 9351
1978.12/1984.64	o 9350
1998.76/2005.30	o 9314
2008.63/2015.21	o 9305
2018.69/2025.32	o 9304
2042.52/2049.21	o 9303
2056.08/2062.89	o 9294
2064.45/2071.23	o 9293
2086.20/2093.08	o 9292
2099.74/2106.60	o 9284
2111.22/2118.15	o 9283
2121.57/2128.58	o 9282
2144.40/2151.47	o 9277
2152.67/2159.71	o 9276
2160.75/2167.87	o 9275
2168.93/2176.01	o 9274
2189.87/2197.02	o 9273
2201.61/2208.82	o 9272
2236.20/2243.51	o 9265
2246.57/2253.90	o 9264
2258.22/2265.67	o 9263
2269.19/2276.63	o 9262
2332.58/2340.29	o 9261
2357.00/2364.76	o 9253
2411.02/2418.92	o 9252
2503.54/2511.77	o 9251
2516.60/2524.83	o 9250
2574.22/2582.65	o 9242
3601.18/3612.61	c Program interrupted by user.
3601.18/3612.61	s SATISFIABLE
3601.18/3612.61	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 -x2302 -x2303 -x2304 x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 x3276 -x3277 -x3278 x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 x3393 -x3394 -x3395 -x3396 x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 x3746 x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 x4262 -x4263 -x4264 x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 x4598 -x4599 x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 x4854 -x4855 -x4856 -x4857 -x4858 x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 x4943 -x4944 -x4945 -x4946 x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160

Verifier Data 

OK	4884

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 (62955 MiB free)
  memory of node 1: 64465 MiB (63393 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526644-1751633178/watcher-4526644-1751633178 -o /tmp/evaluation-result-4526644-1751633178/solver-4526644-1751633178 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751624136-90938 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1028283555 --ls=360 --inp-dombreaklim=0 HOME/instance-4526644-1751633178.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100104 s]*
/proc/loadavg: 4.07 4.14 4.16 5/246 92416
/proc/meminfo: memFree=129365248/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=54808 memory=29240 CPUtime=0.11 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 7962 0 0 0 9 2 0 0 20 0 1 0 78997189 56123392 7278 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 13702 7310 1024 1200 0 12182 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 54808 KiB
Current children cumulated memory: 29240 KiB

[startup+0.213158 s]*
/proc/loadavg: 4.07 4.14 4.16 4/247 92420
/proc/meminfo: memFree=129361820/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=75716 memory=49216 CPUtime=0.21 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 13715 0 0 0 18 3 0 0 20 0 1 0 78997189 77533184 12304 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 18929 12304 1024 1200 0 17409 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 75716 KiB
Current children cumulated memory: 49216 KiB

[startup+0.3131 s]*
/proc/loadavg: 4.07 4.14 4.16 5/248 92422
/proc/meminfo: memFree=129309592/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=101816 memory=76568 CPUtime=0.31 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 20092 0 0 0 26 5 0 0 20 0 1 0 78997189 104259584 19142 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 25454 19142 1024 1200 0 23934 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 101816 KiB
Current children cumulated memory: 76568 KiB

[startup+0.700331 s]
/proc/loadavg: 4.07 4.14 4.16 5/247 92423
/proc/meminfo: memFree=129263096/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=193096 memory=159112 CPUtime=0.69 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 34575 0 0 0 59 10 0 0 20 0 1 0 78997189 197730304 39746 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 48274 39778 1024 1200 0 46754 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 193096 KiB
Current children cumulated memory: 159112 KiB

[startup+1.50035 s]
/proc/loadavg: 4.07 4.14 4.16 5/251 92432
/proc/meminfo: memFree=129060100/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=395692 memory=350040 CPUtime=1.49 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 55231 0 0 0 131 18 0 0 20 0 1 0 78997189 405188608 87510 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 98923 87510 1024 1200 0 97403 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 395692 KiB
Current children cumulated memory: 350040 KiB

[startup+3.11294 s]
/proc/loadavg: 4.14 4.16 4.17 5/251 92432
/proc/meminfo: memFree=127861896/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=882748 memory=834856 CPUtime=3.09 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 100893 0 0 0 274 35 0 0 20 0 1 0 78997189 903933952 208714 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 220687 208714 1024 1200 0 219167 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 882748 KiB
Current children cumulated memory: 834856 KiB

[startup+6.30036 s]
/proc/loadavg: 4.14 4.16 4.17 5/251 92432
/proc/meminfo: memFree=126504872/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=1241148 memory=1206756 CPUtime=6.26 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 165342 0 0 0 578 48 0 0 20 0 1 0 78997189 1270935552 301689 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 310287 301689 1024 1200 0 308767 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1241148 KiB
Current children cumulated memory: 1206756 KiB

[startup+12.7004 s]
/proc/loadavg: 4.12 4.15 4.17 5/251 92432
/proc/meminfo: memFree=125840540/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=1241148 memory=1206756 CPUtime=12.65 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 165456 0 0 0 1216 49 0 0 20 0 1 0 78997189 1270935552 301689 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 310287 301689 1024 1200 0 308767 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1241148 KiB
Current children cumulated memory: 1206756 KiB

[startup+25.5004 s]
/proc/loadavg: 4.10 4.14 4.16 5/251 92432
/proc/meminfo: memFree=125841548/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=1241148 memory=1206756 CPUtime=25.39 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 165569 0 0 0 2490 49 0 0 20 0 1 0 78997189 1270935552 301689 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 310287 301689 1024 1200 0 308767 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1241148 KiB
Current children cumulated memory: 1206756 KiB

[startup+51.1134 s]
/proc/loadavg: 4.13 4.15 4.16 5/251 92433
/proc/meminfo: memFree=125842316/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=1241148 memory=1206756 CPUtime=50.9 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 165737 0 0 0 5041 49 0 0 20 0 1 0 78997189 1270935552 301689 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 310287 301689 1024 1200 0 308767 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1241148 KiB
Current children cumulated memory: 1206756 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/251 92434
/proc/meminfo: memFree=125859420/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=1241148 memory=1206756 CPUtime=101.9 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 165961 0 0 0 10140 50 0 0 20 0 1 0 78997189 1270935552 301689 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 310287 301689 1024 1200 0 308767 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 1241148 KiB
Current children cumulated memory: 1206756 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/251 92436
/proc/meminfo: memFree=125864328/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=1241148 memory=1206756 CPUtime=161.66 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 166140 0 0 0 16116 50 0 0 20 0 1 0 78997189 1270935552 301689 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 310287 301689 1024 1200 0 308767 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 1241148 KiB
Current children cumulated memory: 1206756 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.12 4.15 5/250 92438
/proc/meminfo: memFree=125865720/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=1241148 memory=1206756 CPUtime=221.42 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 166255 0 0 0 22092 50 0 0 20 0 1 0 78997189 1270935552 301689 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 310287 301689 1024 1200 0 308767 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 1241148 KiB
Current children cumulated memory: 1206756 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/249 92443
/proc/meminfo: memFree=125858388/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=1241148 memory=1206756 CPUtime=281.18 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 166310 0 0 0 28068 50 0 0 20 0 1 0 78997189 1270935552 301689 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 310287 301689 1024 1200 0 308767 0
Current children cumulated CPU time: 281.18 s
Current children cumulated vsize: 1241148 KiB
Current children cumulated memory: 1206756 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/249 92445
/proc/meminfo: memFree=125851016/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=1241148 memory=1206756 CPUtime=340.95 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 166421 0 0 0 34045 50 0 0 20 0 1 0 78997189 1270935552 301689 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 310287 301689 1024 1200 0 308767 0
Current children cumulated CPU time: 340.95 s
Current children cumulated vsize: 1241148 KiB
Current children cumulated memory: 1206756 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/249 92447
/proc/meminfo: memFree=122617876/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=3340464 memory=3142104 CPUtime=400.76 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 435181 0 0 0 39950 126 0 0 20 0 1 0 78997189 3420635136 785526 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 835116 785526 1248 1200 0 833596 0
Current children cumulated CPU time: 400.76 s
Current children cumulated vsize: 3340464 KiB
Current children cumulated memory: 3142104 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/249 92449
/proc/meminfo: memFree=120785240/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=5230024 memory=4506324 CPUtime=460.61 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 654951 0 0 0 45868 193 0 0 20 0 1 0 78997189 5355544576 1126581 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 1307506 1126581 1248 1200 0 1305986 0

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

/proc/92406/statm: 6789572 5593758 1280 1200 0 6788052 0
Current children cumulated CPU time: 2972.72 s
Current children cumulated vsize: 27158288 KiB
Current children cumulated memory: 22375032 KiB

[startup+3042.3 s]
/proc/loadavg: 2.10 2.13 2.34 3/239 92693
/proc/meminfo: memFree=85420736/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=27158288 memory=22375032 CPUtime=3032.54 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 3939677 0 0 0 302067 1187 0 0 20 0 1 0 78997189 27810086912 5593758 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 6789572 5593758 1280 1200 0 6788052 0
Current children cumulated CPU time: 3032.54 s
Current children cumulated vsize: 27158288 KiB
Current children cumulated memory: 22375032 KiB

[startup+3102.3 s]
/proc/loadavg: 2.10 2.12 2.32 3/239 92695
/proc/meminfo: memFree=85421508/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=27158288 memory=22375032 CPUtime=3092.37 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 3945956 0 0 0 308046 1191 0 0 20 0 1 0 78997189 27810086912 5593758 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 6789572 5593758 1280 1200 0 6788052 0
Current children cumulated CPU time: 3092.37 s
Current children cumulated vsize: 27158288 KiB
Current children cumulated memory: 22375032 KiB

[startup+3162.3 s]
/proc/loadavg: 2.08 2.11 2.31 3/239 92697
/proc/meminfo: memFree=85422264/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=27158288 memory=22375032 CPUtime=3152.19 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 3953699 0 0 0 314021 1198 0 0 20 0 1 0 78997189 27810086912 5593758 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 6789572 5593758 1280 1200 0 6788052 0
Current children cumulated CPU time: 3152.19 s
Current children cumulated vsize: 27158288 KiB
Current children cumulated memory: 22375032 KiB

[startup+3222.3 s]
/proc/loadavg: 2.15 2.12 2.29 3/239 92699
/proc/meminfo: memFree=85400340/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=27158288 memory=22398840 CPUtime=3212.02 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 3966479 0 0 0 319995 1207 0 0 20 0 1 0 78997189 27810086912 5599710 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 6789572 5599710 1280 1200 0 6788052 0
Current children cumulated CPU time: 3212.02 s
Current children cumulated vsize: 27158288 KiB
Current children cumulated memory: 22398840 KiB

[startup+3282.3 s]
/proc/loadavg: 2.05 2.10 2.27 3/237 92701
/proc/meminfo: memFree=85015316/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=27158288 memory=22420472 CPUtime=3271.84 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 3978325 0 0 0 325972 1212 0 0 20 0 1 0 78997189 27810086912 5605118 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 6789572 5605118 1280 1200 0 6788052 0
Current children cumulated CPU time: 3271.84 s
Current children cumulated vsize: 27158288 KiB
Current children cumulated memory: 22420472 KiB

[startup+3342.3 s]
/proc/loadavg: 2.09 2.11 2.26 3/238 92706
/proc/meminfo: memFree=83395240/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=27158288 memory=22448376 CPUtime=3331.67 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 3992082 0 0 0 331946 1221 0 0 20 0 1 0 78997189 27810086912 5612094 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 6789572 5612094 1280 1200 0 6788052 0
Current children cumulated CPU time: 3331.67 s
Current children cumulated vsize: 27158288 KiB
Current children cumulated memory: 22448376 KiB

[startup+3402.3 s]
/proc/loadavg: 2.13 2.12 2.26 3/238 92708
/proc/meminfo: memFree=83255144/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=27158288 memory=22485496 CPUtime=3391.49 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 4008586 0 0 0 337923 1226 0 0 20 0 1 0 78997189 27810086912 5621374 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 6789572 5621374 1280 1200 0 6788052 0
Current children cumulated CPU time: 3391.49 s
Current children cumulated vsize: 27158288 KiB
Current children cumulated memory: 22485496 KiB

[startup+3462.3 s]
/proc/loadavg: 2.10 2.11 2.25 3/238 92710
/proc/meminfo: memFree=83087060/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=27158288 memory=22522744 CPUtime=3451.32 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 4024660 0 0 0 343897 1235 0 0 20 0 1 0 78997189 27810086912 5630686 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 6789572 5630686 1280 1200 0 6788052 0
Current children cumulated CPU time: 3451.32 s
Current children cumulated vsize: 27158288 KiB
Current children cumulated memory: 22522744 KiB

[startup+3522.3 s]
/proc/loadavg: 2.11 2.10 2.23 3/238 92712
/proc/meminfo: memFree=82724596/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=27158288 memory=22564216 CPUtime=3511.14 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 4041909 0 0 0 349874 1240 0 0 20 0 1 0 78997189 27810086912 5641054 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 6789572 5641054 1280 1200 0 6788052 0
Current children cumulated CPU time: 3511.14 s
Current children cumulated vsize: 27158288 KiB
Current children cumulated memory: 22564216 KiB

[startup+3582.3 s]
/proc/loadavg: 2.10 2.10 2.22 3/238 92718
/proc/meminfo: memFree=79788060/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=27158288 memory=22621688 CPUtime=3570.97 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 4064440 0 0 0 355846 1251 0 0 20 0 1 0 78997189 27810086912 5655422 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 6789572 5655422 1280 1200 0 6788052 0
Current children cumulated CPU time: 3570.97 s
Current children cumulated vsize: 27158288 KiB
Current children cumulated memory: 22621688 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.5 s]
/proc/loadavg: 2.14 2.10 2.22 3/238 92720
/proc/meminfo: memFree=79584932/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=27158288 memory=22645752 CPUtime=3600.08 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 4073072 0 0 0 358753 1255 0 0 20 0 1 0 78997189 27810086912 5661438 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 6789572 5661438 1280 1200 0 6788052 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 27158288 KiB
Current children cumulated memory: 22645752 KiB

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

[startup+3613.47 s]
# the end of solver process 92406 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3589.06 s, system=12.9952 s

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

[startup+3612.8 s]
/proc/loadavg: 2.13 2.10 2.22 3/238 92720
/proc/meminfo: memFree=88168272/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=27069704 memory=22557416 CPUtime=3601.38 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 4073322 0 0 0 358882 1256 0 0 20 0 1 0 78997189 27719376896 5639354 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 6767426 5639354 1280 1200 0 6765906 0
Current children cumulated CPU time: 3601.38 s
Current children cumulated vsize: 27069704 KiB
Current children cumulated memory: 22557416 KiB

[startup+3613.2 s]
/proc/loadavg: 2.13 2.10 2.22 4/237 92728
/proc/meminfo: memFree=115612472/131382116 swapFree=33005528/33010684
[pid=92406] ppid=92403 vsize=11422512 memory=11112148 CPUtime=3601.78 cores=0,2
/proc/92406/stat : 92406 (Exact) R 92403 92406 90928 0 -1 4194304 4076056 0 0 0 358903 1275 0 0 20 0 1 0 78997189 11696652288 2778037 18446744073709551615 4198400 9112445 140725847369408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 25628672 140725847378212 140725847378411 140725847378411 140725847384015 0
/proc/92406/statm: 2855628 2778037 1280 1200 0 2854108 0
Current children cumulated CPU time: 3601.78 s
Current children cumulated vsize: 11422512 KiB
Current children cumulated memory: 11112148 KiB

[startup+3613.41 s]
/proc/loadavg: 2.13 2.10 2.22 2/234 92728
/proc/meminfo: memFree=125754976/131382116 swapFree=33005528/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 3613.47
CPU time (s): 3602.05
CPU user time (s): 3589.06
CPU system time (s): 12.9952
CPU usage (%): 99.6841
Max. virtual memory (cumulated for all children) (KiB): 27184724
Max. memory (cumulated for all children) (KiB): 22645752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.06
system time used= 12.9952
maximum resident set size= 22645752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4076085
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= 89
involuntary context switches= 8416


# summary of solver processes directly reported to runsolver:
#   pid: 92406
#   total CPU time (s): 3602.05
#   total CPU user time (s): 3589.06
#   total CPU system time (s): 12.9952

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2181 second user time and 33.9406 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-07-04 14:46:18
IDJOB=4526644
IDBENCH=144135
IDSOLVER=3376
FILE ID=nodeC010/4526644-1751633178
RUNJOBID= nodeC010-1751624136-90938
SLURM_JOB_ID= 9598946
Free space on /tmp= 429796 MiB

SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph07_wcsp.wbo
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526644-1751633178/watcher-4526644-1751633178 -o /tmp/evaluation-result-4526644-1751633178/solver-4526644-1751633178 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751624136-90938 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1028283555 --ls=360 --inp-dombreaklim=0 HOME/instance-4526644-1751633178.wbo

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

MD5SUM BENCH= 9031472e82cc640e2367b3bed0c7412c
RANDOM SEED=1028283555

nodeC010 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		: 1197.149
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.36
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		: 3660.787
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.36
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		: 1197.657
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.36
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		: 1197.561
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.36
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		: 3660.854
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.36
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		: 2394.388
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.36
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		: 1197.511
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.36
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.154
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        129387264 kB
MemAvailable:   129430228 kB
Buffers:             228 kB
Cached:           838840 kB
SwapCached:         4296 kB
Active:           758764 kB
Inactive:         600528 kB
Active(anon):     478928 kB
Inactive(anon):    54928 kB
Active(file):     279836 kB
Inactive(file):   545600 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005528 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             23428 kB
Writeback:             0 kB
AnonPages:        519008 kB
Mapped:           110320 kB
Shmem:             13628 kB
KReclaimable:     114308 kB
Slab:             199688 kB
SReclaimable:     114308 kB
SUnreclaim:        85380 kB
KernelStack:        4048 kB
PageTables:         4088 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     886640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    434176 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 429784 MiB
End job on nodeC010 at 2025-07-04 15:46:32