Trace number 4406278

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 NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-24SAT (TO)5 2520.14 2511.04

General information on the benchmark

NameRamsey/Ramsey-m1-s1/
Ramsey-45.xml
MD5SUM1426235d943c6b8ba94de7087c35e664
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark2520
Satisfiable
(Un)Satisfiability was proved
Number of variables2025
Number of constraints14190
Number of domains1
Minimum domain size990
Maximum domain size990
Distribution of domain sizes[{"size":990,"count":990}]
Minimum variable degree0
Maximum variable degree44
Distribution of variable degrees[{"degree":0,"count":1035},{"degree":44,"count":990}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":14190}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"nValues","count":14190}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406278-1569409417.xml"  -tl '2520s' -p 1
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4406278-1569409417.xml, -tl, 2520s, -p, 1]
0.35/0.22	c simple solver
0.35/0.28	c parse instance...
3.65/1.34	c solve instance...
17.68/12.68	o 989 
21.58/15.92	o 988 
24.47/18.40	o 987 
27.01/20.81	o 986 
28.98/22.70	o 985 
31.36/25.09	o 984 
32.93/26.57	o 983 
34.48/28.05	o 982 
36.94/30.44	o 981 
39.34/32.81	o 980 
41.65/35.18	o 979 
43.24/36.75	o 978 
45.65/39.14	o 977 
48.04/41.55	o 976 
50.49/43.98	o 975 
52.29/45.72	o 974 
54.60/48.09	o 973 
56.29/49.76	o 972 
57.99/51.41	o 971 
60.29/53.78	o 970 
62.09/55.53	o 969 
63.70/57.17	o 968 
65.30/58.77	o 967 
66.90/60.33	o 966 
68.40/61.85	o 965 
70.81/64.24	o 964 
73.15/66.59	o 963 
75.55/68.98	o 962 
77.25/70.62	o 961 
79.56/72.98	o 960 
82.03/75.33	o 959 
84.35/77.68	o 958 
86.05/79.39	o 957 
88.46/81.74	o 956 
90.01/83.30	o 955 
91.61/84.84	o 954 
93.92/87.19	o 953 
96.31/89.53	o 952 
98.68/91.87	o 951 
100.28/93.41	o 950 
102.59/95.75	o 949 
104.90/98.10	o 948 
107.29/100.44	o 947 
108.90/102.08	o 946 
111.29/104.43	o 945 
112.91/106.06	o 944 
114.40/107.59	o 943 
116.80/109.94	o 942 
118.40/111.55	o 941 
120.01/113.14	o 940 
121.50/114.62	o 939 
122.91/116.10	o 938 
124.42/117.57	o 937 
126.82/119.91	o 936 
128.52/121.61	o 935 
130.23/123.30	o 934 
131.87/124.98	o 933 
133.57/126.63	o 932 
135.17/128.22	o 931 
136.77/129.81	o 930 
138.27/131.39	o 929 
139.87/132.97	o 928 
141.48/134.55	o 927 
143.09/136.14	o 926 
145.49/138.50	o 925 
147.79/140.82	o 924 
150.10/143.13	o 923 
151.59/144.64	o 922 
154.14/147.10	o 921 
156.63/149.50	o 920 
159.03/151.90	o 919 
160.63/153.55	o 918 
163.03/155.95	o 917 
164.63/157.51	o 916 
166.14/159.06	o 915 
168.53/161.47	o 914 
171.03/163.90	o 913 
173.44/166.33	o 912 
175.14/168.05	o 911 
177.54/170.46	o 910 
179.94/172.86	o 909 
182.34/175.25	o 908 
183.94/176.83	o 907 
186.35/179.24	o 906 
187.95/180.89	o 905 
189.65/182.52	o 904 
192.06/184.93	o 903 
193.96/186.81	o 902 
195.76/188.67	o 901 
197.46/190.38	o 900 
199.06/191.97	o 899 
200.56/193.49	o 898 
203.07/195.91	o 897 
205.47/198.31	o 896 
207.77/200.69	o 895 
209.67/202.53	o 894 
212.07/204.92	o 893 
214.47/207.30	o 892 
216.87/209.71	o 891 
218.87/211.70	o 890 
221.18/214.09	o 889 
223.07/215.92	o 888 
224.87/217.72	o 887 
227.18/220.10	o 886 
229.59/222.49	o 885 
231.99/224.86	o 884 
233.79/226.65	o 883 
236.20/229.04	o 882 
238.60/231.43	o 881 
241.00/233.82	o 880 
242.79/235.60	o 879 
245.20/238.01	o 878 
247.00/239.87	o 877 
248.80/241.69	o 876 
251.31/244.11	o 875 
253.10/245.98	o 874 
254.91/247.77	o 873 
256.71/249.55	o 872 
258.51/251.32	o 871 
260.91/253.71	o 870 
262.61/255.50	o 869 
264.41/257.27	o 868 
266.22/259.04	o 867 
267.91/260.79	o 866 
269.72/262.55	o 865 
271.52/264.31	o 864 
273.23/266.05	o 863 
275.03/267.80	o 862 
276.73/269.54	o 861 
278.43/271.29	o 860 
280.93/273.70	o 859 
282.73/275.50	o 858 
284.43/277.27	o 857 
286.24/279.03	o 856 
287.93/280.78	o 855 
289.73/282.54	o 854 
291.43/284.28	o 853 
293.24/286.03	o 852 
294.93/287.78	o 851 
296.73/289.52	o 850 
298.43/291.28	o 849 
300.24/293.03	o 848 
301.93/294.77	o 847 
303.73/296.52	o 846 
305.43/298.27	o 845 
307.25/300.02	o 844 
308.94/301.76	o 843 
310.74/303.51	o 842 
312.44/305.25	o 841 
314.14/307.00	o 840 
315.94/308.74	o 839 
318.44/311.25	o 838 
320.84/313.65	o 837 
323.25/316.02	o 836 
325.04/317.86	o 835 
327.44/320.24	o 834 
329.85/322.60	o 833 
332.15/324.96	o 832 
334.05/326.82	o 831 
336.36/329.18	o 830 
338.36/331.12	o 829 
340.20/332.92	o 828 
342.50/335.29	o 827 
344.90/337.65	o 826 
347.31/340.02	o 825 
349.00/341.76	o 824 
351.41/344.12	o 823 
353.71/346.48	o 822 
356.11/348.83	o 821 
358.01/350.76	o 820 
360.42/353.12	o 819 
362.32/355.03	o 818 
364.12/356.86	o 817 
366.57/359.22	o 816 
368.38/361.03	o 815 
370.17/362.80	o 814 
371.87/364.58	o 813 
373.67/366.36	o 812 
376.07/368.71	o 811 
378.38/371.04	o 810 
380.67/373.37	o 809 
382.48/375.14	o 808 
384.78/377.47	o 807 
387.08/379.80	o 806 
389.49/382.12	o 805 
391.39/384.01	o 804 
393.68/386.34	o 803 
395.58/388.25	o 802 
397.49/390.15	o 801 
399.79/392.49	o 800 
402.19/394.81	o 799 
404.50/397.14	o 798 
406.29/398.96	o 797 
408.59/401.30	o 796 
410.99/403.62	o 795 
413.29/405.95	o 794 
415.19/407.83	o 793 
417.50/410.17	o 792 
419.41/412.07	o 791 
421.30/413.95	o 790 
423.70/416.31	o 789 
425.51/418.17	o 788 
427.41/420.02	o 787 
429.20/421.85	o 786 
431.00/423.62	o 785 
433.31/425.97	o 784 
435.11/427.74	o 783 
436.91/429.51	o 782 
438.61/431.27	o 781 
440.42/433.02	o 780 
442.11/434.77	o 779 
443.91/436.52	o 778 
445.61/438.27	o 777 
447.42/440.01	o 776 
449.11/441.75	o 775 
451.52/444.11	o 774 
453.81/446.42	o 773 
456.11/448.75	o 772 
458.01/450.65	o 771 
460.32/452.97	o 770 
462.62/455.28	o 769 
465.02/457.60	o 768 
466.72/459.37	o 767 
469.02/461.69	o 766 
470.93/463.58	o 765 
472.73/465.32	o 764 
475.03/467.64	o 763 
477.33/469.96	o 762 
479.63/472.29	o 761 
481.54/474.18	o 760 
483.94/476.51	o 759 
486.24/478.85	o 758 
488.55/481.16	o 757 
490.34/482.91	o 756 
492.64/485.23	o 755 
494.44/487.05	o 754 
496.24/488.81	o 753 
498.55/491.13	o 752 
500.24/492.89	o 751 
502.04/494.62	o 750 
503.74/496.35	o 749 
505.45/498.06	o 748 
507.74/500.38	o 747 
510.04/502.69	o 746 
512.34/504.99	o 745 
514.14/506.75	o 744 
516.45/509.06	o 743 
518.75/511.38	o 742 
521.06/513.69	o 741 
522.86/515.45	o 740 
525.16/517.75	o 739 
526.86/519.47	o 738 
528.57/521.17	o 737 
530.86/523.48	o 736 
533.16/525.79	o 735 
535.47/528.09	o 734 
537.17/529.78	o 733 
539.48/532.10	o 732 
541.87/534.42	o 731 
544.17/536.74	o 730 
545.87/538.46	o 729 
548.17/540.77	o 728 
549.87/542.46	o 727 
551.58/544.14	o 726 
553.87/546.45	o 725 
555.58/548.15	o 724 
557.28/549.83	o 723 
558.98/551.51	o 722 
560.59/553.18	o 721 
562.28/554.85	o 720 
564.59/557.17	o 719 
566.28/558.88	o 718 
567.98/560.56	o 717 
569.69/562.23	o 716 
571.38/563.90	o 715 
572.99/565.58	o 714 
574.69/567.26	o 713 
576.39/568.93	o 712 
578.09/570.60	o 711 
579.69/572.28	o 710 
581.39/573.95	o 709 
583.70/576.28	o 708 
585.50/578.05	o 707 
587.20/579.77	o 706 
588.90/581.46	o 705 
590.61/583.15	o 704 
592.30/584.82	o 703 
594.00/586.50	o 702 
595.61/588.17	o 701 
597.30/589.85	o 700 
599.00/591.52	o 699 
600.61/593.19	o 698 
602.30/594.87	o 697 
604.00/596.54	o 696 
605.70/598.22	o 695 
607.30/599.89	o 694 
609.00/601.56	o 693 
610.70/603.24	o 692 
612.40/604.91	o 691 
614.00/606.58	o 690 
615.70/608.26	o 689 
617.40/609.93	o 688 
619.71/612.29	o 687 
621.52/614.02	o 686 
623.21/615.70	o 685 
624.81/617.37	o 684 
626.52/619.03	o 683 
628.11/620.68	o 682 
629.81/622.34	o 681 
631.41/624.00	o 680 
633.11/625.65	o 679 
634.81/627.31	o 678 
636.41/628.97	o 677 
638.11/630.62	o 676 
639.71/632.27	o 675 
641.41/633.93	o 674 
643.01/635.58	o 673 
644.71/637.24	o 672 
646.32/638.89	o 671 
648.02/640.54	o 670 
649.63/642.19	o 669 
651.32/643.84	o 668 
652.92/645.49	o 667 
654.63/647.14	o 666 
656.22/648.79	o 665 
657.92/650.44	o 664 
659.54/652.09	o 663 
661.23/653.74	o 662 
662.83/655.39	o 661 
664.54/657.04	o 660 
666.13/658.69	o 659 
667.83/660.34	o 658 
669.43/661.99	o 657 
671.13/663.64	o 656 
672.73/665.29	o 655 
674.43/666.94	o 654 
676.03/668.58	o 653 
677.73/670.23	o 652 
679.34/671.88	o 651 
681.04/673.53	o 650 
682.65/675.17	o 649 
684.34/676.82	o 648 
685.95/678.47	o 647 
688.44/680.92	o 646 
690.75/683.21	o 645 
692.95/685.49	o 644 
694.66/687.17	o 643 
696.95/689.44	o 642 
699.25/691.71	o 641 
701.45/693.98	o 640 
703.15/695.64	o 639 
705.45/697.91	o 638 
707.05/699.59	o 637 
708.75/701.26	o 636 
711.06/703.53	o 635 
713.36/705.80	o 634 
715.57/708.07	o 633 
717.37/709.80	o 632 
719.57/712.07	o 631 
721.87/714.33	o 630 
724.07/716.59	o 629 
725.77/718.21	o 628 
727.97/720.47	o 627 
729.68/722.16	o 626 
731.37/723.80	o 625 
733.58/726.07	o 624 
735.28/727.75	o 623 
736.98/729.42	o 622 
738.58/731.08	o 621 
740.28/732.73	o 620 
741.88/734.38	o 619 
744.23/736.67	o 618 
746.53/738.92	o 617 
748.74/741.17	o 616 
750.43/742.88	o 615 
752.74/745.14	o 614 
755.03/747.40	o 613 
757.23/749.67	o 612 
758.93/751.39	o 611 
761.23/753.64	o 610 
762.94/755.34	o 609 
764.65/757.04	o 608 
766.85/759.29	o 607 
769.15/761.54	o 606 
771.35/763.78	o 605 
773.05/765.46	o 604 
775.35/767.71	o 603 
777.55/769.95	o 602 
779.76/772.19	o 601 
781.45/773.89	o 600 
783.76/776.14	o 599 
785.46/777.84	o 598 
787.16/779.53	o 597 
789.46/781.81	o 596 
791.16/783.51	o 595 
792.77/785.17	o 594 
794.46/786.81	o 593 
796.06/788.45	o 592 
798.36/790.71	o 591 
800.06/792.42	o 590 
801.67/794.09	o 589 
803.37/795.73	o 588 
804.97/797.36	o 587 
806.57/798.99	o 586 
808.27/800.61	o 585 
809.87/802.23	o 584 
811.47/803.85	o 583 
813.07/805.47	o 582 
814.68/807.09	o 581 
816.97/809.37	o 580 
819.27/811.61	o 579 
821.48/813.84	o 578 
823.18/815.54	o 577 
825.38/817.79	o 576 
827.69/820.04	o 575 
829.88/822.28	o 574 
831.58/823.94	o 573 
833.79/826.17	o 572 
835.48/827.81	o 571 
837.09/829.45	o 570 
839.41/831.70	o 569 
841.61/833.94	o 568 
843.82/836.19	o 567 
845.61/837.92	o 566 
847.91/840.20	o 565 
850.11/842.47	o 564 
852.41/844.70	o 563 
854.11/846.43	o 562 
856.31/848.66	o 561 
858.11/850.40	o 560 
859.72/852.09	o 559 
862.01/854.34	o 558 
863.72/856.08	o 557 
865.52/857.81	o 556 
867.12/859.49	o 555 
868.83/861.16	o 554 
871.12/863.41	o 553 
873.33/865.66	o 552 
875.63/867.93	o 551 
877.23/869.58	o 550 
879.53/871.82	o 549 
881.74/874.05	o 548 
883.94/876.27	o 547 
885.54/877.87	o 546 
887.77/880.10	o 545 
889.56/881.82	o 544 
891.26/883.50	o 543 
893.46/885.78	o 542 
895.77/888.03	o 541 
897.97/890.26	o 540 
899.67/891.95	o 539 
901.88/894.20	o 538 
904.17/896.45	o 537 
906.37/898.68	o 536 
907.97/900.28	o 535 
910.27/902.50	o 534 
911.88/904.11	o 533 
913.37/905.66	o 532 
915.57/907.89	o 531 
917.27/909.52	o 530 
918.88/911.13	o 529 
920.47/912.74	o 528 
922.07/914.33	o 527 
923.67/915.91	o 526 
925.88/918.15	o 525 
927.58/919.81	o 524 
929.18/921.45	o 523 
930.79/923.06	o 522 
932.38/924.65	o 521 
933.98/926.22	o 520 
935.48/927.77	o 519 
937.08/929.33	o 518 
938.58/930.86	o 517 
940.18/932.41	o 516 
941.68/933.95	o 515 
943.98/936.20	o 514 
945.58/937.84	o 513 
947.18/939.48	o 512 
948.90/941.12	o 511 
950.49/942.76	o 510 
952.19/944.40	o 509 
953.80/946.05	o 508 
955.39/947.68	o 507 
957.09/949.32	o 506 
958.70/950.95	o 505 
960.29/952.58	o 504 
961.99/954.22	o 503 
963.59/955.85	o 502 
965.19/957.48	o 501 
966.90/959.11	o 500 
968.49/960.74	o 499 
970.10/962.37	o 498 
971.70/964.00	o 497 
973.40/965.63	o 496 
975.00/967.26	o 495 
976.60/968.89	o 494 
978.91/971.18	o 493 
981.10/973.38	o 492 
983.46/975.63	o 491 
985.06/977.26	o 490 
987.26/979.49	o 489 
989.56/981.72	o 488 
991.76/983.95	o 487 
993.36/985.58	o 486 
995.66/987.81	o 485 
997.26/989.43	o 484 
998.87/991.03	o 483 
1001.06/993.27	o 482 
1003.26/995.49	o 481 
1005.56/997.72	o 480 
1007.16/999.39	o 479 
1009.46/1001.62	o 478 
1011.67/1003.85	o 477 
1013.88/1006.07	o 476 
1015.58/1007.75	o 475 
1017.78/1009.98	o 474 
1019.47/1011.62	o 473 
1021.08/1013.26	o 472 
1023.29/1015.49	o 471 
1024.89/1017.05	o 470 
1026.38/1018.59	o 469 
1027.99/1020.14	o 468 
1029.48/1021.67	o 467 
1031.08/1023.20	o 466 
1033.28/1025.45	o 465 
1035.48/1027.67	o 464 
1037.68/1029.89	o 463 
1039.39/1031.56	o 462 
1041.58/1033.76	o 461 
1043.79/1035.96	o 460 
1045.99/1038.16	o 459 
1047.69/1039.82	o 458 
1049.90/1042.02	o 457 
1051.49/1043.63	o 456 
1053.09/1045.21	o 455 
1055.29/1047.42	o 454 
1057.49/1049.62	o 453 
1059.70/1051.82	o 452 
1061.30/1053.41	o 451 
1063.50/1055.61	o 450 
1065.70/1057.80	o 449 
1067.80/1060.00	o 448 
1069.50/1061.65	o 447 
1071.70/1063.85	o 446 
1073.40/1065.50	o 445 
1075.01/1067.14	o 444 
1077.20/1069.35	o 443 
1078.80/1070.99	o 442 
1080.50/1072.60	o 441 
1082.01/1074.20	o 440 
1083.60/1075.77	o 439 
1085.20/1077.33	o 438 
1087.41/1079.55	o 437 
1089.11/1081.21	o 436 
1090.71/1082.81	o 435 
1092.21/1084.38	o 434 
1093.81/1085.96	o 433 
1095.41/1087.52	o 432 
1096.92/1089.06	o 431 
1098.51/1090.60	o 430 
1100.02/1092.13	o 429 
1101.51/1093.65	o 428 
1103.02/1095.15	o 427 
1105.21/1097.40	o 426 
1107.41/1099.59	o 425 
1109.61/1101.78	o 424 
1111.21/1103.36	o 423 
1113.42/1105.54	o 422 
1115.62/1107.73	o 421 
1117.83/1109.91	o 420 
1119.43/1111.56	o 419 
1121.63/1113.75	o 418 
1123.23/1115.33	o 417 
1124.73/1116.89	o 416 
1126.94/1119.08	o 415 
1129.14/1121.26	o 414 
1131.34/1123.45	o 413 
1132.95/1125.09	o 412 
1135.14/1127.27	o 411 
1137.34/1129.45	o 410 
1139.55/1131.63	o 409 
1141.15/1133.21	o 408 
1143.25/1135.39	o 407 
1144.85/1136.98	o 406 
1146.45/1138.57	o 405 
1148.66/1140.76	o 404 
1150.36/1142.41	o 403 
1151.86/1143.98	o 402 
1153.46/1145.55	o 401 
1154.97/1147.09	o 400 
1156.57/1148.63	o 399 
1158.77/1150.83	o 398 
1160.87/1153.00	o 397 
1163.08/1155.18	o 396 
1164.67/1156.78	o 395 
1166.88/1158.96	o 394 
1169.09/1161.13	o 393 
1171.28/1163.30	o 392 
1172.88/1164.92	o 391 
1175.00/1167.10	o 390 
1176.59/1168.68	o 389 
1178.19/1170.25	o 388 
1180.39/1172.44	o 387 
1182.59/1174.61	o 386 
1184.69/1176.79	o 385 
1186.30/1178.39	o 384 
1188.50/1180.58	o 383 
1190.70/1182.77	o 382 
1192.90/1184.96	o 381 
1194.81/1186.83	o 380 
1196.92/1189.00	o 379 
1198.82/1190.86	o 378 
1200.72/1192.71	o 377 
1202.92/1194.90	o 376 
1204.72/1196.77	o 375 
1206.62/1198.60	o 374 
1208.42/1200.43	o 373 
1210.23/1202.26	o 372 
1212.42/1204.45	o 371 
1214.23/1206.29	o 370 
1216.14/1208.13	o 369 
1217.93/1209.95	o 368 
1219.73/1211.77	o 367 
1221.53/1213.60	o 366 
1223.44/1215.41	o 365 
1225.24/1217.23	o 364 
1227.05/1219.04	o 363 
1228.85/1220.85	o 362 
1231.08/1223.06	o 361 
1232.97/1224.92	o 360 
1234.77/1226.75	o 359 
1236.57/1228.57	o 358 
1238.38/1230.39	o 357 
1240.28/1232.21	o 356 
1242.08/1234.02	o 355 
1243.88/1235.83	o 354 
1245.68/1237.64	o 353 
1247.48/1239.46	o 352 
1249.28/1241.27	o 351 
1251.09/1243.09	o 350 
1252.88/1244.90	o 349 
1254.78/1246.71	o 348 
1256.58/1248.52	o 347 
1258.38/1250.33	o 346 
1260.20/1252.14	o 345 
1261.99/1253.95	o 344 
1263.79/1255.76	o 343 
1266.10/1258.01	o 342 
1267.89/1259.84	o 341 
1269.69/1261.67	o 340 
1271.49/1263.48	o 339 
1273.29/1265.29	o 338 
1275.10/1267.09	o 337 
1276.99/1268.90	o 336 
1278.79/1270.71	o 335 
1280.60/1272.52	o 334 
1282.40/1274.33	o 333 
1284.21/1276.13	o 332 
1286.00/1277.94	o 331 
1287.80/1279.74	o 330 
1289.60/1281.55	o 329 
1291.40/1283.36	o 328 
1293.21/1285.16	o 327 
1295.00/1286.97	o 326 
1296.80/1288.78	o 325 
1298.60/1290.59	o 324 
1300.40/1292.39	o 323 
1302.21/1294.19	o 322 
1304.01/1295.99	o 321 
1305.91/1297.80	o 320 
1307.71/1299.60	o 319 
1309.51/1301.40	o 318 
1311.31/1303.21	o 317 
1313.12/1305.01	o 316 
1314.91/1306.81	o 315 
1316.71/1308.61	o 314 
1318.51/1310.41	o 313 
1320.31/1312.22	o 312 
1322.12/1314.02	o 311 
1323.91/1315.82	o 310 
1325.71/1317.62	o 309 
1327.51/1319.41	o 308 
1329.31/1321.20	o 307 
1331.01/1322.99	o 306 
1333.42/1325.31	o 305 
1335.23/1327.13	o 304 
1337.02/1328.93	o 303 
1338.82/1330.73	o 302 
1340.62/1332.52	o 301 
1342.42/1334.32	o 300 
1344.23/1336.11	o 299 
1346.02/1337.90	o 298 
1347.72/1339.69	o 297 
1349.52/1341.48	o 296 
1351.32/1343.27	o 295 
1353.13/1345.06	o 294 
1354.93/1346.85	o 293 
1356.73/1348.64	o 292 
1358.53/1350.43	o 291 
1360.33/1352.22	o 290 
1362.14/1354.01	o 289 
1363.93/1355.81	o 288 
1365.63/1357.59	o 287 
1367.43/1359.38	o 286 
1369.24/1361.17	o 285 
1371.03/1362.96	o 284 
1372.83/1364.75	o 283 
1374.63/1366.54	o 282 
1376.43/1368.32	o 281 
1378.15/1370.10	o 280 
1379.94/1371.89	o 279 
1381.74/1373.68	o 278 
1383.54/1375.46	o 277 
1385.34/1377.25	o 276 
1387.15/1379.03	o 275 
1388.94/1380.81	o 274 
1390.74/1382.60	o 273 
1392.44/1384.38	o 272 
1394.25/1386.16	o 271 
1396.04/1387.95	o 270 
1397.84/1389.73	o 269 
1399.64/1391.52	o 268 
1401.45/1393.31	o 267 
1403.15/1395.09	o 266 
1404.95/1396.88	o 265 
1406.75/1398.65	o 264 
1408.55/1400.43	o 263 
1410.35/1402.21	o 262 
1412.06/1403.99	o 261 
1413.86/1405.77	o 260 
1415.66/1407.56	o 259 
1417.46/1409.33	o 258 
1419.27/1411.11	o 257 
1420.96/1412.88	o 256 
1422.76/1414.67	o 255 
1424.56/1416.44	o 254 
1426.36/1418.23	o 253 
1428.06/1420.00	o 252 
1429.86/1421.78	o 251 
1431.66/1423.56	o 250 
1433.46/1425.34	o 249 
1435.27/1427.11	o 248 
1436.96/1428.89	o 247 
1438.76/1430.67	o 246 
1440.56/1432.44	o 245 
1442.36/1434.22	o 244 
1444.06/1435.99	o 243 
1445.86/1437.77	o 242 
1447.66/1439.54	o 241 
1449.46/1441.32	o 240 
1451.17/1443.09	o 239 
1452.96/1444.87	o 238 
1454.77/1446.64	o 237 
1456.57/1448.42	o 236 
1458.28/1450.19	o 235 
1460.07/1451.97	o 234 
1461.88/1453.74	o 233 
1463.68/1455.51	o 232 
1466.08/1457.99	o 231 
1468.29/1460.12	o 230 
1470.38/1462.23	o 229 
1472.19/1464.03	o 228 
1474.29/1466.15	o 227 
1476.39/1468.27	o 226 
1478.48/1470.38	o 225 
1480.29/1472.16	o 224 
1482.38/1474.28	o 223 
1484.19/1476.07	o 222 
1485.98/1477.84	o 221 
1488.09/1479.96	o 220 
1490.20/1482.07	o 219 
1492.30/1484.18	o 218 
1494.09/1486.00	o 217 
1496.30/1488.11	o 216 
1498.39/1490.23	o 215 
1500.49/1492.33	o 214 
1502.30/1494.15	o 213 
1504.41/1496.27	o 212 
1506.22/1498.06	o 211 
1508.01/1499.84	o 210 
1510.16/1501.95	o 209 
1511.96/1503.72	o 208 
1513.67/1505.48	o 207 
1515.46/1507.23	o 206 
1517.16/1508.96	o 205 
1519.27/1511.06	o 204 
1521.38/1513.14	o 203 
1523.48/1515.21	o 202 
1525.17/1516.97	o 201 
1527.28/1519.05	o 200 
1529.38/1521.12	o 199 
1531.38/1523.19	o 198 
1533.18/1524.93	o 197 
1535.18/1526.99	o 196 
1536.98/1528.76	o 195 
1538.78/1530.50	o 194 
1540.78/1532.56	o 193 
1542.88/1534.61	o 192 
1544.88/1536.67	o 191 
1546.68/1538.42	o 190 
1548.68/1540.49	o 189 
1550.78/1542.56	o 188 
1552.88/1544.61	o 187 
1554.58/1546.33	o 186 
1556.58/1548.38	o 185 
1558.39/1550.14	o 184 
1560.18/1551.90	o 183 
1562.19/1553.98	o 182 
1563.99/1555.71	o 181 
1565.69/1557.43	o 180 
1567.40/1559.13	o 179 
1569.09/1560.85	o 178 
1571.19/1562.92	o 177 
1572.89/1564.67	o 176 
1574.59/1566.39	o 175 
1576.30/1568.11	o 174 
1578.09/1569.81	o 173 
1579.79/1571.52	o 172 
1581.49/1573.23	o 171 
1583.19/1574.94	o 170 
1584.89/1576.64	o 169 
1586.60/1578.35	o 168 
1588.70/1580.44	o 167 
1590.70/1582.48	o 166 
1592.80/1584.53	o 165 
1594.50/1586.28	o 164 
1596.60/1588.33	o 163 
1598.60/1590.38	o 162 
1600.70/1592.42	o 161 
1602.41/1594.14	o 160 
1604.42/1596.18	o 159 
1606.21/1597.93	o 158 
1607.91/1599.66	o 157 
1610.01/1601.71	o 156 
1612.01/1603.75	o 155 
1614.01/1605.79	o 154 
1615.81/1607.52	o 153 
1617.81/1609.57	o 152 
1619.91/1611.62	o 151 
1621.91/1613.66	o 150 
1623.61/1615.38	o 149 
1625.71/1617.43	o 148 
1627.42/1619.14	o 147 
1629.11/1620.84	o 146 
1631.21/1622.90	o 145 
1632.91/1624.62	o 144 
1634.62/1626.33	o 143 
1636.33/1628.04	o 142 
1638.02/1629.74	o 141 
1640.03/1631.80	o 140 
1642.13/1633.84	o 139 
1644.13/1635.88	o 138 
1645.93/1637.63	o 137 
1647.93/1639.67	o 136 
1650.03/1641.70	o 135 
1652.03/1643.74	o 134 
1653.73/1645.47	o 133 
1655.83/1647.50	o 132 
1657.53/1649.25	o 131 
1659.23/1650.99	o 130 
1661.34/1653.04	o 129 
1663.34/1655.07	o 128 
1665.34/1657.10	o 127 
1667.13/1658.80	o 126 
1669.13/1660.83	o 125 
1671.13/1662.87	o 124 
1673.23/1664.90	o 123 
1674.93/1666.64	o 122 
1676.93/1668.68	o 121 
1678.63/1670.38	o 120 
1680.34/1672.07	o 119 
1682.44/1674.11	o 118 
1684.14/1675.85	o 117 
1685.84/1677.55	o 116 
1687.55/1679.23	o 115 
1689.25/1680.92	o 114 
1691.25/1682.97	o 113 
1692.95/1684.67	o 112 
1694.65/1686.35	o 111 
1696.36/1688.04	o 110 
1698.05/1689.72	o 109 
1699.75/1691.41	o 108 
1701.36/1693.09	o 107 
1703.05/1694.78	o 106 
1704.75/1696.47	o 105 
1706.46/1698.15	o 104 
1708.56/1700.22	o 103 
1710.26/1701.92	o 102 
1711.96/1703.61	o 101 
1713.56/1705.29	o 100 
1715.27/1706.98	o 99 
1723.83/1715.45	o 6 
1753.78/1745.20	o 5 
2520.07/2511.01	s SATISFIABLE
2520.07/2511.01	v <instantiation>
2520.07/2511.01	v 	<list>x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][41] x[40][42] x[40][43] x[40][44] x[41][42] x[41][43] x[41][44] x[42][43] x[42][44] x[43][44] </list>
2520.07/2511.01	v 	<values>1 1 0 1 0 1 3 0 2 1 1 2 4 0 3 4 5 3 3 2 1 3 3 4 3 2 1 0 4 2 3 0 2 2 0 0 0 2 0 1 0 3 1 5 2 1 4 3 4 1 0 0 5 3 1 1 2 1 0 1 3 2 2 5 3 3 4 5 2 0 4 1 1 3 0 0 0 0 2 3 1 1 0 4 3 2 0 0 3 0 0 2 3 2 4 2 2 0 3 2 1 1 4 1 1 2 0 1 2 1 1 2 0 1 4 1 0 1 1 1 1 0 2 0 3 0 3 4 4 2 4 2 0 2 1 2 4 3 4 4 3 0 4 2 0 5 1 2 1 2 4 4 0 3 0 3 1 1 1 2 1 3 1 0 3 1 2 2 1 0 0 5 1 1 1 3 3 4 1 2 1 4 5 1 0 2 2 3 1 0 3 2 0 0 1 1 3 3 2 0 0 1 0 2 4 2 1 0 2 4 5 2 4 1 3 0 0 3 2 1 0 0 2 3 0 0 1 2 3 0 3 3 2 2 1 1 3 2 5 1 3 4 1 4 1 3 4 2 0 3 0 0 3 3 0 2 0 2 2 0 3 1 2 4 4 1 1 1 1 5 2 1 1 2 1 1 0 0 2 2 3 4 4 1 0 5 0 3 4 2 0 4 2 5 5 3 0 0 1 1 1 2 5 0 4 2 3 0 5 3 1 1 1 3 0 0 4 4 2 2 0 1 1 1 2 1 0 3 4 4 3 1 4 3 3 1 0 1 0 3 0 0 2 1 0 2 0 2 2 4 2 3 3 0 3 4 3 1 1 4 0 0 3 2 1 5 5 3 2 4 1 3 3 0 1 0 1 1 1 2 3 3 4 4 4 4 0 3 5 2 2 0 2 2 1 4 4 1 2 1 2 5 0 5 3 2 0 1 4 2 0 0 0 2 2 5 1 0 3 1 4 0 0 3 4 1 0 3 3 1 5 0 3 3 2 5 1 1 4 0 4 1 2 2 0 3 1 2 1 1 5 0 4 3 0 4 0 2 1 2 0 1 3 3 0 5 4 1 2 3 4 2 0 0 3 1 0 1 4 4 4 2 1 3 3 2 1 3 0 1 0 1 2 2 1 4 1 3 0 2 1 3 1 3 1 1 5 1 3 5 2 1 2 2 0 2 0 3 0 3 3 4 0 4 0 0 4 1 0 3 4 3 2 1 0 0 0 3 3 3 3 2 2 5 1 1 1 1 4 2 0 1 2 1 2 4 2 5 1 1 3 2 2 1 1 1 1 0 2 2 0 0 0 2 4 4 0 4 4 2 2 0 1 1 2 1 5 3 5 0 2 5 4 0 4 0 3 1 0 4 4 2 3 5 3 2 2 2 1 0 2 1 2 3 4 2 0 0 4 3 0 0 2 0 5 0 1 2 3 2 3 0 0 4 1 3 1 0 1 1 2 3 1 0 1 1 5 1 4 0 0 0 4 3 1 1 2 5 4 0 3 4 4 0 3 0 4 4 0 2 0 0 4 1 2 4 2 0 0 2 3 4 1 2 0 4 2 5 3 3 3 2 2 2 2 4 3 3 2 1 3 3 4 0 0 3 0 0 2 1 2 2 0 5 1 5 4 1 3 5 1 1 0 2 0 4 0 3 0 2 5 2 0 1 2 3 2 4 0 0 1 3 2 3 5 4 1 1 3 0 0 2 2 3 0 4 5 3 1 4 4 4 1 0 3 3 2 2 4 3 0 2 2 1 1 5 5 4 5 1 3 5 4 2 0 0 0 0 0 3 3 1 1 4 1 1 5 1 2 2 3 0 0 4 3 4 2 2 0 4 2 3 2 3 3 4 1 2 3 4 2 2 4 2 4 3 0 0 0 2 3 1 4 0 3 4 2 5 4 0 4 5 1 2 3 0 3 3 2 2 1 1 2 3 0 0 4 1 3 2 1 4 5 3 1 2 2 3 0 4 5 5 4 5 4 0 3 1 3 4 0 3 1 4 4 2 3 4 4 3 5 0 0 2 5 0 4 3 2 4 2 3 0 5 5 3 1 2 0 4 4 3 3 2 5 1 4 0 3 3 2 3 0 5 3 3 3 3 1 1 4 2 2 4 4 2 2 2 1 1 1 4 3 5 1 5 4 2 3 2 2 1 2 1 4 1 2 3 2 2 3 3 1 5 2 2 5 2 0 0 3 1 2 3 2 0 1 0 1 0 0 4 0 2 0 3 0 0 3 5 </values>
2520.07/2511.01	v </instantiation>
2520.07/2511.01	c Unexpected resolution interruption!

Verifier Data 

OK	5

Watcher Data 

runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (13489 MiB free)
  memory of node 1: 16384 MiB (13422 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406278-1569409417/watcher-4406278-1569409417 -o /var/tmp/evaluation-result-4406278-1569409417/solver-4406278-1569409417 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1569406883-8783 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 230333370 HOME/instance-4406278-1569409417.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9160, runsolver pid=9157


[startup+0.100059 s]*
/proc/loadavg: 1.27 1.48 1.55 4/230 9176
/proc/meminfo: memFree=27542732/32770624 swapFree=67024132/67108860
[pid=9160] ppid=9157 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9160/stat : 9160 (xcsp3-exec) S 9157 9160 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517214214 115843072 364 33554432000 4194304 5098028 140732470363296 140732470361400 139840960709244 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39342080 140732470371159 140732470371417 140732470371417 140732470374342 0
/proc/9160/statm: 28282 364 305 221 0 87 0
[pid=9162] ppid=9160 vsize=15144776 memory=28852 CPUtime=0.13 cores=0,2,4,6
/proc/9162/stat : 9162 (java) S 9160 9160 8752 0 -1 1077944320 5691 0 0 0 12 1 0 0 20 0 15 0 517214214 15508250624 7213 33554432000 4194304 4196468 140729042104560 140729042087104 140628594802423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
/proc/9162/statm: 3786194 7213 3141 1 0 3748377 0
[pid=9162/tid=9163] ppid=9160 vsize=15144776 memory=8259783820552934235 CPUtime=0.08 cores=0,2,4,6
/proc/9162/task/9163/stat : 9163 (java) R 9160 9160 8752 0 -1 4202560 3577 0 0 0 8 0 0 0 20 0 15 0 517214214 15508250624 7213 33554432000 4194304 4196468 140729042104560 140628599031760 140628594814358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9164] ppid=9160 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9164/stat : 9164 (java) S 9160 9160 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517214215 15508250624 7213 33554432000 4194304 4196468 140729042104560 140628506459024 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9165] ppid=9160 vsize=15144776 memory=140214741464704 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9165/stat : 9165 (java) S 9160 9160 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517214215 15508250624 7213 33554432000 4194304 4196468 140729042104560 140628505406224 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9166] ppid=9160 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9166/stat : 9166 (java) S 9160 9160 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517214215 15508250624 7213 33554432000 4194304 4196468 140729042104560 140628184788112 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9167] ppid=9160 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9167/stat : 9167 (java) S 9160 9160 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517214215 15508250624 7213 33554432000 4194304 4196468 140729042104560 140628183735312 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9168] ppid=9160 vsize=15144776 memory=140214741464704 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9168/stat : 9168 (java) S 9160 9160 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517214216 15508250624 7213 33554432000 4194304 4196468 140729042104560 140628063422576 140628594813570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9169] ppid=9160 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9169/stat : 9169 (java) S 9160 9160 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517214217 15508250624 7213 33554432000 4194304 4196468 140729042104560 140628062368544 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9170] ppid=9160 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9170/stat : 9170 (java) S 9160 9160 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517214217 15508250624 7213 33554432000 4194304 4196468 140729042104560 140628061316208 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9171] ppid=9160 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9171/stat : 9171 (java) S 9160 9160 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517214219 15508250624 7213 33554432000 4194304 4196468 140729042104560 140628060264528 140628594821019 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9172] ppid=9160 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9172/stat : 9172 (java) S 9160 9160 8752 0 -1 1077944384 364 0 0 0 0 0 0 0 20 0 15 0 517214219 15508250624 7213 33554432000 4194304 4196468 140729042104560 140628059212400 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9173] ppid=9160 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9173/stat : 9173 (java) S 9160 9160 8752 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 517214219 15508250624 7213 33554432000 4194304 4196468 140729042104560 140628058159600 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9174] ppid=9160 vsize=15144776 memory=140214741464704 CPUtime=0.02 cores=0,2,4,6
/proc/9162/task/9174/stat : 9174 (java) R 9160 9160 8752 0 -1 4202560 324 0 0 0 2 0 0 0 20 0 15 0 517214219 15508250624 7213 33554432000 4194304 4196468 140729042104560 140628057104248 140628573938526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9175] ppid=9160 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9175/stat : 9175 (java) S 9160 9160 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517214220 15508250624 7213 33554432000 4194304 4196468 140729042104560 140628056054752 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9176] ppid=9160 vsize=15144776 memory=140214741464704 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9176/stat : 9176 (java) S 9160 9160 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517214220 15508250624 7213 33554432000 4194304 4196468 140729042104560 140628055001520 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30308 KiB

[startup+0.210782 s]*
/proc/loadavg: 1.27 1.48 1.55 5/230 9176
/proc/meminfo: memFree=27529120/32770624 swapFree=67024132/67108860
[pid=9160] ppid=9157 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9160/stat : 9160 (xcsp3-exec) S 9157 9160 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517214214 115843072 364 33554432000 4194304 5098028 140732470363296 140732470361400 139840960709244 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39342080 140732470371159 140732470371417 140732470371417 140732470374342 0
/proc/9160/statm: 28282 364 305 221 0 87 0
[pid=9162] ppid=9160 vsize=15144776 memory=41176 CPUtime=0.35 cores=0,2,4,6
/proc/9162/stat : 9162 (java) S 9160 9160 8752 0 -1 1077944320 9519 0 0 0 32 3 0 0 20 0 15 0 517214214 15508250624 10294 33554432000 4194304 4196468 140729042104560 140729042087104 140628594802423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
/proc/9162/statm: 3786194 10294 3318 1 0 3748377 0
[pid=9162/tid=9163] ppid=9160 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/9162/task/9163/stat : 9163 (java) R 9160 9160 8752 0 -1 4202560 6615 0 0 0 18 2 0 0 20 0 15 0 517214214 15508250624 10294 33554432000 4194304 4196468 140729042104560 140628599036480 140628578882910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9164] ppid=9160 vsize=15144776 memory=13575 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9164/stat : 9164 (java) S 9160 9160 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517214215 15508250624 10294 33554432000 4194304 4196468 140729042104560 140628506459024 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9165] ppid=9160 vsize=15144776 memory=140214745341814 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9165/stat : 9165 (java) S 9160 9160 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517214215 15508250624 10294 33554432000 4194304 4196468 140729042104560 140628505406224 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9166] ppid=9160 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9166/stat : 9166 (java) S 9160 9160 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517214215 15508250624 10294 33554432000 4194304 4196468 140729042104560 140628184788112 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9167] ppid=9160 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9167/stat : 9167 (java) S 9160 9160 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517214215 15508250624 10294 33554432000 4194304 4196468 140729042104560 140628183735312 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9168] ppid=9160 vsize=15144776 memory=140214741464704 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9168/stat : 9168 (java) S 9160 9160 8752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517214216 15508250624 10294 33554432000 4194304 4196468 140729042104560 140628063422576 140628594813570 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9169] ppid=9160 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9169/stat : 9169 (java) S 9160 9160 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517214217 15508250624 10294 33554432000 4194304 4196468 140729042104560 140628062368544 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9170] ppid=9160 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9170/stat : 9170 (java) S 9160 9160 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517214217 15508250624 10294 33554432000 4194304 4196468 140729042104560 140628061316208 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9171] ppid=9160 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9171/stat : 9171 (java) S 9160 9160 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517214219 15508250624 10294 33554432000 4194304 4196468 140729042104560 140628060264528 140628594821019 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9172] ppid=9160 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9162/task/9172/stat : 9172 (java) S 9160 9160 8752 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 15 0 517214219 15508250624 10294 33554432000 4194304 4196468 140729042104560 140628059212400 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9173] ppid=9160 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9162/task/9173/stat : 9173 (java) S 9160 9160 8752 0 -1 1077944384 405 0 0 0 2 0 0 0 20 0 15 0 517214219 15508250624 10294 33554432000 4194304 4196468 140729042104560 140628058159600 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9174] ppid=9160 vsize=15144776 memory=140214741464704 CPUtime=0.08 cores=0,2,4,6
/proc/9162/task/9174/stat : 9174 (java) S 9160 9160 8752 0 -1 1077944384 715 0 0 0 8 0 0 0 20 0 15 0 517214219 15508250624 10294 33554432000 4194304 4196468 140729042104560 140628057107312 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9175] ppid=9160 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9175/stat : 9175 (java) S 9160 9160 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517214220 15508250624 10294 33554432000 4194304 4196468 140729042104560 140628056054752 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9176] ppid=9160 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9176/stat : 9176 (java) S 9160 9160 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517214220 15508250624 10294 33554432000 4194304 4196468 140729042104560 140628055001520 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42632 KiB

[startup+0.317372 s]*
/proc/loadavg: 1.27 1.48 1.55 4/230 9176
/proc/meminfo: memFree=27521352/32770624 swapFree=67024132/67108860
[pid=9160] ppid=9157 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9160/stat : 9160 (xcsp3-exec) S 9157 9160 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517214214 115843072 364 33554432000 4194304 5098028 140732470363296 140732470361400 139840960709244 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39342080 140732470371159 140732470371417 140732470371417 140732470374342 0
/proc/9160/statm: 28282 364 305 221 0 87 0
[pid=9162] ppid=9160 vsize=15149032 memory=50504 CPUtime=0.54 cores=0,2,4,6
/proc/9162/stat : 9162 (java) S 9160 9160 8752 0 -1 1077944320 10952 0 0 0 50 4 0 0 20 0 15 0 517214214 15512608768 12626 33554432000 4194304 4196468 140729042104560 140729042087104 140628594802423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
/proc/9162/statm: 3787258 12626 3365 1 0 3748377 0
[pid=9162/tid=9163] ppid=9160 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/9162/task/9163/stat : 9163 (java) R 9160 9160 8752 0 -1 4202560 7888 0 0 0 27 3 0 0 20 0 15 0 517214214 15512608768 12626 33554432000 4194304 4196468 140729042104560 140628599033536 140628578882910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9164] ppid=9160 vsize=15149032 memory=13938 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9164/stat : 9164 (java) S 9160 9160 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517214215 15512608768 12626 33554432000 4194304 4196468 140729042104560 140628506459024 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9165] ppid=9160 vsize=15149032 memory=3885056 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9165/stat : 9165 (java) S 9160 9160 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517214215 15512608768 12626 33554432000 4194304 4196468 140729042104560 140628505406224 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9166] ppid=9160 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9166/stat : 9166 (java) S 9160 9160 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517214215 15512608768 12626 33554432000 4194304 4196468 140729042104560 140628184788112 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9167] ppid=9160 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9167/stat : 9167 (java) S 9160 9160 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517214215 15512608768 12626 33554432000 4194304 4196468 140729042104560 140628183735312 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9168] ppid=9160 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9168/stat : 9168 (java) S 9160 9160 8752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517214216 15512608768 12626 33554432000 4194304 4196468 140729042104560 140628063422576 140628594813570 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9169] ppid=9160 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9169/stat : 9169 (java) S 9160 9160 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517214217 15512608768 12626 33554432000 4194304 4196468 140729042104560 140628062368544 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9170] ppid=9160 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9170/stat : 9170 (java) S 9160 9160 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517214217 15512608768 12626 33554432000 4194304 4196468 140729042104560 140628061316208 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9171] ppid=9160 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9171/stat : 9171 (java) S 9160 9160 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517214219 15512608768 12626 33554432000 4194304 4196468 140729042104560 140628060264528 140628594821019 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9172] ppid=9160 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9162/task/9172/stat : 9172 (java) S 9160 9160 8752 0 -1 1077944384 487 0 0 0 3 0 0 0 20 0 15 0 517214219 15512608768 12626 33554432000 4194304 4196468 140729042104560 140628059212400 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9173] ppid=9160 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/9162/task/9173/stat : 9173 (java) S 9160 9160 8752 0 -1 1077944384 498 0 0 0 5 0 0 0 20 0 15 0 517214219 15512608768 12626 33554432000 4194304 4196468 140729042104560 140628058159600 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9174] ppid=9160 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/9162/task/9174/stat : 9174 (java) S 9160 9160 8752 0 -1 1077944384 786 0 0 0 13 0 0 0 20 0 15 0 517214219 15512608768 12626 33554432000 4194304 4196468 140729042104560 140628057107312 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9175] ppid=9160 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9175/stat : 9175 (java) S 9160 9160 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517214220 15512608768 12626 33554432000 4194304 4196468 140729042104560 140628056054752 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9176] ppid=9160 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9176/stat : 9176 (java) S 9160 9160 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517214220 15512608768 12626 33554432000 4194304 4196468 140729042104560 140628055001520 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51960 KiB

[startup+0.701413 s]
/proc/loadavg: 1.27 1.48 1.55 4/230 9176
/proc/meminfo: memFree=27497572/32770624 swapFree=67024132/67108860
[pid=9160] ppid=9157 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9160/stat : 9160 (xcsp3-exec) S 9157 9160 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517214214 115843072 364 33554432000 4194304 5098028 140732470363296 140732470361400 139840960709244 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39342080 140732470371159 140732470371417 140732470371417 140732470374342 0
/proc/9160/statm: 28282 364 305 221 0 87 0
[pid=9162] ppid=9160 vsize=15151156 memory=124952 CPUtime=1.74 cores=0,2,4,6
/proc/9162/stat : 9162 (java) S 9160 9160 8752 0 -1 1077944320 14188 0 0 0 168 6 0 0 20 0 15 0 517214214 15514783744 31238 33554432000 4194304 4196468 140729042104560 140729042087104 140628594802423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
/proc/9162/statm: 3787789 31238 3449 1 0 3748889 0
[pid=9162/tid=9163] ppid=9160 vsize=15151156 memory=12328 CPUtime=0.67 cores=0,2,4,6
/proc/9162/task/9163/stat : 9163 (java) R 9160 9160 8752 0 -1 4202560 8266 0 0 0 63 4 0 0 20 0 15 0 517214214 15514783744 31238 33554432000 4194304 4196468 140729042104560 140628599035496 140628186378553 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9164] ppid=9160 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9164/stat : 9164 (java) S 9160 9160 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517214215 15514783744 31238 33554432000 4194304 4196468 140729042104560 140628506459024 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9165] ppid=9160 vsize=15151156 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9165/stat : 9165 (java) S 9160 9160 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517214215 15514783744 31238 33554432000 4194304 4196468 140729042104560 140628505406224 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9166] ppid=9160 vsize=15151156 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9166/stat : 9166 (java) S 9160 9160 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517214215 15514783744 31238 33554432000 4194304 4196468 140729042104560 140628184788112 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9167] ppid=9160 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9167/stat : 9167 (java) S 9160 9160 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517214215 15514783744 31238 33554432000 4194304 4196468 140729042104560 140628183735312 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9168] ppid=9160 vsize=15151156 memory=1940 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9168/stat : 9168 (java) S 9160 9160 8752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517214216 15514783744 31238 33554432000 4194304 4196468 140729042104560 140628063422576 140628594813570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9169] ppid=9160 vsize=15151156 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9169/stat : 9169 (java) S 9160 9160 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517214217 15514783744 31238 33554432000 4194304 4196468 140729042104560 140628062368544 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9170] ppid=9160 vsize=15151156 memory=2508 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9170/stat : 9170 (java) S 9160 9160 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517214217 15514783744 31238 33554432000 4194304 4196468 140729042104560 140628061316208 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9171] ppid=9160 vsize=15151156 memory=1532 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9171/stat : 9171 (java) S 9160 9160 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517214219 15514783744 31238 33554432000 4194304 4196468 140729042104560 140628060264528 140628594821019 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9172] ppid=9160 vsize=15151156 memory=836 CPUtime=0.36 cores=0,2,4,6
/proc/9162/task/9172/stat : 9172 (java) R 9160 9160 8752 0 -1 4202560 1570 0 0 0 36 0 0 0 20 0 15 0 517214219 15514783744 31238 33554432000 4194304 4196468 140729042104560 140628059198944 140628579928215 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9173] ppid=9160 vsize=15151156 memory=1760 CPUtime=0.37 cores=0,2,4,6
/proc/9162/task/9173/stat : 9173 (java) R 9160 9160 8752 0 -1 4202560 1411 0 0 0 37 0 0 0 20 0 15 0 517214219 15514783744 31238 33554432000 4194304 4196468 140729042104560 140628058148160 140628594816310 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9174] ppid=9160 vsize=15151156 memory=111632 CPUtime=0.3 cores=0,2,4,6
/proc/9162/task/9174/stat : 9174 (java) S 9160 9160 8752 0 -1 1077944384 1633 0 0 0 30 0 0 0 20 0 15 0 517214219 15514783744 31238 33554432000 4194304 4196468 140729042104560 140628057107312 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9175] ppid=9160 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9175/stat : 9175 (java) S 9160 9160 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517214220 15514783744 31238 33554432000 4194304 4196468 140729042104560 140628056054752 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9176] ppid=9160 vsize=15151156 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9176/stat : 9176 (java) S 9160 9160 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517214220 15514783744 31238 33554432000 4194304 4196468 140729042104560 140628055001520 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 126408 KiB

[startup+1.50141 s]
/proc/loadavg: 1.27 1.48 1.55 4/230 9176
/proc/meminfo: memFree=27375384/32770624 swapFree=67024132/67108860
[pid=9160] ppid=9157 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9160/stat : 9160 (xcsp3-exec) S 9157 9160 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517214214 115843072 364 33554432000 4194304 5098028 140732470363296 140732470361400 139840960709244 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39342080 140732470371159 140732470371417 140732470371417 140732470374342 0
/proc/9160/statm: 28282 364 305 221 0 87 0

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

/proc/9162/task/9170/stat : 9170 (java) S 9160 9160 8752 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 517214217 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628061316224 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9171] ppid=9160 vsize=15151156 memory=3648 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9171/stat : 9171 (java) S 9160 9160 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517214219 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628060264528 140628594821019 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9172] ppid=9160 vsize=15151156 memory=1456 CPUtime=3.25 cores=0,2,4,6
/proc/9162/task/9172/stat : 9172 (java) S 9160 9160 8752 0 -1 1077944384 19632 0 0 0 322 3 0 0 20 0 15 0 517214219 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628059212400 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9173] ppid=9160 vsize=15151156 memory=1382012 CPUtime=3.38 cores=0,2,4,6
/proc/9162/task/9173/stat : 9173 (java) S 9160 9160 8752 0 -1 1077944384 22610 0 0 0 336 2 0 0 20 0 15 0 517214219 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628058159600 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9174] ppid=9160 vsize=15151156 memory=3648 CPUtime=0.79 cores=0,2,4,6
/proc/9162/task/9174/stat : 9174 (java) S 9160 9160 8752 0 -1 1077944384 14731 0 0 0 77 2 0 0 20 0 15 0 517214219 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628057107312 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9175] ppid=9160 vsize=15151156 memory=54164 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9175/stat : 9175 (java) S 9160 9160 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517214220 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628056054752 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9176] ppid=9160 vsize=15151156 memory=1456 CPUtime=1.17 cores=0,2,4,6
/proc/9162/task/9176/stat : 9176 (java) S 9160 9160 8752 0 -1 1077944384 2340 0 0 0 62 55 0 0 20 0 15 0 517214220 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628055001520 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
Current children cumulated CPU time: 2391.32 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1383468 KiB

[startup+2442.3 s]
/proc/loadavg: 1.77 1.73 1.69 3/231 9477
/proc/meminfo: memFree=25834560/32770624 swapFree=67024136/67108860
[pid=9160] ppid=9157 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9160/stat : 9160 (xcsp3-exec) S 9157 9160 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517214214 115843072 364 33554432000 4194304 5098028 140732470363296 140732470361400 139840960709244 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39342080 140732470371159 140732470371417 140732470371417 140732470374342 0
/proc/9160/statm: 28282 364 305 221 0 87 0
[pid=9162] ppid=9160 vsize=15151156 memory=1382012 CPUtime=2451.34 cores=0,2,4,6
/proc/9162/stat : 9162 (java) S 9160 9160 8752 0 -1 1077944320 107614 0 0 0 245023 111 0 0 20 0 15 0 517214214 15514783744 345503 33554432000 4194304 4196468 140729042104560 140729042087104 140628594802423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
/proc/9162/statm: 3787789 345503 3519 1 0 3748889 0
[pid=9162/tid=9163] ppid=9160 vsize=15151156 memory=1382012 CPUtime=2441.86 cores=0,2,4,6
/proc/9162/task/9163/stat : 9163 (java) R 9160 9160 8752 0 -1 4202560 38867 0 0 0 244162 24 0 0 20 0 15 0 517214214 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628599039336 140628190640704 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9164] ppid=9160 vsize=15151156 memory=1382012 CPUtime=0.18 cores=0,2,4,6
/proc/9162/task/9164/stat : 9164 (java) S 9160 9160 8752 0 -1 1077944384 1257 0 0 0 10 8 0 0 20 0 15 0 517214215 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628506459024 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9165] ppid=9160 vsize=15151156 memory=1456 CPUtime=0.17 cores=0,2,4,6
/proc/9162/task/9165/stat : 9165 (java) S 9160 9160 8752 0 -1 1077944384 963 0 0 0 9 8 0 0 20 0 15 0 517214215 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628505406224 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9166] ppid=9160 vsize=15151156 memory=1382012 CPUtime=0.17 cores=0,2,4,6
/proc/9162/task/9166/stat : 9166 (java) S 9160 9160 8752 0 -1 1077944384 1456 0 0 0 9 8 0 0 20 0 15 0 517214215 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628184788112 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9167] ppid=9160 vsize=15151156 memory=1382012 CPUtime=0.18 cores=0,2,4,6
/proc/9162/task/9167/stat : 9167 (java) S 9160 9160 8752 0 -1 1077944384 1413 0 0 0 10 8 0 0 20 0 15 0 517214215 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628183735312 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9168] ppid=9160 vsize=15151156 memory=1456 CPUtime=0.06 cores=0,2,4,6
/proc/9162/task/9168/stat : 9168 (java) S 9160 9160 8752 0 -1 1077944384 2983 0 0 0 4 2 0 0 20 0 15 0 517214216 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628063422576 140628594813570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9169] ppid=9160 vsize=15151156 memory=6384 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9169/stat : 9169 (java) S 9160 9160 8752 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 517214217 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628062368608 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9170] ppid=9160 vsize=15151156 memory=1382012 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9170/stat : 9170 (java) S 9160 9160 8752 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 517214217 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628061316224 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9171] ppid=9160 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9171/stat : 9171 (java) S 9160 9160 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517214219 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628060264528 140628594821019 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9172] ppid=9160 vsize=15151156 memory=1456 CPUtime=3.25 cores=0,2,4,6
/proc/9162/task/9172/stat : 9172 (java) S 9160 9160 8752 0 -1 1077944384 19634 0 0 0 322 3 0 0 20 0 15 0 517214219 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628059212400 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9173] ppid=9160 vsize=15151156 memory=1456 CPUtime=3.38 cores=0,2,4,6
/proc/9162/task/9173/stat : 9173 (java) S 9160 9160 8752 0 -1 1077944384 22612 0 0 0 336 2 0 0 20 0 15 0 517214219 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628058159600 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9174] ppid=9160 vsize=15151156 memory=3648 CPUtime=0.79 cores=0,2,4,6
/proc/9162/task/9174/stat : 9174 (java) S 9160 9160 8752 0 -1 1077944384 14734 0 0 0 77 2 0 0 20 0 15 0 517214219 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628057107312 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9175] ppid=9160 vsize=15151156 memory=54164 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9175/stat : 9175 (java) S 9160 9160 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517214220 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628056054752 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9176] ppid=9160 vsize=15151156 memory=1412 CPUtime=1.19 cores=0,2,4,6
/proc/9162/task/9176/stat : 9176 (java) S 9160 9160 8752 0 -1 1077944384 2361 0 0 0 63 56 0 0 20 0 15 0 517214220 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628055001520 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
Current children cumulated CPU time: 2451.34 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1383468 KiB

[startup+2502.3 s]
/proc/loadavg: 1.74 1.74 1.70 3/230 9481
/proc/meminfo: memFree=26097836/32770624 swapFree=67024136/67108860
[pid=9160] ppid=9157 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9160/stat : 9160 (xcsp3-exec) S 9157 9160 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517214214 115843072 364 33554432000 4194304 5098028 140732470363296 140732470361400 139840960709244 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39342080 140732470371159 140732470371417 140732470371417 140732470374342 0
/proc/9160/statm: 28282 364 305 221 0 87 0
[pid=9162] ppid=9160 vsize=15151156 memory=1382012 CPUtime=2511.36 cores=0,2,4,6
/proc/9162/stat : 9162 (java) S 9160 9160 8752 0 -1 1077944320 108411 0 0 0 251023 113 0 0 20 0 15 0 517214214 15514783744 345503 33554432000 4194304 4196468 140729042104560 140729042087104 140628594802423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
/proc/9162/statm: 3787789 345503 3519 1 0 3748889 0
[pid=9162/tid=9163] ppid=9160 vsize=15151156 memory=1382012 CPUtime=2501.86 cores=0,2,4,6
/proc/9162/task/9163/stat : 9163 (java) R 9160 9160 8752 0 -1 4202560 39618 0 0 0 250162 24 0 0 20 0 15 0 517214214 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628599039336 140628189428927 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9164] ppid=9160 vsize=15151156 memory=1456 CPUtime=0.18 cores=0,2,4,6
/proc/9162/task/9164/stat : 9164 (java) S 9160 9160 8752 0 -1 1077944384 1257 0 0 0 10 8 0 0 20 0 15 0 517214215 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628506459024 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9165] ppid=9160 vsize=15151156 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/9162/task/9165/stat : 9165 (java) S 9160 9160 8752 0 -1 1077944384 963 0 0 0 9 8 0 0 20 0 15 0 517214215 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628505406224 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9166] ppid=9160 vsize=15151156 memory=33 CPUtime=0.17 cores=0,2,4,6
/proc/9162/task/9166/stat : 9166 (java) S 9160 9160 8752 0 -1 1077944384 1456 0 0 0 9 8 0 0 20 0 15 0 517214215 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628184788112 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9167] ppid=9160 vsize=15151156 memory=1382012 CPUtime=0.18 cores=0,2,4,6
/proc/9162/task/9167/stat : 9167 (java) S 9160 9160 8752 0 -1 1077944384 1413 0 0 0 10 8 0 0 20 0 15 0 517214215 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628183735312 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9168] ppid=9160 vsize=15151156 memory=1456 CPUtime=0.06 cores=0,2,4,6
/proc/9162/task/9168/stat : 9168 (java) S 9160 9160 8752 0 -1 1077944384 2989 0 0 0 4 2 0 0 20 0 15 0 517214216 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628063422576 140628594813570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9169] ppid=9160 vsize=15151156 memory=1382012 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9169/stat : 9169 (java) S 9160 9160 8752 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 517214217 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628062368608 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9170] ppid=9160 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9170/stat : 9170 (java) S 9160 9160 8752 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 517214217 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628061316224 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9171] ppid=9160 vsize=15151156 memory=1382012 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9171/stat : 9171 (java) S 9160 9160 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517214219 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628060264528 140628594821019 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9172] ppid=9160 vsize=15151156 memory=828 CPUtime=3.25 cores=0,2,4,6
/proc/9162/task/9172/stat : 9172 (java) S 9160 9160 8752 0 -1 1077944384 19636 0 0 0 322 3 0 0 20 0 15 0 517214219 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628059212400 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9173] ppid=9160 vsize=15151156 memory=1382012 CPUtime=3.38 cores=0,2,4,6
/proc/9162/task/9173/stat : 9173 (java) S 9160 9160 8752 0 -1 1077944384 22614 0 0 0 336 2 0 0 20 0 15 0 517214219 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628058159600 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9174] ppid=9160 vsize=15151156 memory=1456 CPUtime=0.79 cores=0,2,4,6
/proc/9162/task/9174/stat : 9174 (java) S 9160 9160 8752 0 -1 1077944384 14737 0 0 0 77 2 0 0 20 0 15 0 517214219 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628057107312 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9175] ppid=9160 vsize=15151156 memory=1382012 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9175/stat : 9175 (java) S 9160 9160 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517214220 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628056054752 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9176] ppid=9160 vsize=15151156 memory=1382012 CPUtime=1.22 cores=0,2,4,6
/proc/9162/task/9176/stat : 9176 (java) S 9160 9160 8752 0 -1 1077944384 2394 0 0 0 64 58 0 0 20 0 15 0 517214220 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628055001520 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
Current children cumulated CPU time: 2511.36 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1383468 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2511 s]*
/proc/loadavg: 1.86 1.76 1.70 3/230 9482
/proc/meminfo: memFree=25887872/32770624 swapFree=67024136/67108860
[pid=9160] ppid=9157 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9160/stat : 9160 (xcsp3-exec) S 9157 9160 8752 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517214214 115843072 364 33554432000 4194304 5098028 140732470363296 140732470361400 139840960709244 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39342080 140732470371159 140732470371417 140732470371417 140732470374342 0
/proc/9160/statm: 28282 364 305 221 0 87 0
[pid=9162] ppid=9160 vsize=15151156 memory=1382012 CPUtime=2520.07 cores=0,2,4,6
/proc/9162/stat : 9162 (java) S 9160 9160 8752 0 -1 1077944320 108432 0 0 0 251894 113 0 0 20 0 15 0 517214214 15514783744 345503 33554432000 4194304 4196468 140729042104560 140729042087104 140628594802423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
/proc/9162/statm: 3787789 345503 3519 1 0 3748889 0
[pid=9162/tid=9163] ppid=9160 vsize=15151156 memory=8112282956445269571 CPUtime=2510.56 cores=0,2,4,6
/proc/9162/task/9163/stat : 9163 (java) R 9160 9160 8752 0 -1 4202560 39639 0 0 0 251032 24 0 0 20 0 15 0 517214214 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628599039336 140628189428731 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9164] ppid=9160 vsize=15151156 memory=4126316290023845779 CPUtime=0.18 cores=0,2,4,6
/proc/9162/task/9164/stat : 9164 (java) S 9160 9160 8752 0 -1 1077944384 1257 0 0 0 10 8 0 0 20 0 15 0 517214215 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628506459024 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9165] ppid=9160 vsize=15151156 memory=1456 CPUtime=0.17 cores=0,2,4,6
/proc/9162/task/9165/stat : 9165 (java) S 9160 9160 8752 0 -1 1077944384 963 0 0 0 9 8 0 0 20 0 15 0 517214215 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628505406224 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9166] ppid=9160 vsize=15151156 memory=1382012 CPUtime=0.17 cores=0,2,4,6
/proc/9162/task/9166/stat : 9166 (java) S 9160 9160 8752 0 -1 1077944384 1456 0 0 0 9 8 0 0 20 0 15 0 517214215 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628184788112 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9167] ppid=9160 vsize=15151156 memory=1412 CPUtime=0.18 cores=0,2,4,6
/proc/9162/task/9167/stat : 9167 (java) S 9160 9160 8752 0 -1 1077944384 1413 0 0 0 10 8 0 0 20 0 15 0 517214215 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628183735312 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9168] ppid=9160 vsize=15151156 memory=2084 CPUtime=0.06 cores=0,2,4,6
/proc/9162/task/9168/stat : 9168 (java) S 9160 9160 8752 0 -1 1077944384 2989 0 0 0 4 2 0 0 20 0 15 0 517214216 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628063422576 140628594813570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9169] ppid=9160 vsize=15151156 memory=1480 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9169/stat : 9169 (java) S 9160 9160 8752 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 517214217 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628062368608 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9170] ppid=9160 vsize=15151156 memory=1382012 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9170/stat : 9170 (java) S 9160 9160 8752 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 517214217 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628061316224 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9171] ppid=9160 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9171/stat : 9171 (java) S 9160 9160 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517214219 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628060264528 140628594821019 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9172] ppid=9160 vsize=15151156 memory=1382012 CPUtime=3.25 cores=0,2,4,6
/proc/9162/task/9172/stat : 9172 (java) S 9160 9160 8752 0 -1 1077944384 19636 0 0 0 322 3 0 0 20 0 15 0 517214219 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628059212400 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9173] ppid=9160 vsize=15151156 memory=1076 CPUtime=3.38 cores=0,2,4,6
/proc/9162/task/9173/stat : 9173 (java) S 9160 9160 8752 0 -1 1077944384 22614 0 0 0 336 2 0 0 20 0 15 0 517214219 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628058159600 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9174] ppid=9160 vsize=15151156 memory=3124 CPUtime=0.79 cores=0,2,4,6
/proc/9162/task/9174/stat : 9174 (java) S 9160 9160 8752 0 -1 1077944384 14737 0 0 0 77 2 0 0 20 0 15 0 517214219 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628057107312 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9175] ppid=9160 vsize=15151156 memory=1244 CPUtime=0 cores=0,2,4,6
/proc/9162/task/9175/stat : 9175 (java) S 9160 9160 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517214220 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628056054752 140628594812629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
[pid=9162/tid=9176] ppid=9160 vsize=15151156 memory=14064 CPUtime=1.22 cores=0,2,4,6
/proc/9162/task/9176/stat : 9176 (java) S 9160 9160 8752 0 -1 1077944384 2394 0 0 0 64 58 0 0 20 0 15 0 517214220 15514783744 345503 33554432000 4194304 4196468 140729042104560 140628055001520 140628594813570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 8192000 140729042109403 140729042109578 140729042109578 140729042112463 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1383468 KiB

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

[startup+2511.02 s]
# the end of solver process 9160 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002347 s, system=0 s

[startup+2511.04 s]
# the end of solver process 9162 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.98 s, system=1.16112 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 2511.04
CPU time (s): 2520.14
CPU user time (s): 2518.98
CPU system time (s): 1.16112
CPU usage (%): 100.362
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 1383468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.98
system time used= 1.16112
maximum resident set size= 1382580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109461
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57991
involuntary context switches= 1817


# summary of solver processes directly reported to runsolver:
#   pid: 9160,9162
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2518.98
#   total CPU system time (s): 1.16112

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0675 second user time and 22.816 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-25 13:02:56
IDJOB=4406278
IDBENCH=133905
IDSOLVER=2869
FILE ID=node150/4406278-1569409417
RUNJOBID= node150-1569406883-8783
PBS_JOBID= 21705701
Free space on /var/tmp= 13456 MiB

SOLVER NAME= choco-solver 2019-09-24
BENCH NAME= XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-45.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406278-1569409417/watcher-4406278-1569409417 -o /var/tmp/evaluation-result-4406278-1569409417/solver-4406278-1569409417 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1569406883-8783 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 230333370 HOME/instance-4406278-1569409417.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 1426235d943c6b8ba94de7087c35e664
RANDOM SEED=230333370

node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27558392 kB
MemAvailable:   31028112 kB
Buffers:          163228 kB
Cached:          3402744 kB
SwapCached:         8032 kB
Active:          4183968 kB
Inactive:         207208 kB
Active(anon):     794688 kB
Inactive(anon):    82216 kB
Active(file):    3389280 kB
Inactive(file):   124992 kB
Unevictable:      109316 kB
Mlocked:          109316 kB
SwapTotal:      67108860 kB
SwapFree:       67024132 kB
Dirty:             26988 kB
Writeback:             0 kB
AnonPages:        939080 kB
Mapped:            68340 kB
Shmem:             42952 kB
Slab:             413008 kB
SReclaimable:     383908 kB
SUnreclaim:        29100 kB
KernelStack:        4016 kB
PageTables:         7756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1582032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    851968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /var/tmp at the end= 13428 MiB
End job on node150 at 2019-09-25 13:44:48