Trace number 453370

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, and are wall clock time (not CPU 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
PB-clasp 2007-03-23Wrong Cert. 1801.92 1804.23

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_25_4.opb
MD5SUMb02c0aa46abe377e9678cb0b7b4280ae
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark72
Best CPU time to get the best result obtained on this benchmark1800.18
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 72
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint26
Maximum length of a constraint51
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31592
Sum of products size (including duplicates)63184
Number of different products31592
Sum of products size63184

Quality of the solution as a function of time


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

Solver Data (download as text)

10.76/10.83	o 971
17.56/17.66	o 970
24.47/24.52	o 969
31.27/31.30	o 968
38.15/38.23	o 967
45.05/45.15	o 966
51.96/52.07	o 965
58.95/59.09	o 964
66.02/66.32	o 963
73.01/73.35	o 962
80.11/80.43	o 961
87.23/87.51	o 960
94.30/94.65	o 959
101.50/101.85	o 958
108.60/108.99	o 957
115.90/116.23	o 956
123.23/123.53	o 955
130.39/130.75	o 954
137.68/138.10	o 953
145.10/145.43	o 952
152.37/152.78	o 951
159.90/160.22	o 950
167.28/167.64	o 949
174.79/175.12	o 948
182.29/182.63	o 947
189.67/190.07	o 946
197.25/197.64	o 945
204.75/205.19	o 944
212.32/212.78	o 943
220.03/220.49	o 942
227.62/228.09	o 941
235.31/235.77	o 940
243.03/243.46	o 939
250.72/251.18	o 938
258.63/259.00	o 937
266.43/266.81	o 936
274.23/274.64	o 935
282.13/282.54	o 934
289.91/290.38	o 933
297.92/298.33	o 932
305.80/306.27	o 931
313.73/314.30	o 930
321.84/322.35	o 929
329.81/330.37	o 928
337.90/338.47	o 927
346.01/346.58	o 926
354.21/354.71	o 925
362.30/362.89	o 924
370.53/371.10	o 923
378.72/379.33	o 922
386.93/387.55	o 921
395.23/395.80	o 920
403.52/404.10	o 919
411.73/412.47	o 918
420.12/420.86	o 917
428.53/429.21	o 916
436.81/437.58	o 915
445.33/446.01	o 914
453.72/454.47	o 913
462.22/462.99	o 912
470.68/471.47	o 911
479.33/480.14	o 910
487.82/488.66	o 909
496.43/497.27	o 908
504.90/505.78	o 907
513.50/514.38	o 906
522.32/523.10	o 905
530.89/531.78	o 904
539.70/540.56	o 903
548.41/549.26	o 902
557.20/558.06	o 901
565.99/566.87	o 900
574.89/575.71	o 899
583.78/584.60	o 898
592.57/593.48	o 897
601.58/602.43	o 896
610.48/611.33	o 895
619.47/620.34	o 894
628.46/629.30	o 893
637.34/638.28	o 892
646.46/647.32	o 891
655.45/656.36	o 890
664.56/665.42	o 889
673.53/674.45	o 888
682.63/683.60	o 887
691.83/692.71	o 886
701.05/701.93	o 885
710.13/711.08	o 884
719.42/720.32	o 883
728.63/729.54	o 882
737.92/738.86	o 881
747.21/748.15	o 880
756.51/757.46	o 879
765.81/766.77	o 878
775.20/776.10	o 877
784.49/785.48	o 876
793.89/794.87	o 875
803.28/804.30	o 874
812.73/813.78	o 873
822.23/823.29	o 872
831.73/832.75	o 871
841.32/842.30	o 870
850.70/851.79	o 869
860.30/861.36	o 868
869.90/870.92	o 867
879.53/880.63	o 866
889.13/890.23	o 865
898.83/899.92	o 864
908.42/909.58	o 863
918.11/919.23	o 862
927.80/928.91	o 861
937.50/938.65	o 860
947.20/948.35	o 859
957.00/958.15	o 858
966.79/967.94	o 857
976.59/977.75	o 856
986.47/987.61	o 855
996.27/997.46	o 854
1006.17/1007.34	o 853
1016.07/1017.24	o 852
1025.97/1027.15	o 851
1035.96/1037.10	o 850
1045.84/1047.06	o 849
1055.84/1057.05	o 848
1065.83/1067.06	o 847
1075.83/1077.08	o 846
1085.82/1087.07	o 845
1095.92/1097.11	o 844
1105.91/1107.19	o 843
1116.06/1117.34	o 842
1126.15/1127.48	o 841
1136.36/1137.63	o 840
1146.46/1147.78	o 839
1156.61/1157.98	o 838
1166.80/1168.20	o 837
1177.09/1178.43	o 836
1187.29/1188.67	o 835
1197.59/1198.95	o 834
1207.88/1209.22	o 833
1218.18/1219.54	o 832
1228.48/1229.85	o 831
1238.76/1240.20	o 830
1249.17/1250.53	o 829
1259.57/1260.95	o 828
1269.96/1271.32	o 827
1280.36/1281.79	o 826
1290.76/1292.19	o 825
1300.85/1302.25	o 824
1311.04/1312.42	o 823
1321.13/1322.55	o 822
1331.32/1332.76	o 821
1341.51/1342.91	o 820
1351.61/1353.10	o 819
1361.93/1363.47	o 818
1372.11/1373.66	o 817
1382.30/1383.85	o 816
1392.59/1394.15	o 815
1402.88/1404.41	o 814
1413.08/1414.70	o 813
1423.47/1425.02	o 812
1433.77/1435.36	o 811
1444.05/1445.68	o 810
1454.45/1456.07	o 809
1465.05/1466.70	o 808
1475.43/1477.18	o 807
1485.93/1487.65	o 806
1496.27/1498.09	o 805
1506.87/1508.60	o 804
1517.26/1519.07	o 803
1527.85/1529.61	o 802
1538.26/1540.07	o 801
1548.85/1550.64	o 800
1559.33/1561.13	o 799
1569.92/1571.76	o 798
1580.42/1582.27	o 797
1591.12/1592.97	o 796
1601.71/1603.58	o 795
1612.48/1614.35	o 794
1623.07/1624.98	o 793
1633.77/1635.63	o 792
1644.38/1646.25	o 791
1655.18/1657.11	o 790
1665.87/1667.82	o 789
1676.66/1678.60	o 788
1687.45/1689.40	o 787
1698.04/1700.09	o 786
1708.84/1710.88	o 785
1719.63/1721.62	o 784
1730.47/1732.66	o 783
1741.16/1743.39	o 782
1752.07/1754.27	o 781
1762.86/1765.05	o 780
1773.64/1775.87	o 779
1784.44/1786.69	o 778
1795.33/1797.57	o 777
1800.01/1802.22	c Somebody sent me a SIGTERM
1800.01/1802.22	s SATISFIABLE
1800.01/1802.22	v x1 x2 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38
1800.01/1802.22	v x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72
1800.01/1802.22	v x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104
1800.01/1802.22	v x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130
1800.01/1802.22	v x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156
1800.01/1802.22	v x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182
1800.01/1802.22	v x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208
1800.01/1802.22	v x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234
1800.01/1802.22	v x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260
1800.01/1802.22	v x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286
1800.01/1802.22	v x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312
1800.01/1802.22	v x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338
1800.01/1802.22	v x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364
1800.01/1802.22	v x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390
1800.01/1802.22	v x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416
1800.01/1802.22	v x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442
1800.01/1802.22	v x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468
1800.01/1802.22	v x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494
1800.01/1802.22	v x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520
1800.01/1802.22	v x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546
1800.01/1802.22	v x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572
1800.01/1802.22	v x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 x596 x597 x598
1800.01/1802.22	v x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624
1800.01/1802.22	v x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 x647 x648 x649 x650
1800.01/1802.22	v x651 x652 x653 x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676
1800.01/1802.22	v x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702
1800.01/1802.22	v x703 x704 x705 x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x724 x725 x726 x727 x728
1800.01/1802.22	v x729 x730 x731 x732 x733 x734 x735 x736 x737 x738 x739 x740 x741 x742 x743 x744 x745 x746 x747 x748 x749 x750 x751 x752 x753 x754
1800.01/1802.22	v x755 x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x1083
1800.01/1802.22	v x1085 x1088 x1089 x1090 x1091 x1092 x1093 x1094 x1095 x1097 x1098 x1099 x1100 x1101 x1104 x1105 x1106 x1107 x1108 x1109 x1110
1800.01/1802.22	v x1111 x1112 x1113 x1114 x1115 x1116 x1117 x1118 x1119 x26771 x26772 x26773 x26774 x26775 x26776 x26777 x26778 x26779 x26780
1800.01/1802.22	v x26781 x26782 x26783 x26784 x26785 x26786 x26787 x26788 x26789 x26790 x26791 x26792 x26793 x26794 x26798 x26799 x26800
1800.01/1802.22	v x26801 x26802 x26803 x26804 x26805 x26806 x26807 x26808 x26809 x26810 x26811 x26812 x26813 x26814 x26815 x26816 x26817
1800.01/1802.22	v x26818 x26819 x26820 x26821 x26827 x26828 x26829 x26830 x26831 x26832 x26833 x26834 x26835 x26836 x26837 x26838 x26839
1800.01/1802.22	v x26840 x26841 x26842 x26843 x26844 x26845 x26846 x26847 x26848 x26849 x26850 x26854 x26855 x26856 x26857 x26858 x26859
1800.01/1802.22	v x26860 x26861 x26862 x26863 x26864 x26865 x26866 x26867 x26868 x26869 x26870 x26871 x26872 x26873 x26881 x26882 x26883
1800.01/1802.22	v x26884 x26885 x26886 x26887 x26888 x26889 x26890 x26891 x26892 x26893 x26894 x26895 x26896 x26897 x26898 x26899 x26900
1800.01/1802.22	v x26901 x26902 x26903 x26911 x26912 x26913 x26914 x26915 x26916 x26917 x26918 x26919 x26920 x26921 x26922 x26923 x26924
1800.01/1802.22	v x26925 x26926 x26927 x26928 x26929 x26930 x26931 x26932 x26933 x26934 x26935 x26939 x26940 x26941 x26942 x26943 x26944
1800.01/1802.22	v x26945 x26946 x26947 x26948 x26949 x26950 x26951 x26952 x26953 x26954 x26955 x26956 x26957 x26958 x26959 x26960 x26961
1800.01/1802.22	v x26966 x26967 x26968 x26969 x26970 x26971 x26972 x26973 x26974 x26975 x26976 x26977 x26978 x26979 x26980 x26981 x26982
1800.01/1802.22	v x26983 x26984 x26985 x26986 x26987 x26993 x26994 x26995 x26996 x26997 x26998 x26999 x27000 x27001 x27002 x27003 x27004
1800.01/1802.22	v x27005 x27006 x27007 x27008 x27009 x27010 x27011 x27012 x27020 x27021 x27022 x27023 x27024 x27025 x27026 x27027 x27028
1800.01/1802.22	v x27029 x27030 x27031 x27032 x27033 x27034 x27035 x27036 x27037 x27038 x27039 x27040 x27041 x27042 x27048 x27049 x27050
1800.01/1802.22	v x27051 x27052 x27053 x27054 x27055 x27056 x27057 x27058 x27059 x27060 x27061 x27062 x27063 x27064 x27065 x27066 x27067
1800.01/1802.22	v x27068 x27069 x27070 x27071 x27075 x27076 x27077 x27078 x27079 x27080 x27081 x27082 x27083 x27084 x27085 x27086 x27087
1800.01/1802.22	v x27088 x27089 x27090 x27091 x27092 x27093 x27094 x27095 x27096 x27097 x27098 x27103 x27104 x27105 x27106 x27107 x27108
1800.01/1802.22	v x27109 x27110 x27111 x27112 x27113 x27114 x27115 x27116 x27117 x27118 x27119 x27120 x27121 x27122 x27123 x27124 x27125
1800.01/1802.22	v x27134 x27135 x27136 x27137 x27138 x27139 x27140 x27141 x27142 x27143 x27144 x27145 x27146 x27147 x27148 x27149 x27150
1800.01/1802.22	v x27151 x27152 x27153 x27154 x27155 x27156 x27160 x27161 x27162 x27163 x27164 x27165 x27166 x27167 x27168 x27169 x27170
1800.01/1802.22	v x27171 x27172 x27173 x27174 x27175 x27176 x27177 x27178 x27179 x27180 x27188 x27189 x27190 x27191 x27192 x27193 x27194
1800.01/1802.22	v x27195 x27196 x27197 x27198 x27199 x27200 x27201 x27202 x27203 x27204 x27205 x27206 x27207 x27208 x27209 x27210 x27215
1800.01/1802.22	v x27216 x27217 x27218 x27219 x27220 x27221 x27222 x27223 x27224 x27225 x27226 x27227 x27228 x27229 x27230 x27231 x27232
1800.01/1802.22	v x27233 x27234 x27235 x27236 x27237 x27242 x27243 x27244 x27245 x27246 x27247 x27248 x27249 x27250 x27251 x27252 x27253
1800.01/1802.22	v x27254 x27255 x27256 x27257 x27258 x27259 x27260 x27261 x27262 x27263 x27264 x27265 x27266 x27267 x27270 x27271 x27272
1800.01/1802.22	v x27273 x27274 x27275 x27276 x27277 x27278 x27279 x27280 x27281 x27282 x27283 x27284 x27285 x27286 x27287 x27288 x27289
1800.01/1802.22	v x27290 x27296 x27297 x27298 x27299 x27300 x27301 x27302 x27303 x27304 x27305 x27306 x27307 x27308 x27309 x27310 x27311
1800.01/1802.22	v x27312 x27313 x27314 x27315 x27316 x27317 x27324 x27325 x27326 x27327 x27328 x27329 x27330 x27331 x27332 x27333 x27334
1800.01/1802.22	v x27335 x27336 x27337 x27338 x27339 x27340 x27341 x27342 x27343 x27344 x27355 x27356 x27357 x27358 x27359 x27360 x27361
1800.01/1802.22	v x27362 x27363 x27364 x27365 x27366 x27367 x27368 x27369 x27370 x27371 x27372 x27373 x27374 x27375 x27376 x27377 x27383
1800.01/1802.22	v x27384 x27385 x27386 x27387 x27388 x27389 x27390 x27391 x27392 x27393 x27394 x27395 x27396 x27397 x27398 x27399 x27400
1800.01/1802.22	v x27401 x27402 x27403 x27404 x27405 x27411 x27412 x27413 x27414 x27415 x27416 x27417 x27418 x27419 x27420 x27421 x27422
1800.01/1802.22	v x27423 x27424 x27425 x27426 x27427 x27428 x27429 x27430 x27431 x27440 x27441 x27442 x27443 x27444 x27445 x27446 x27447
1800.01/1802.22	v x27448 x27449 x27450 x27451 x27452 x27453 x27454 x27455 x27456 x27457 x27458 x27459 x27460 x27461 x27462 x27465 x27466
1800.01/1802.22	v x27467 x27468 x27469 x27470 x27471 x27472 x27473 x27474 x27475 x27476 x27477 x27478 x27479 x27480 x27481 x27482 x27483
1800.01/1802.22	v x27484 x27485 x27486 x27487 x27488 x27489 x27492 x27493 x27494 x27495 x27496 x27497 x27498 x27499 x27500 x27501 x27502
1800.01/1802.22	v x27503 x27504 x27505 x27506 x27507 x27508 x27509 x27510 x27511 x27512 x27513 x27517 x27518 x27519 x27520 x27521 x27522
1800.01/1802.22	v x27523 x27524 x27525 x27526 x27527 x27528 x27529 x27530 x27531 x27532 x27533 x27534 x27535 x27536 x27537 x27538 x27539
1800.01/1802.22	v x27540 x27542 x27543 x27544 x27545 x27546 x27547 x27548 x27549 x27550 x27551 x27552 x27553 x27554 x27555 x27556 x27557
1800.01/1802.22	v x27558 x27559 x27560 x27561 x27562 x27563 x27564 x27567 x27568 x27569 x27570 x27571 x27572 x27573 x27574 x27575 x27576
1800.01/1802.22	v x27577 x27578 x27579 x27580 x27581 x27582 x27583 x27584 x27585 x27586 x27587 x27588 x27593 x27594 x27595 x27596 x27597
1800.01/1802.22	v x27598 x27599 x27600 x27601 x27602 x27603 x27604 x27605 x27606 x27607 x27608 x27609 x27610 x27611 x27612 x27613 x27614
1800.01/1802.22	v x27615 x27619 x27620 x27621 x27622 x27623 x27624 x27625 x27626 x27627 x27628 x27629 x27630 x27631 x27632 x27633 x27634
1800.01/1802.22	v x27635 x27636 x27637 x27638 x27639 x27640 x27641 x27648 x27649 x27650 x27651 x27652 x27653 x27654 x27655 x27656 x27657
1800.01/1802.22	v x27658 x27659 x27660 x27661 x27662 x27663 x27664 x27665 x27666 x27667 x27668 x27669 x27677 x27678 x27679 x27680 x27681
1800.01/1802.22	v x27682 x27683 x27684 x27685 x27686 x27687 x27688 x27689 x27690 x27691 x27692 x27693 x27694 x27695 x27696 x27697 x27698
1800.01/1802.22	v x27699 x27700 x27702 x27703 x27704 x27705 x27706 x27707 x27708 x27709 x27710 x27711 x27712 x27713 x27714 x27715 x27716
1800.01/1802.22	v x27717 x27718 x27719 x27720 x27721 x27722 x27723 x27730 x27731 x27732 x27733 x27734 x27735 x27736 x27737 x27738 x27739
1800.01/1802.22	v x27740 x27741 x27742 x27743 x27744 x27745 x27746 x27747 x27748 x27749 x27750 x27751 x27752 x27753 x27757 x27758 x27759
1800.01/1802.22	v x27760 x27761 x27762 x27763 x27764 x27765 x27766 x27767 x27768 x27769 x27770 x27771 x27783 x27784 x27785 x27786 x27787
1800.01/1802.22	v x27788 x27789 x27790 x27791 x27792 x27793 x27794 x27795 x27796 x27797 x27798 x27799 x27800 x27801 x27810 x27811 x27812
1800.01/1802.22	v x27813 x27814 x27815 x27816 x27817 x27818 x27819 x27820 x27821 x27822 x27823 x27824 x27825 x27826 x27827 x27828 x27829
1800.01/1802.22	v x27839 x27840 x27841 x27842 x27843 x27844 x27845 x27846 x27847 x27848 x27849 x27850 x27851 x27852 x27853 x27854 x27855
1800.01/1802.22	v x27856 x27857 x27858 x27859 x27860 x27861 x27866 x27867 x27868 x27869 x27870 x27871 x27872 x27873 x27874 x27875 x27876
1800.01/1802.22	v x27877 x27878 x27879 x27880 x27881 x27882 x27883 x27884 x27885 x27886 x27887 x27894 x27895 x27896 x27897 x27898 x27899
1800.01/1802.22	v x27900 x27901 x27902 x27903 x27904 x27905 x27906 x27907 x27908 x27909 x27910 x27911 x27912 x27913 x27914 x27915 x27916
1800.01/1802.22	v x27917 x27921 x27922 x27923 x27924 x27925 x27926 x27927 x27928 x27929 x27930 x27931 x27932 x27933 x27934 x27935 x27936
1800.01/1802.22	v x27937 x27938 x27939 x27940 x27949 x27950 x27951 x27952 x27953 x27954 x27955 x27956 x27957 x27958 x27959 x27960 x27961
1800.01/1802.22	v x27962 x27963 x27964 x27965 x27966 x27967 x27968 x27969 x27970 x27976 x27977 x27978 x27979 x27980 x27981 x27982 x27983
1800.01/1802.22	v x27984 x27985 x27986 x27987 x27988 x27989 x27990 x27991 x27992 x27993 x27994 x27995 x27996 x27997 x27998 x27999 x28003
1800.01/1802.22	v x28004 x28005 x28006 x28007 x28008 x28009 x28010 x28011 x28012 x28013 x28014 x28015 x28016 x28017 x28018 x28019 x28020
1800.01/1802.22	v x28021 x28028 x28029 x28030 x28031 x28032 x28033 x28034 x28035 x28036 x28037 x28038 x28039 x28040 x28041 x28042 x28043
1800.01/1802.22	v x28044 x28045 x28046 x28047 x28048 x28049 x28050 x28051 x28058 x28059 x28060 x28061 x28062 x28063 x28064 x28065 x28066
1800.01/1802.22	v x28067 x28068 x28069 x28070 x28071 x28072 x28073 x28074 x28075 x28076 x28077 x28078 x28079 x28084 x28085 x28086 x28087
1800.01/1802.22	v x28088 x28089 x28090 x28091 x28092 x28093 x28094 x28095 x28096 x28097 x28098 x28099 x28100 x28101 x28102 x28103 x28104
1800.01/1802.22	v x28105 x28106 x28111 x28112 x28113 x28114 x28115 x28116 x28117 x28118 x28119 x28120 x28121 x28122 x28123 x28124 x28125
1800.01/1802.22	v x28126 x28127 x28128 x28129 x28130 x28140 x28141 x28142 x28143 x28144 x28145 x28146 x28147 x28148 x28149 x28150 x28151
1800.01/1802.22	v x28152 x28153 x28154 x28155 x28156 x28157 x28158 x28159 x28160 x28161 x28172 x28173 x28174 x28175 x28176 x28177 x28178
1800.01/1802.22	v x28179 x28180 x28181 x28182 x28183 x28184 x28185 x28186 x28187 x28188 x28200 x28201 x28202 x28203 x28204 x28205 x28206
1800.01/1802.22	v x28207 x28208 x28209 x28210 x28211 x28212 x28213 x28214 x28215 x28216 x28217 x28218 x28219 x28220 x28221 x28222 x28225
1800.01/1802.22	v x28226 x28227 x28228 x28229 x28230 x28231 x28232 x28233 x28234 x28235 x28236 x28237 x28238 x28239 x28240 x28241 x28242
1800.01/1802.22	v x28243 x28244 x28245 x28246 x28251 x28252 x28253 x28254 x28255 x28256 x28257 x28258 x28259 x28260 x28261 x28262 x28263
1800.01/1802.22	v x28264 x28265 x28266 x28267 x28268 x28269 x28270 x28271 x28272 x28277 x28278 x28279 x28280 x28281 x28282 x28283 x28284
1800.01/1802.22	v x28285 x28286 x28287 x28288 x28289 x28290 x28291 x28292 x28293 x28294 x28295 x28296 x28304 x28305 x28306 x28307 x28308
1800.01/1802.22	v x28309 x28310 x28311 x28312 x28313 x28314 x28315 x28316 x28317 x28318 x28319 x28320 x28321 x28322 x28323 x28324 x28325
1800.01/1802.22	v x28326 x28331 x28332 x28333 x28334 x28335 x28336 x28337 x28338 x28339 x28340 x28341 x28342 x28343 x28344 x28345 x28346
1800.01/1802.22	v x28347 x28348 x28349 x28350 x28351 x28352 x28360 x28361 x28362 x28363 x28364 x28365 x28366 x28367 x28368 x28369 x28370
1800.01/1802.22	v x28371 x28372 x28373 x28374 x28375 x28376 x28377 x28378 x28379 x28380 x28388 x28389 x28390 x28391 x28392 x28393 x28394
1800.01/1802.22	v x28395 x28396 x28397 x28398 x28399 x28400 x28401 x28402 x28403 x28404 x28405 x28406 x28407 x28408 x28409 x28410 x28415
1800.01/1802.22	v x28416 x28417 x28418 x28419 x28420 x28421 x28422 x28423 x28424 x28425 x28426 x28427 x28428 x28429 x28430 x28431 x28432
1800.01/1802.22	v x28433 x28434 x28435 x28436 x28441 x28442 x28443 x28444 x28445 x28446 x28447 x28448 x28449 x28450 x28451 x28452 x28453
1800.01/1802.22	v x28454 x28455 x28456 x28457 x28458 x28459 x28460 x28461 x28468 x28469 x28470 x28471 x28472 x28473 x28474 x28475 x28476
1800.01/1802.22	v x28477 x28478 x28479 x28480 x28481 x28482 x28483 x28484 x28485 x28486 x28487 x28488 x28495 x28496 x28497 x28498 x28499
1800.01/1802.22	v x28500 x28501 x28502 x28503 x28504 x28505 x28506 x28507 x28508 x28509 x28510 x28511 x28512 x28513 x28514 x28515 x28520
1800.01/1802.22	v x28521 x28522 x28523 x28524 x28525 x28526 x28527 x28528 x28529 x28530 x28531 x28532 x28533 x28534 x28535 x28536 x28537
1800.01/1802.22	v x28538 x28539 x28546 x28547 x28548 x28549 x28550 x28551 x28552 x28553 x28554 x28555 x28556 x28557 x28558 x28559 x28560
1800.01/1802.22	v x28561 x28562 x28563 x28564 x28565 x28566 x28567 x28573 x28574 x28575 x28576 x28577 x28578 x28579 x28580 x28581 x28582
1800.01/1802.22	v x28583 x28584 x28585 x28586 x28587 x28588 x28589 x28590 x28591 x28592 x28593 x28594 x28595 x28598 x28599 x28600 x28601
1800.01/1802.22	v x28602 x28603 x28604 x28605 x28606 x28607 x28608 x28609 x28610 x28611 x28612 x28613 x28614 x28615 x28616 x28617 x28623
1800.01/1802.22	v x28624 x28625 x28626 x28627 x28628 x28629 x28630 x28631 x28632 x28633 x28634 x28635 x28636 x28637 x28638 x28639 x28640
1800.01/1802.22	v x28641 x28642 x28643 x28644 x28649 x28650 x28651 x28652 x28653 x28654 x28655 x28656 x28657 x28658 x28659 x28660 x28661
1800.01/1802.22	v x28662 x28663 x28664 x28665 x28666 x28675 x28676 x28677 x28678 x28679 x28680 x28681 x28682 x28683 x28684 x28685 x28686
1800.01/1802.22	v x28687 x28688 x28689 x28690 x28691 x28692 x28693 x28694 x28695 x28696 x28697 x28701 x28702 x28703 x28704 x28705 x28706
1800.01/1802.22	v x28707 x28708 x28709 x28710 x28711 x28712 x28713 x28714 x28715 x28716 x28717 x28718 x28719 x28720 x28721 x28722 x28729
1800.01/1802.22	v x28730 x28731 x28732 x28733 x28734 x28735 x28736 x28737 x28738 x28739 x28740 x28741 x28742 x28743 x28744 x28745 x28746
1800.01/1802.22	v x28747 x28748 x28749 x28750 x28755 x28756 x28757 x28758 x28759 x28760 x28761 x28762 x28763 x28764 x28765 x28766 x28767
1800.01/1802.22	v x28768 x28769 x28770 x28771 x28772 x28773 x28774 x28775 x28776 x28777 x28778 x28785 x28786 x28787 x28788 x28789 x28790
1800.01/1802.22	v x28791 x28792 x28793 x28794 x28795 x28796 x28797 x28798 x28799 x28800 x28801 x28802 x28803 x28804 x28812 x28813 x28814
1800.01/1802.22	v x28815 x28816 x28817 x28818 x28819 x28820 x28821 x28822 x28823 x28824 x28825 x28826 x28827 x28828 x28829 x28830 x28831
1800.01/1802.22	v x28832 x28838 x28839 x28840 x28841 x28842 x28843 x28844 x28845 x28846 x28847 x28848 x28849 x28850 x28851 x28852 x28853
1800.01/1802.22	v x28854 x28855 x28856 x28857 x28858 x28859 x28863 x28864 x28865 x28866 x28867 x28868 x28869 x28870 x28871 x28872 x28873
1800.01/1802.22	v x28874 x28875 x28876 x28877 x28878 x28879 x28880 x28881 x28882 x28883 x28884 x28892 x28893 x28894 x28895 x28896 x28897
1800.01/1802.22	v x28898 x28899 x28900 x28901 x28902 x28903 x28904 x28905 x28906 x28907 x28908 x28909 x28910 x28911 x28912 x28917 x28918
1800.01/1802.22	v x28919 x28920 x28921 x28922 x28923 x28924 x28925 x28926 x28927 x28928 x28929 x28930 x28931 x28932 x28933 x28934 x28935
1800.01/1802.22	v x28936 x28937 x28938 x28942 x28943 x28944 x28945 x28946 x28947 x28948 x28949 x28950 x28951 x28952 x28953 x28954 x28955
1800.01/1802.22	v x28956 x28957 x28958 x28959 x28960 x28961 x28962 x28963 x28964 x28968 x28969 x28970 x28971 x28972 x28973 x28974 x28975
1800.01/1802.22	v x28976 x28977 x28978 x28979 x28980 x28981 x28982 x28983 x28984 x28985 x28986 x28993 x28994 x28995 x28996 x28997 x28998
1800.01/1802.22	v x28999 x29000 x29001 x29002 x29003 x29004 x29005 x29006 x29007 x29008 x29009 x29010 x29011 x29012 x29013 x29014 x29020
1800.01/1802.22	v x29021 x29022 x29023 x29024 x29025 x29026 x29027 x29028 x29029 x29030 x29031 x29032 x29033 x29034 x29035 x29036 x29037
1800.01/1802.22	v x29038 x29039 x29040 x29041 x29042 x29047 x29048 x29049 x29050 x29051 x29052 x29053 x29054 x29055 x29056 x29057 x29058
1800.01/1802.22	v x29059 x29060 x29061 x29062 x29063 x29064 x29065 x29066 x29067 x29068 x29073 x29074 x29075 x29076 x29077 x29078 x29079
1800.01/1802.22	v x29080 x29081 x29082 x29083 x29084 x29085 x29086 x29087 x29088 x29089 x29090 x29091 x29092 x29093 x29094 x29100 x29101
1800.01/1802.22	v x29102 x29103 x29104 x29105 x29106 x29107 x29108 x29109 x29110 x29111 x29112 x29113 x29114 x29115 x29116 x29117 x29126
1800.01/1802.22	v x29127 x29128 x29129 x29130 x29131 x29132 x29133 x29134 x29135 x29136 x29137 x29138 x29139 x29140 x29141 x29142 x29143
1800.01/1802.22	v x29144 x29145 x29146 x29147 x29148 x29149 x29150 x29153 x29154 x29155 x29156 x29157 x29158 x29159 x29160 x29161 x29162
1800.01/1802.22	v x29163 x29164 x29165 x29166 x29167 x29168 x29169 x29170 x29171 x29172 x29173 x29182 x29183 x29184 x29185 x29186 x29187
1800.01/1802.22	v x29188 x29189 x29190 x29191 x29192 x29193 x29194 x29195 x29196 x29197 x29198 x29199 x29200 x29201 x29202 x29203 x29204
1800.01/1802.22	v x29207 x29208 x29209 x29210 x29211 x29212 x29213 x29214 x29215 x29216 x29217 x29218 x29219 x29220 x29221 x29222 x29223
1800.01/1802.22	v x29224 x29225 x29226 x29227 x29228 x29234 x29235 x29236 x29237 x29238 x29239 x29240 x29241 x29242 x29243 x29244 x29245
1800.01/1802.22	v x29246 x29247 x29248 x29249 x29250 x29251 x29252 x29253 x29254 x29255 x29261 x29262 x29263 x29264 x29265 x29266 x29267
1800.01/1802.22	v x29268 x29269 x29270 x29271 x29272 x29273 x29274 x29275 x29276 x29277 x29278 x29279 x29280 x29281 x29282 x29288 x29289
1800.01/1802.22	v x29290 x29291 x29292 x29293 x29294 x29295 x29296 x29297 x29298 x29299 x29300 x29301 x29302 x29303 x29304 x29305 x29306
1800.01/1802.22	v x29307 x29308 x29309 x29314 x29315 x29316 x29317 x29318 x29319 x29320 x29321 x29322 x29323 x29324 x29325 x29326 x29327
1800.01/1802.22	v x29328 x29329 x29330 x29331 x29332 x29333 x29340 x29341 x29342 x29343 x29344 x29345 x29346 x29347 x29348 x29349 x29350
1800.01/1802.22	v x29351 x29352 x29353 x29354 x29355 x29356 x29357 x29358 x29359 x29360 x29361 x29362 x29368 x29369 x29370 x29371 x29372
1800.01/1802.22	v x29373 x29374 x29375 x29376 x29377 x29378 x29379 x29380 x29381 x29382 x29383 x29384 x29385 x29386 x29387 x29388 x29394
1800.01/1802.22	v x29395 x29396 x29397 x29398 x29399 x29400 x29401 x29402 x29403 x29404 x29405 x29406 x29407 x29408 x29409 x29410 x29411
1800.01/1802.22	v x29412 x29413 x29414 x29415 x29416 x29417 x29419 x29420 x29421 x29422 x29423 x29424 x29425 x29426 x29427 x29428 x29429
1800.01/1802.22	v x29430 x29431 x29432 x29433 x29434 x29435 x29436 x29437 x29438 x29439 x29446 x29447 x29448 x29449 x29450 x29451 x29452
1800.01/1802.22	v x29453 x29454 x29455 x29456 x29457 x29458 x29459 x29460 x29461 x29462 x29463 x29464 x29473 x29474 x29475 x29476 x29477
1800.01/1802.22	v x29478 x29479 x29480 x29481 x29482 x29483 x29484 x29485 x29486 x29487 x29488 x29489 x29490 x29491 x29492 x29493 x29494
1800.01/1802.22	v x29498 x29499 x29500 x29501 x29502 x29503 x29504 x29505 x29506 x29507 x29508 x29509 x29510 x29511 x29512 x29513 x29514
1800.01/1802.22	v x29515 x29516 x29517 x29518 x29519 x29520 x29521 x29525 x29526 x29527 x29528 x29529 x29530 x29531 x29532 x29533 x29534
1800.01/1802.22	v x29535 x29536 x29537 x29538 x29539 x29540 x29541 x29542 x29543 x29544 x29545 x29546 x29547 x29548 x29553 x29554 x29555
1800.01/1802.22	v x29556 x29557 x29558 x29559 x29560 x29561 x29562 x29563 x29564 x29565 x29566 x29567 x29568 x29569 x29570 x29571 x29572
1800.01/1802.22	v x29573 x29574 x29579 x29580 x29581 x29582 x29583 x29584 x29585 x29586 x29587 x29588 x29589 x29590 x29591 x29592 x29593
1800.01/1802.22	v x29594 x29595 x29596 x29597 x29598 x29599 x29600 x29601 x29605 x29606 x29607 x29608 x29609 x29610 x29611 x29612 x29613
1800.01/1802.22	v x29614 x29615 x29616 x29617 x29618 x29619 x29620 x29621 x29622 x29623 x29624 x29625 x29626 x29627 x29632 x29633 x29634
1800.01/1802.22	v x29635 x29636 x29637 x29638 x29639 x29640 x29641 x29642 x29643 x29644 x29645 x29646 x29647 x29648 x29649 x29650 x29651
1800.01/1802.22	v x29652 x29653 x29654 x29658 x29659 x29660 x29661 x29662 x29663 x29664 x29665 x29666 x29667 x29668 x29669 x29670 x29671
1800.01/1802.22	v x29672 x29673 x29674 x29675 x29676 x29677 x29678 x29679 x29683 x29684 x29685 x29686 x29687 x29688 x29689 x29690 x29691
1800.01/1802.22	v x29692 x29693 x29694 x29695 x29696 x29697 x29698 x29699 x29700 x29701 x29702 x29703 x29704 x29709 x29710 x29711 x29712
1800.01/1802.22	v x29713 x29714 x29715 x29716 x29717 x29718 x29719 x29720 x29721 x29722 x29723 x29724 x29725 x29726 x29727 x29728 x29729
1800.01/1802.22	v x29730 x29731 x29736 x29737 x29738 x29739 x29740 x29741 x29742 x29743 x29744 x29745 x29746 x29747 x29748 x29749 x29750
1800.01/1802.22	v x29751 x29752 x29753 x29754 x29755 x29756 x29757 x29758 x29761 x29762 x29763 x29764 x29765 x29766 x29767 x29768 x29769
1800.01/1802.22	v x29770 x29771 x29772 x29773 x29774 x29775 x29776 x29777 x29778 x29779 x29780 x29781 x29782 x29783 x29787 x29788 x29789
1800.01/1802.22	v x29790 x29791 x29792 x29793 x29794 x29795 x29796 x29797 x29798 x29799 x29800 x29801 x29802 x29803 x29804 x29805 x29806
1800.01/1802.22	v x29807 x29808 x29814 x29815 x29816 x29817 x29818 x29819 x29820 x29821 x29822 x29823 x29824 x29825 x29826 x29827 x29828
1800.01/1802.22	v x29829 x29830 x29831 x29832 x29833 x29834 x29835 x29836 x29840 x29841 x29842 x29843 x29844 x29845 x29846 x29847 x29848
1800.01/1802.22	v x29849 x29850 x29851 x29852 x29853 x29854 x29855 x29856 x29857 x29858 x29866 x29867 x29868 x29869 x29870 x29871 x29872
1800.01/1802.22	v x29873 x29874 x29875 x29876 x29877 x29878 x29879 x29880 x29881 x29882 x29883 x29884 x29885 x29892 x29893 x29894 x29895
1800.01/1802.22	v x29896 x29897 x29898 x29899 x29900 x29901 x29902 x29903 x29904 x29905 x29906 x29907 x29908 x29909 x29910 x29911 x29912
1800.01/1802.22	v x29918 x29919 x29920 x29921 x29922 x29923 x29924 x29925 x29926 x29927 x29928 x29929 x29930 x29931 x29932 x29933 x29934
1800.01/1802.22	v x29935 x29936 x29937 x29938 x29944 x29945 x29946 x29947 x29948 x29949 x29950 x29951 x29952 x29953 x29954 x29955 x29956
1800.01/1802.22	v x29957 x29958 x29959 x29960 x29961 x29962 x29963 x29969 x29970 x29971 x29972 x29973 x29974 x29975 x29976 x29977 x29978
1800.01/1802.22	v x29979 x29980 x29981 x29982 x29983 x29984 x29985 x29986 x29987 x29988 x29989 x29990 x29996 x29997 x29998 x29999 x30000
1800.01/1802.22	v x30001 x30002 x30003 x30004 x30005 x30006 x30007 x30008 x30009 x30010 x30011 x30012 x30013 x30014 x30021 x30022 x30023
1800.01/1802.22	v x30024 x30025 x30026 x30027 x30028 x30029 x30030 x30031 x30032 x30033 x30034 x30035 x30036 x30037 x30038 x30039 x30040
1800.01/1802.22	v x30041 x30042 x30047 x30048 x30049 x30050 x30051 x30052 x30053 x30054 x30055 x30056 x30057 x30058 x30059 x30060 x30061
1800.01/1802.22	v x30062 x30063 x30064 x30065 x30066 x30067 x30074 x30075 x30076 x30077 x30078 x30079 x30080 x30081 x30082 x30083 x30084
1800.01/1802.22	v x30085 x30086 x30087 x30088 x30089 x30090 x30091 x30092 x30093 x30099 x30100 x30101 x30102 x30103 x30104 x30105 x30106
1800.01/1802.22	v x30107 x30108 x30109 x30110 x30111 x30112 x30113 x30114 x30115 x30116 x30117 x30118 x30119 x30125 x30126 x30127 x30128
1800.01/1802.22	v x30129 x30130 x30131 x30132 x30133 x30134 x30135 x30136 x30137 x30138 x30139 x30140 x30141 x30142 x30150 x30151 x30152
1800.01/1802.22	v x30153 x30154 x30155 x30156 x30157 x30158 x30159 x30160 x30161 x30162 x30163 x30164 x30165 x30166 x30167 x30168 x30169
1800.01/1802.22	v x30170 x30171 x30175 x30176 x30177 x30178 x30179 x30180 x30181 x30182 x30183 x30184 x30185 x30186 x30187 x30188 x30189
1800.01/1802.22	v x30190 x30191 x30192 x30193 x30194 x30195 x30196 x30200 x30201 x30202 x30203 x30204 x30205 x30206 x30207 x30208 x30209
1800.01/1802.22	v x30210 x30211 x30212 x30213 x30225 x30226 x30227 x30228 x30229 x30230 x30231 x30232 x30233 x30234 x30235 x30236 x30237
1800.01/1802.22	v x30238 x30239 x30240 x30241 x30242 x30243 x30244 x30245 x30246 x30252 x30253 x30254 x30255 x30256 x30257 x30258 x30259
1800.01/1802.22	v x30260 x30261 x30262 x30263 x30264 x30265 x30266 x30267 x30268 x30269 x30270 x30278 x30279 x30280 x30281 x30282 x30283
1800.01/1802.22	v x30284 x30285 x30286 x30287 x30288 x30289 x30290 x30291 x30292 x30293 x30294 x30295 x30296 x30297 x30298 x30299 x30303
1800.01/1802.22	v x30304 x30305 x30306 x30307 x30308 x30309 x30310 x30311 x30312 x30313 x30314 x30315 x30316 x30317 x30318 x30319 x30320
1800.01/1802.22	v x30321 x30322 x30323 x30324 x30325 x30326 x30329 x30330 x30331 x30332 x30333 x30334 x30335 x30336 x30337 x30338 x30339
1800.01/1802.22	v x30340 x30341 x30342 x30343 x30344 x30345 x30346 x30347 x30348 x30349 x30350 x30354 x30355 x30356 x30357 x30358 x30359
1800.01/1802.22	v x30360 x30361 x30362 x30363 x30364 x30365 x30366 x30367 x30368 x30369 x30370 x30371 x30372 x30373 x30374 x30379 x30380
1800.01/1802.22	v x30381 x30382 x30383 x30384 x30385 x30386 x30387 x30388 x30389 x30390 x30391 x30392 x30393 x30394 x30405 x30406 x30407
1800.01/1802.22	v x30408 x30409 x30410 x30411 x30412 x30413 x30414 x30415 x30416 x30417 x30418 x30419 x30420 x30421 x30422 x30423 x30424
1800.01/1802.22	v x30425 x30432 x30433 x30434 x30435 x30436 x30437 x30438 x30439 x30440 x30441 x30442 x30443 x30444 x30445 x30446 x30447
1800.01/1802.22	v x30448 x30449 x30450 x30451 x30452 x30453 x30454 x30458 x30459 x30460 x30461 x30462 x30463 x30464 x30465 x30466 x30467
1800.01/1802.22	v x30468 x30469 x30470 x30471 x30472 x30473 x30474 x30475 x30476 x30477 x30478 x30485 x30486 x30487 x30488 x30489 x30490
1800.01/1802.22	v x30491 x30492 x30493 x30494 x30495 x30496 x30497 x30498 x30499 x30500 x30501 x30502 x30503 x30504 x30505 x30506 x30507
1800.01/1802.22	v x30508 x30509 x30510 x30511 x30512 x30513 x30514 x30515 x30516 x30517 x30518 x30519 x30520 x30521 x30522 x30523 x30524
1800.01/1802.22	v x30525 x30526 x30527 x30528 x30529 x30530 x30536 x30537 x30538 x30539 x30540 x30541 x30542 x30543 x30544 x30545 x30546
1800.01/1802.22	v x30547 x30548 x30549 x30550 x30551 x30552 x30553 x30554 x30555 x30556 x30561 x30562 x30563 x30564 x30565 x30566 x30567
1800.01/1802.22	v x30568 x30569 x30570 x30571 x30572 x30573 x30574 x30575 x30576 x30577 x30578 x30579 x30580 x30581 x30586 x30587 x30588
1800.01/1802.22	v x30589 x30590 x30591 x30592 x30593 x30594 x30595 x30596 x30597 x30598 x30599 x30600 x30601 x30602 x30603 x30604 x30605
1800.01/1802.22	v x30606 x30607 x30608 x30611 x30612 x30613 x30614 x30615 x30616 x30617 x30618 x30619 x30620 x30621 x30622 x30623 x30624
1800.01/1802.22	v x30625 x30626 x30627 x30628 x30629 x30630 x30631 x30632 x30633 x30634 x30636 x30637 x30638 x30639 x30640 x30641 x30642
1800.01/1802.22	v x30643 x30644 x30645 x30646 x30647 x30648 x30649 x30650 x30651 x30652 x30653 x30654 x30661 x30662 x30663 x30664 x30665
1800.01/1802.22	v x30666 x30667 x30668 x30669 x30670 x30671 x30672 x30673 x30674 x30675 x30676 x30677 x30678 x30679 x30680 x30681 x30687
1800.01/1802.22	v x30688 x30689 x30690 x30691 x30692 x30693 x30694 x30695 x30696 x30697 x30698 x30699 x30700 x30701 x30702 x30703 x30704
1800.01/1802.22	v x30705 x30706 x30707 x30712 x30713 x30714 x30715 x30716 x30717 x30718 x30719 x30720 x30721 x30722 x30723 x30724 x30725
1800.01/1802.22	v x30726 x30727 x30728 x30729 x30730 x30731 x30732 x30733 x30738 x30739 x30740 x30741 x30742 x30743 x30744 x30745 x30746
1800.01/1802.22	v x30747 x30748 x30749 x30750 x30751 x30752 x30753 x30754 x30755 x30756 x30757 x30758 x30759 x30763 x30764 x30765 x30766
1800.01/1802.22	v x30767 x30768 x30769 x30770 x30771 x30772 x30773 x30774 x30775 x30776 x30777 x30778 x30779 x30788 x30789 x30790 x30791
1800.01/1802.22	v x30792 x30793 x30794 x30795 x30796 x30797 x30798 x30799 x30800 x30801 x30802 x30803 x30804 x30805 x30814 x30815 x30816
1800.01/1802.22	v x30817 x30818 x30819 x30820 x30821 x30822 x30823 x30824 x30825 x30826 x30827 x30828 x30829 x30830 x30831 x30832 x30833
1800.01/1802.22	v x30834 x30840 x30841 x30842 x30843 x30844 x30845 x30846 x30847 x30848 x30849 x30850 x30851 x30852 x30853 x30854 x30855
1800.01/1802.22	v x30856 x30857 x30865 x30866 x30867 x30868 x30869 x30870 x30871 x30872 x30873 x30874 x30875 x30876 x30877 x30878 x30879
1800.01/1802.22	v x30880 x30881 x30882 x30883 x30884 x30885 x30886 x30887 x30888 x30890 x30891 x30892 x30893 x30894 x30895 x30896 x30897
1800.01/1802.22	v x30898 x30899 x30900 x30901 x30902 x30903 x30904 x30905 x30906 x30907 x30908 x30915 x30916 x30917 x30918 x30919 x30920
1800.01/1802.22	v x30921 x30922 x30923 x30924 x30925 x30926 x30927 x30928 x30929 x30930 x30931 x30932 x30933 x30934 x30941 x30942 x30943
1800.01/1802.22	v x30944 x30945 x30946 x30947 x30948 x30949 x30950 x30951 x30952 x30953 x30954 x30955 x30956 x30957 x30958 x30959 x30960
1800.01/1802.22	v x30961 x30967 x30968 x30969 x30970 x30971 x30972 x30973 x30974 x30975 x30976 x30977 x30978 x30979 x30980 x30981 x30982
1800.01/1802.22	v x30983 x30984 x30985 x30986 x30987 x30988 x30993 x30994 x30995 x30996 x30997 x30998 x30999 x31000 x31001 x31002 x31003
1800.01/1802.22	v x31004 x31005 x31006 x31007 x31008 x31009 x31010 x31011 x31012 x31013 x31019 x31020 x31021 x31022 x31023 x31024 x31025
1800.01/1802.22	v x31026 x31027 x31028 x31029 x31030 x31031 x31032 x31033 x31034 x31035 x31036 x31037 x31038 x31039 x31045 x31046 x31047
1800.01/1802.22	v x31048 x31049 x31050 x31051 x31052 x31053 x31054 x31055 x31056 x31057 x31058 x31059 x31060 x31061 x31071 x31072 x31073
1800.01/1802.22	v x31074 x31075 x31076 x31077 x31078 x31079 x31080 x31081 x31082 x31083 x31084 x31085 x31086 x31087 x31088 x31089 x31096
1800.01/1802.22	v x31097 x31098 x31099 x31100 x31101 x31102 x31103 x31104 x31105 x31106 x31107 x31108 x31109 x31110 x31111 x31112 x31113
1800.01/1802.22	v x31114 x31115 x31116 x31121 x31122 x31123 x31124 x31125 x31126 x31127 x31128 x31129 x31130 x31131 x31132 x31133 x31134
1800.01/1802.22	v x31135 x31136 x31137 x31138 x31139 x31140 x31141 x31142 x31147 x31148 x31149 x31150 x31151 x31152 x31153 x31154 x31155
1800.01/1802.22	v x31156 x31157 x31158 x31159 x31160 x31161 x31162 x31163 x31164 x31165 x31166 x31173 x31174 x31175 x31176 x31177 x31178
1800.01/1802.22	v x31179 x31180 x31181 x31182 x31183 x31184 x31185 x31186 x31187 x31188 x31189 x31190 x31191 x31192 x31193 x31200 x31201
1800.01/1802.22	v x31202 x31203 x31204 x31205 x31206 x31207 x31208 x31209 x31210 x31211 x31212 x31213 x31214 x31215 x31216 x31217 x31218
1800.01/1802.22	v x31219 x31225 x31226 x31227 x31228 x31229 x31230 x31231 x31232 x31233 x31234 x31235 x31236 x31237 x31238 x31239 x31240
1800.01/1802.22	v x31241 x31242 x31243 x31244 x31245 x31252 x31253 x31254 x31255 x31256 x31257 x31258 x31259 x31260 x31261 x31262 x31263
1800.01/1802.22	v x31264 x31265 x31266 x31267 x31268 x31269 x31270 x31271 x31277 x31278 x31279 x31280 x31281 x31282 x31283 x31284 x31285
1800.01/1802.22	v x31286 x31287 x31288 x31289 x31290 x31291 x31292 x31293 x31294 x31295 x31296 x31303 x31304 x31305 x31306 x31307 x31308
1800.01/1802.22	v x31309 x31310 x31311 x31312 x31313 x31314 x31315 x31316 x31317 x31318 x31319 x31320 x31321 x31322 x31323 x31324 x31325
1800.01/1802.22	v x31328 x31329 x31330 x31331 x31332 x31333 x31334 x31335 x31336 x31337 x31338 x31339 x31340 x31341 x31342 x31343 x31344
1800.01/1802.22	v x31345 x31346 x31347 x31348 x31349 x31353 x31354 x31355 x31356 x31357 x31358 x31359 x31360 x31361 x31362 x31363 x31364
1800.01/1802.22	v x31365 x31366 x31367 x31368 x31369 x31370 x31371 x31372 x31373 x31379 x31380 x31381 x31382 x31383 x31384 x31385 x31386
1800.01/1802.22	v x31387 x31388 x31389 x31390 x31391 x31392 x31393 x31394 x31395 x31396 x31404 x31405 x31406 x31407 x31408 x31409 x31410
1800.01/1802.22	v x31411 x31412 x31413 x31414 x31415 x31416 x31417 x31418 x31419 x31420 x31421 x31422 x31423 x31424 x31430 x31431 x31432
1800.01/1802.22	v x31433 x31434 x31435 x31436 x31437 x31438 x31439 x31440 x31441 x31442 x31443 x31444 x31445 x31446 x31447 x31448 x31449
1800.01/1802.22	v x31450 x31451 x31452 x31453 x31458 x31459 x31460 x31461 x31462 x31463 x31464 x31465 x31466 x31467 x31468 x31469 x31470
1800.01/1802.22	v x31471 x31472 x31473 x31474 x31475 x31476 x31477 x31478 x31479 x31486 x31487 x31488 x31489 x31490 x31491 x31492 x31493
1800.01/1802.22	v x31494 x31495 x31496 x31497 x31498 x31499 x31500 x31501 x31502 x31503 x31504 x31505 x31506 x31507 x31511 x31512 x31513
1800.01/1802.22	v x31514 x31515 x31516 x31517 x31518 x31519 x31520 x31521 x31522 x31523 x31524 x31525 x31526 x31527 x31528 x31529 x31530
1800.01/1802.22	v x31531 x31536 x31537 x31538 x31539 x31540 x31541 x31542 x31543 x31544 x31545 x31546 x31547 x31548 x31549 x31550 x31551
1800.01/1802.22	v x31552 x31553 x31554 x31555 x31556 x31562 x31563 x31564 x31565 x31566 x31567 x31568 x31569 x31570 x31571 x31572 x31573
1800.01/1802.22	v x31574 x31575 x31576 x31577 x31578 x31579 x31580 x31581 x31582 x31583 x31584 x31587 x31588 x31589 x31590 x31591 x31592
1800.01/1802.22	v x31593 x31594 x31595 x31596 x31597 x31598 x31599 x31600 x31601 x31602 x31603 x31604 x31605 x31606 x31607 x31614 x31615
1800.01/1802.22	v x31616 x31617 x31618 x31619 x31620 x31621 x31622 x31623 x31624 x31625 x31626 x31627 x31628 x31629 x31630 x31631 x31632
1800.01/1802.22	v x31633 x31634 x31635 x31636 x31638 x31639 x31640 x31641 x31642 x31643 x31644 x31645 x31646 x31647 x31648 x31649 x31650
1800.01/1802.22	v x31651 x31652 x31653 x31654 x31655 x31656 x31657 x31658 x31659 x31663 x31664 x31665 x31666 x31667 x31668 x31669 x31670
1800.01/1802.22	v x31671 x31672 x31673 x31674 x31675 x31676 x31677 x31678 x31679 x31680 x31681 x31682 x31683 x31684 x31688 x31689 x31690
1800.01/1802.22	v x31691 x31692 x31693 x31694 x31695 x31696 x31697 x31698 x31699 x31700 x31701 x31702 x31703 x31704 x31705 x31706 x31707
1800.01/1802.22	v x31708 x31713 x31714 x31715 x31716 x31717 x31718 x31719 x31720 x31721 x31722 x31723 x31724 x31725 x31726 x31727 x31728
1800.01/1802.22	v x31738 x31739 x31740 x31741 x31742 x31743 x31744 x31745 x31746 x31747 x31748 x31749 x31750 x31751 x31752 x31753 x31754
1800.01/1802.22	v x31755 x31756 x31757 x31758 x31759 x31763 x31764 x31765 x31766 x31767 x31768 x31769 x31770 x31771 x31772 x31773 x31774
1800.01/1802.22	v x31775 x31776 x31777 x31778 x31779 x31780 x31781 x31782 x31783 x31789 x31790 x31791 x31792 x31793 x31794 x31795 x31796
1800.01/1802.22	v x31797 x31798 x31799 x31800 x31801 x31802 x31803 x31804 x31805 x31806 x31815 x31816 x31817 x31818 x31819 x31820 x31821
1800.01/1802.22	v x31822 x31823 x31824 x31825 x31826 x31827 x31828 x31829 x31830 x31831 x31832 x31839 x31840 x31841 x31842 x31843 x31844
1800.01/1802.22	v x31845 x31846 x31847 x31848 x31849 x31850 x31851 x31852 x31853 x31854 x31855 x31856 x31857 x31858 x31859 x31864 x31865
1800.01/1802.22	v x31866 x31867 x31868 x31869 x31870 x31871 x31872 x31873 x31874 x31875 x31876 x31877 x31878 x31879 x31880 x31881 x31882
1800.01/1802.22	v x31883 x31884 x31885 x31886 x31889 x31890 x31891 x31892 x31893 x31894 x31895 x31896 x31897 x31898 x31899 x31900 x31901
1800.01/1802.22	v x31902 x31903 x31904 x31905 x31906 x31907 x31908 x31909 x31910 x31911 x31916 x31917 x31918 x31919 x31920 x31921 x31922
1800.01/1802.22	v x31923 x31924 x31925 x31926 x31927 x31928 x31929 x31930 x31931 x31932 x31933 x31934 x31935 x31936 x31937 x31938 x31941
1800.01/1802.22	v x31942 x31943 x31944 x31945 x31946 x31947 x31948 x31949 x31950 x31951 x31952 x31953 x31954 x31955 x31956 x31957 x31958
1800.01/1802.22	v x31959 x31960 x31961 x31966 x31967 x31968 x31969 x31970 x31971 x31972 x31973 x31974 x31975 x31976 x31977 x31978 x31979
1800.01/1802.22	v x31980 x31981 x31982 x31983 x31984 x31985 x31991 x31992 x31993 x31994 x31995 x31996 x31997 x31998 x31999 x32000 x32001
1800.01/1802.22	v x32002 x32003 x32004 x32005 x32006 x32007 x32008 x32009 x32010 x32011 x32012 x32013 x32016 x32017 x32018 x32019 x32020
1800.01/1802.22	v x32021 x32022 x32023 x32024 x32025 x32026 x32027 x32028 x32029 x32030 x32031 x32032 x32033 x32034 x32041 x32042 x32043
1800.01/1802.22	v x32044 x32045 x32046 x32047 x32048 x32049 x32050 x32051 x32052 x32053 x32054 x32055 x32056 x32057 x32058 x32059 x32066
1800.01/1802.22	v x32067 x32068 x32069 x32070 x32071 x32072 x32073 x32074 x32075 x32076 x32077 x32078 x32079 x32080 x32081 x32082 x32083
1800.01/1802.22	v x32084 x32085 x32086 x32087 x32091 x32092 x32093 x32094 x32095 x32096 x32097 x32098 x32099 x32100 x32101 x32102 x32103
1800.01/1802.22	v x32104 x32105 x32106 x32107 x32108 x32109 x32110 x32111 x32112 x32116 x32117 x32118 x32119 x32120 x32121 x32122 x32123
1800.01/1802.22	v x32124 x32125 x32126 x32127 x32128 x32129 x32130 x32131 x32132 x32133 x32134 x32135 x32136 x32141 x32142 x32143 x32144
1800.01/1802.22	v x32145 x32146 x32147 x32148 x32149 x32150 x32151 x32152 x32153 x32154 x32155 x32156 x32157 x32158 x32159 x32160 x32161
1800.01/1802.22	v x32162 x32166 x32167 x32168 x32169 x32170 x32171 x32172 x32173 x32174 x32175 x32176 x32177 x32178 x32179 x32180 x32181
1800.01/1802.22	v x32182 x32183 x32184 x32185 x32191 x32192 x32193 x32194 x32195 x32196 x32197 x32198 x32199 x32200 x32201 x32202 x32203
1800.01/1802.22	v x32204 x32205 x32206 x32207 x32208 x32209 x32210 x32211 x32216 x32217 x32218 x32219 x32220 x32221 x32222 x32223 x32224
1800.01/1802.22	v x32225 x32226 x32227 x32228 x32229 x32230 x32231 x32232 x32233 x32234 x32235 x32236 x32237 x32241 x32242 x32243 x32244
1800.01/1802.22	v x32245 x32246 x32247 x32248 x32249 x32250 x32251 x32252 x32253 x32254 x32255 x32256 x32257 x32258 x32259 x32260 x32261
1800.01/1802.22	v x32262 x32266 x32267 x32268 x32269 x32270 x32271 x32272 x32273 x32274 x32275 x32276 x32277 x32278 x32279 x32280 x32281
1800.01/1802.22	v x32282 x32283 x32284 x32285 x32286 x32291 x32292 x32293 x32294 x32295 x32296 x32297 x32298 x32299 x32300 x32301 x32302
1800.01/1802.22	v x32303 x32304 x32305 x32306 x32307 x32308 x32309 x32310 x32311 x32312 x32313 x32316 x32317 x32318 x32319 x32320 x32321
1800.01/1802.22	v x32322 x32323 x32324 x32325 x32326 x32327 x32328 x32329 x32330 x32331 x32332 x32333 x32334 x32335 x32336 x32337 x32338
1800.01/1802.22	v x32342 x32343 x32344 x32345 x32346 x32347 x32348 x32349 x32350 x32351 x32352 x32353 x32354 x32355 x32356 x32357 x32358
1800.01/1802.22	v x32367 x32368 x32369 x32370 x32371 x32372 x32373 x32374 x32375 x32376 x32377 x32378 x32379 x32380 x32381 x32382 x32383
1800.01/1802.22	v x32384 x32385 x32386 x32387 x32393 x32394 x32395 x32396 x32397 x32398 x32399 x32400 x32401 x32402 x32403 x32404 x32405
1800.01/1802.22	v x32406 x32407 x32408 x32409 x32410 x32411 x32412 x32419 x32420 x32421 x32422 x32423 x32424 x32425 x32426 x32427 x32428
1800.01/1802.22	v x32429 x32430 x32431 x32432 x32433 x32434 x32435 x32436 x32437 x32438 x32439 x32440 x32443 x32444 x32445 x32446 x32447
1800.01/1802.22	v x32448 x32449 x32450 x32451 x32452 x32453 x32454 x32455 x32456 x32457 x32458 x32459 x32460 x32461 x32462 x32463 x32464
1800.01/1802.22	v x32468 x32469 x32470 x32471 x32472 x32473 x32474 x32475 x32476 x32477 x32478 x32479 x32480 x32481 x32482 x32483 x32484
1800.01/1802.22	v x32485 x32486 x32487 x32488 x32489 x32493 x32494 x32495 x32496 x32497 x32498 x32499 x32500 x32501 x32502 x32503 x32504
1800.01/1802.22	v x32505 x32506 x32507 x32508 x32509 x32510 x32518 x32519 x32520 x32521 x32522 x32523 x32524 x32525 x32526 x32527 x32528
1800.01/1802.22	v x32529 x32530 x32531 x32532 x32533 x32534 x32535 x32536 x32537 x32538 x32539 x32540 x32543 x32544 x32545 x32546 x32547
1800.01/1802.22	v x32548 x32549 x32550 x32551 x32552 x32553 x32554 x32555 x32556 x32557 x32558 x32568 x32569 x32570 x32571 x32572 x32573
1800.01/1802.22	v x32574 x32575 x32576 x32577 x32578 x32579 x32580 x32581 x32582 x32583 x32584 x32585 x32586
1800.01/1802.23	pb2clasp1: no process killed
1800.01/1802.23	clasp: no process killed

Verifier Data (download as text)

FAILED
ERROR: unsatisfied constraint on line 0
	0>=1

Falsified constraint is:
+1*~x3[=0]*x190[=1]+1*~x3[=0]*x948[=0]+1*~x3[=0]*x568[=1]+1*~x3[=0]*x822[=0]+1*~x3[=0]*x873[=0]+1*~x3[=0]*x287[=1]+1*~x3[=0]*x496[=1]+1*~x3[=0]*x755[=1]+1*~x3[=0]*x7[=1]+1*~x3[=0]*x317[=1]+1*~x3[=0]*x738[=1]+1*~x3[=0]*x732[=1]+1*~x3[=0]*x573[=1]+1*~x3[=0]*x994[=0]+1*~x3[=0]*x432[=1]+1*~x3[=0]*x192[=1]+1*~x3[=0]*x140[=1]+1*~x3[=0]*x508[=1]+1*~x3[=0]*x527[=1]+1*~x3[=0]*x962[=0]+1*~x3[=0]*x970[=0]+1*~x3[=0]*x407[=1]+1*~x3[=0]*x91[=1]+1*~x3[=0]*x497[=1]+1*~x3[=0]*x603[=1]+1*~x3[=0]*x49[=1]+1*~x3[=0]*x65[=1]+1*~x3[=0]*x157[=1]+1*~x3[=0]*x161[=1]+1*~x3[=0]*x262[=1]+1*~x3[=0]*x285[=1]+1*~x3[=0]*x435[=1]+1*~x3[=0]*x487[=1]+1*~x3[=0]*x520[=1]+1*~x3[=0]*x537[=1]+1*~x3[=0]*x566[=1]+1*~x3[=0]*x701[=1]+1*~x3[=0]*x892[=0]+1*~x3[=0]*x957[=0]+1*x3[=0] >= 1

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453370-1178133528/instance-453370-1178133528.opb

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node2/watcher-453370-1178133528 -o ROOT/results/node2/solver-453370-1178133528 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453370-1178133528.opb /tmp/evaluation/453370-1178133528/temp 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 1129
/proc/meminfo: memFree=1465904/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=12268 CPUtime=0
/proc/1129/stat : 1129 (pbclasp) R 1127 1129 32514 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 289390693 12562432 317 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206381480549 0 0 4224 0 0 0 0 17 1 0 0
/proc/1129/statm: 3067 317 242 3 0 167 0

[startup+0.038323 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 1129
/proc/meminfo: memFree=1465904/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=13452 CPUtime=0.03
/proc/1129/stat : 1129 (pbclasp) R 1127 1129 32514 0 -1 4194304 750 0 0 0 3 0 0 0 18 0 1 0 289390693 13774848 717 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206381159137 0 0 4224 16384 0 0 0 17 1 0 0
/proc/1129/statm: 3363 717 320 3 0 463 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13452

[startup+0.101331 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 1129
/proc/meminfo: memFree=1465904/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=13584 CPUtime=0.04
/proc/1129/stat : 1129 (pbclasp) S 1127 1129 32514 0 -1 4194304 800 0 0 0 4 0 0 0 16 0 1 0 289390693 13910016 753 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1129/statm: 3396 753 324 3 0 496 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13584

[startup+0.30135 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 1129
/proc/meminfo: memFree=1465904/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=13584 CPUtime=0.04
/proc/1129/stat : 1129 (pbclasp) S 1127 1129 32514 0 -1 4194304 800 0 0 0 4 0 0 0 16 0 1 0 289390693 13910016 753 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1129/statm: 3396 753 324 3 0 496 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13584

[startup+0.701392 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 1129
/proc/meminfo: memFree=1465904/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=13584 CPUtime=0.04
/proc/1129/stat : 1129 (pbclasp) S 1127 1129 32514 0 -1 4194304 800 0 0 0 4 0 0 0 16 0 1 0 289390693 13910016 753 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1129/statm: 3396 753 324 3 0 496 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13584

[startup+1.50147 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 1132
/proc/meminfo: memFree=1462800/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=13584 CPUtime=0.04
/proc/1129/stat : 1129 (pbclasp) S 1127 1129 32514 0 -1 4194304 800 0 0 0 4 0 0 0 16 0 1 0 289390693 13910016 753 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1129/statm: 3396 753 324 3 0 496 0
[pid=1131] ppid=1129 vsize=5356 CPUtime=0
/proc/1131/stat : 1131 (sh) S 1129 1129 32514 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 289390697 5484544 231 18446744073709551615 4194304 4889804 548682069232 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1131/statm: 1339 231 193 169 0 50 0
[pid=1132] ppid=1131 vsize=12400 CPUtime=1.43
/proc/1132/stat : 1132 (pb2clasp1) R 1131 1129 32514 0 -1 4194304 501 0 0 0 143 0 0 0 25 0 1 0 289390698 12697600 463 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206399405047 0 0 4224 0 0 0 0 17 1 0 0
/proc/1132/statm: 3100 463 340 3 0 200 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 31340

[startup+3.10164 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 1132
/proc/meminfo: memFree=1462224/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=13584 CPUtime=0.04
/proc/1129/stat : 1129 (pbclasp) S 1127 1129 32514 0 -1 4194304 800 0 0 0 4 0 0 0 16 0 1 0 289390693 13910016 753 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/1129/statm: 3396 753 324 3 0 496 0
[pid=1131] ppid=1129 vsize=5356 CPUtime=0
/proc/1131/stat : 1131 (sh) S 1129 1129 32514 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 289390697 5484544 231 18446744073709551615 4194304 4889804 548682069232 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1131/statm: 1339 231 193 169 0 50 0
[pid=1132] ppid=1131 vsize=12400 CPUtime=3.04
/proc/1132/stat : 1132 (pb2clasp1) R 1131 1129 32514 0 -1 4194304 501 0 0 0 303 1 0 0 25 0 1 0 289390698 12697600 463 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206399171536 0 0 4224 0 0 0 0 17 1 0 0
/proc/1132/statm: 3100 463 340 3 0 200 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 31340

[startup+6.30198 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 1139
/proc/meminfo: memFree=1455432/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=13716 CPUtime=5.08
/proc/1129/stat : 1129 (pbclasp) S 1127 1129 32514 0 -1 4194304 939 1593 0 0 4 0 500 4 17 0 1 0 289390693 14045184 795 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1129/statm: 3429 795 343 3 0 529 0
[pid=1137] ppid=1129 vsize=5356 CPUtime=0
/proc/1137/stat : 1137 (sh) S 1129 1129 32514 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 289391203 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1137/statm: 1339 225 188 169 0 50 0
[pid=1138] ppid=1137 vsize=2520 CPUtime=0
/proc/1138/stat : 1138 (cat) S 1137 1129 32514 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 289391204 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 206381482210 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/1138/statm: 630 87 71 4 0 42 0
[pid=1139] ppid=1137 vsize=22716 CPUtime=1.18
/proc/1139/stat : 1139 (clasp) R 1137 1129 32514 0 -1 4194304 5314 0 0 0 116 2 0 0 25 0 1 0 289391204 23261184 5276 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 11002844 0 0 4096 0 0 0 0 17 1 0 0
/proc/1139/statm: 5679 5276 173 154 0 5149 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 44308

[startup+12.7026 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 1147
/proc/meminfo: memFree=1437776/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=13856 CPUtime=10.83
/proc/1129/stat : 1129 (pbclasp) S 1127 1129 32514 0 -1 4194304 1120 22246 0 0 7 0 1057 19 16 0 1 0 289390693 14188544 814 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1129/statm: 3464 814 343 3 0 564 0
[pid=1145] ppid=1129 vsize=5356 CPUtime=0
/proc/1145/stat : 1145 (sh) S 1129 1129 32514 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 289391779 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1145/statm: 1339 225 188 169 0 50 0
[pid=1146] ppid=1145 vsize=2520 CPUtime=0
/proc/1146/stat : 1146 (cat) S 1145 1129 32514 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 289391779 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 206381482210 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/1146/statm: 630 87 71 4 0 42 0
[pid=1147] ppid=1145 vsize=35884 CPUtime=1.82
/proc/1147/stat : 1147 (clasp) R 1145 1129 32514 0 -1 4194304 8642 0 0 0 178 4 0 0 25 0 1 0 289391779 36745216 8571 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134856629 0 0 4096 0 0 0 0 17 1 0 0
/proc/1147/statm: 8971 8571 173 154 0 8441 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 57616

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 1163
/proc/meminfo: memFree=1447184/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=13856 CPUtime=24.51
/proc/1129/stat : 1129 (pbclasp) S 1127 1129 32514 0 -1 4194304 1397 80833 0 0 11 0 2382 58 16 0 1 0 289390693 14188544 817 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1129/statm: 3464 817 343 3 0 564 0
[pid=1161] ppid=1129 vsize=5356 CPUtime=0
/proc/1161/stat : 1161 (sh) S 1129 1129 32514 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 289393148 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1161/statm: 1339 225 188 169 0 50 0
[pid=1162] ppid=1161 vsize=2520 CPUtime=0
/proc/1162/stat : 1162 (cat) S 1161 1129 32514 0 -1 4194304 120 0 0 0 0 0 0 0 16 0 1 0 289393148 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 206381482210 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/1162/statm: 630 87 71 4 0 42 0
[pid=1163] ppid=1161 vsize=18356 CPUtime=0.93
/proc/1163/stat : 1163 (clasp) R 1161 1129 32514 0 -1 4194304 4235 0 0 0 92 1 0 0 25 0 1 0 289393148 18796544 4197 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 10957825 0 0 4096 0 0 0 0 17 1 0 0
/proc/1163/statm: 4589 4198 173 154 0 4059 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 40088

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 1189
/proc/meminfo: memFree=1356504/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=13856 CPUtime=45.16
/proc/1129/stat : 1129 (pbclasp) S 1127 1129 32514 0 -1 4194304 1796 170277 0 0 19 1 4382 114 17 0 1 0 289390693 14188544 817 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1129/statm: 3464 817 343 3 0 564 0
[pid=1187] ppid=1129 vsize=5356 CPUtime=0
/proc/1187/stat : 1187 (sh) S 1129 1129 32514 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 289395211 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1187/statm: 1339 225 188 169 0 50 0
[pid=1189] ppid=1187 vsize=103664 CPUtime=5.89
/proc/1189/stat : 1189 (clasp) R 1187 1129 32514 0 -1 4194304 28716 0 0 0 574 15 0 0 25 0 1 0 289395211 106151936 25344 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134629572 0 0 4096 0 0 0 0 17 1 0 0
/proc/1189/statm: 25916 25344 196 154 0 25386 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 122876

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 1253
/proc/meminfo: memFree=1454096/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=13856 CPUtime=101.61
/proc/1129/stat : 1129 (pbclasp) S 1127 1129 32514 0 -1 4194304 2903 416690 0 0 40 2 9849 270 16 0 1 0 289390693 14188544 826 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1129/statm: 3464 826 343 3 0 564 0
[pid=1251] ppid=1129 vsize=5356 CPUtime=0
/proc/1251/stat : 1251 (sh) S 1129 1129 32514 0 -1 4194304 289 0 0 0 0 0 0 0 19 0 1 0 289400881 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1251/statm: 1339 225 188 169 0 50 0
[pid=1252] ppid=1251 vsize=2520 CPUtime=0
/proc/1252/stat : 1252 (cat) S 1251 1129 32514 0 -1 4194304 120 0 0 0 0 0 0 0 16 0 1 0 289400881 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 206381482210 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/1252/statm: 630 87 71 4 0 42 0
[pid=1253] ppid=1251 vsize=6932 CPUtime=0.41
/proc/1253/stat : 1253 (clasp) R 1251 1129 32514 0 -1 4194304 1416 0 0 0 40 1 0 0 21 0 1 0 289400881 7098368 1378 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 11000615 0 0 4096 0 0 0 0 17 1 0 0
/proc/1253/statm: 1733 1378 173 154 0 1203 0
Current children cumulated CPU time (s) 102.02
Current children cumulated vsize (KiB) 28664

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 1317
/proc/meminfo: memFree=1433232/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=13856 CPUtime=159.96
/proc/1129/stat : 1129 (pbclasp) S 1127 1129 32514 0 -1 4194304 4034 674241 0 0 66 4 15495 431 17 0 1 0 289390693 14188544 826 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1129/statm: 3464 826 343 3 0 564 0
[pid=1315] ppid=1129 vsize=5356 CPUtime=0
/proc/1315/stat : 1315 (sh) S 1129 1129 32514 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 289406718 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1315/statm: 1339 225 188 169 0 50 0
[pid=1316] ppid=1315 vsize=2520 CPUtime=0
/proc/1316/stat : 1316 (cat) S 1315 1129 32514 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 289406718 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 206381482210 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/1316/statm: 630 87 71 4 0 42 0
[pid=1317] ppid=1315 vsize=40124 CPUtime=2.03
/proc/1317/stat : 1317 (clasp) R 1315 1129 32514 0 -1 4194304 9698 0 0 0 198 5 0 0 25 0 1 0 289406718 41086976 9627 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134932674 0 0 4096 0 0 0 0 17 1 0 0
/proc/1317/statm: 10031 9627 173 154 0 9501 0
Current children cumulated CPU time (s) 161.99
Current children cumulated vsize (KiB) 61856

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/81 1381
/proc/meminfo: memFree=1427600/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=13856 CPUtime=220.16
/proc/1129/stat : 1129 (pbclasp) S 1127 1129 32514 0 -1 4194304 5169 951171 0 0 96 5 21318 597 16 0 1 0 289390693 14188544 833 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1129/statm: 3464 833 343 3 0 564 0
[pid=1379] ppid=1129 vsize=5356 CPUtime=0
/proc/1379/stat : 1379 (sh) S 1129 1129 32514 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 289412745 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1379/statm: 1339 225 188 169 0 50 0

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

/proc/loadavg: 1.00 1.00 1.00 2/80 2645
/proc/meminfo: memFree=1274592/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=14148 CPUtime=1655.22
/proc/1129/stat : 1129 (pbclasp) S 1127 1129 32514 0 -1 4194304 30595 8592709 0 0 1849 33 158686 4954 18 0 1 0 289390693 14487552 891 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1129/statm: 3537 891 343 3 0 637 0
[pid=2643] ppid=1129 vsize=5356 CPUtime=0
/proc/2643/stat : 2643 (sh) S 1129 1129 32514 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 289556407 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2643/statm: 1339 225 188 169 0 50 0
[pid=2645] ppid=2643 vsize=195696 CPUtime=5.13
/proc/2645/stat : 2645 (clasp) R 2643 1129 32514 0 -1 4194304 53683 0 0 0 490 23 0 0 25 0 1 0 289556408 200392704 46028 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134682862 0 0 4096 0 0 0 0 17 0 0 0
/proc/2645/statm: 48924 46028 194 154 0 48394 0
Current children cumulated CPU time (s) 1660.35
Current children cumulated vsize (KiB) 215200

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 2685
/proc/meminfo: memFree=1345568/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=14148 CPUtime=1719.69
/proc/1129/stat : 1129 (pbclasp) S 1127 1129 32514 0 -1 4194304 31732 8987796 0 0 1972 34 164799 5164 16 0 1 0 289390693 14487552 891 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1129/statm: 3537 891 343 3 0 637 0
Current children cumulated CPU time (s) 1719.69
Current children cumulated vsize (KiB) 14148

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 2733
/proc/meminfo: memFree=1234464/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=14148 CPUtime=1773.74
/proc/1129/stat : 1129 (pbclasp) S 1127 1129 32514 0 -1 4194304 32698 9313377 0 0 2078 35 169924 5337 16 0 1 0 289390693 14487552 891 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1129/statm: 3537 891 343 3 0 637 0
[pid=2731] ppid=1129 vsize=5356 CPUtime=0
/proc/2731/stat : 2731 (sh) S 1129 1129 32514 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 289568283 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2731/statm: 1339 225 188 169 0 50 0
[pid=2733] ppid=2731 vsize=231792 CPUtime=6.37
/proc/2733/stat : 2733 (clasp) R 2731 1129 32514 0 -1 4194304 61435 0 0 0 614 23 0 0 25 0 1 0 289568284 237355008 54849 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 10965107 0 0 4096 0 0 0 0 17 0 0 0
/proc/2733/statm: 57948 54849 194 154 0 57418 0
Current children cumulated CPU time (s) 1780.11
Current children cumulated vsize (KiB) 251296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 2750
/proc/meminfo: memFree=1322144/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=14148 CPUtime=1795.43
/proc/1129/stat : 1129 (pbclasp) S 1127 1129 32514 0 -1 4194304 33067 9440771 0 0 2121 36 171983 5403 16 0 1 0 289390693 14487552 891 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1129/statm: 3537 891 343 3 0 637 0
[pid=2747] ppid=1129 vsize=5356 CPUtime=0.01
/proc/2747/stat : 2747 (sh) S 1129 1129 32514 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 289570454 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2747/statm: 1339 225 188 169 0 50 0
[pid=2750] ppid=2747 vsize=138836 CPUtime=4.57
/proc/2750/stat : 2750 (clasp) R 2747 1129 32514 0 -1 4194304 36238 0 0 0 438 19 0 0 25 0 1 0 289570454 142168064 33053 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134755009 0 0 4096 0 0 0 0 17 0 0 0
/proc/2750/statm: 34709 33054 188 154 0 34179 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 158340

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

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 2750
/proc/meminfo: memFree=1322144/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=14148 CPUtime=1795.43
/proc/1129/stat : 1129 (pbclasp) S 1127 1129 32514 0 -1 4194304 33067 9440771 0 0 2121 36 171983 5403 16 0 1 0 289390693 14487552 891 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1129/statm: 3537 891 343 3 0 637 0
[pid=2747] ppid=1129 vsize=5356 CPUtime=0.01
/proc/2747/stat : 2747 (sh) S 1129 1129 32514 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 289570454 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2747/statm: 1339 225 188 169 0 50 0
[pid=2750] ppid=2747 vsize=138836 CPUtime=4.57
/proc/2750/stat : 2750 (clasp) R 2747 1129 32514 0 -1 4194304 36238 0 0 0 438 19 0 0 25 0 1 0 289570454 142168064 33053 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134755009 0 0 4096 0 0 0 0 17 0 0 0
/proc/2750/statm: 34709 33054 188 154 0 34179 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 158340

# WARNING:
# current cumulated CPU time (1795.49 s) is less than in the last sample (1800.01 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (4.52002 s) to the 'lost time'.

[startup+1802.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 2750
/proc/meminfo: memFree=1322144/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=14148 CPUtime=1795.49
/proc/1129/stat : 1129 (pbclasp) S 1127 1129 32514 0 -1 4194304 33260 9442559 0 0 2121 36 171984 5408 17 0 1 0 289390693 14487552 891 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1129/statm: 3537 891 343 3 0 637 0
Current children cumulated CPU time (s) 1795.49
Current children cumulated vsize (KiB) 14148

Sending SIGKILL to process tree (bottom up)

Solver just ended. Dumping a history of the last processes samples

[startup+1803 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 2761
/proc/meminfo: memFree=1446224/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=14148 CPUtime=1795.49
/proc/1129/stat : 1129 (pbclasp) S 1127 1129 32514 0 -1 4194304 33260 9442559 0 0 2121 36 171984 5408 17 0 1 0 289390693 14487552 891 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1129/statm: 3537 891 343 3 0 637 0
[pid=2759] ppid=1129 vsize=5356 CPUtime=0
/proc/2759/stat : 2759 (sh) S 1129 1129 32514 0 -1 4194304 289 0 0 0 0 0 0 0 19 0 1 0 289570918 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2759/statm: 1339 225 188 169 0 50 0
[pid=2760] ppid=2759 vsize=2520 CPUtime=0
/proc/2760/stat : 2760 (cat) S 2759 1129 32514 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 289570919 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 206381482210 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/2760/statm: 630 87 71 4 0 42 0
[pid=2761] ppid=2759 vsize=13556 CPUtime=0.72
/proc/2761/stat : 2761 (clasp) R 2759 1129 32514 0 -1 4194304 3037 0 0 0 71 1 0 0 24 0 1 0 289570919 13881344 2999 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 10970747 0 0 4096 0 0 0 0 17 0 0 0
/proc/2761/statm: 3389 3001 173 154 0 2859 0
Current children cumulated CPU time (s) 1796.21
Current children cumulated vsize (KiB) 35580

[startup+1803.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 2761
/proc/meminfo: memFree=1446224/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=14148 CPUtime=1795.49
/proc/1129/stat : 1129 (pbclasp) S 1127 1129 32514 0 -1 4194304 33260 9442559 0 0 2121 36 171984 5408 17 0 1 0 289390693 14487552 891 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1129/statm: 3537 891 343 3 0 637 0
[pid=2759] ppid=1129 vsize=5356 CPUtime=0
/proc/2759/stat : 2759 (sh) S 1129 1129 32514 0 -1 4194304 289 0 0 0 0 0 0 0 19 0 1 0 289570918 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2759/statm: 1339 225 188 169 0 50 0
[pid=2760] ppid=2759 vsize=2520 CPUtime=0
/proc/2760/stat : 2760 (cat) S 2759 1129 32514 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 289570919 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 206381482210 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/2760/statm: 630 87 71 4 0 42 0
[pid=2761] ppid=2759 vsize=31160 CPUtime=1.52
/proc/2761/stat : 2761 (clasp) R 2759 1129 32514 0 -1 4194304 7438 0 0 0 148 4 0 0 25 0 1 0 289570919 31907840 7367 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 10970747 0 0 4096 0 0 0 0 17 0 0 0
/proc/2761/statm: 7790 7367 173 154 0 7260 0
Current children cumulated CPU time (s) 1797.01
Current children cumulated vsize (KiB) 53184

[startup+1804.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/82 2761
/proc/meminfo: memFree=1422288/2055920 swapFree=4148856/4192956
[pid=1129] ppid=1127 vsize=14148 CPUtime=1795.49
/proc/1129/stat : 1129 (pbclasp) S 1127 1129 32514 0 -1 4194304 33260 9442559 0 0 2121 36 171984 5408 17 0 1 0 289390693 14487552 891 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/1129/statm: 3537 891 343 3 0 637 0
[pid=2759] ppid=1129 vsize=5356 CPUtime=0
/proc/2759/stat : 2759 (sh) S 1129 1129 32514 0 -1 4194304 289 0 0 0 0 0 0 0 19 0 1 0 289570918 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2759/statm: 1339 225 188 169 0 50 0
[pid=2760] ppid=2759 vsize=2520 CPUtime=0
/proc/2760/stat : 2760 (cat) S 2759 1129 32514 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 289570919 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 206381482210 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/2760/statm: 630 87 71 4 0 42 0
[pid=2761] ppid=2759 vsize=39992 CPUtime=1.91
/proc/2761/stat : 2761 (clasp) R 2759 1129 32514 0 -1 4194304 9650 0 0 0 187 4 0 0 25 0 1 0 289570919 40951808 9579 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 0 0 0
/proc/2761/statm: 9998 9579 173 154 0 9468 0
Current children cumulated CPU time (s) 1797.4
Current children cumulated vsize (KiB) 62016

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1129 and gives
#  childrusage.ru_utime.tv_sec=1741
#  childrusage.ru_utime.tv_usec=64317
#  childrusage.ru_stime.tv_sec=54
#  childrusage.ru_stime.tv_usec=461720
# CPU time returned by wait4() is 1795.53
# while last known CPU time is 1797.4
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 4.52002
#  lost CPU user time (s): 4.37
#  lost CPU system time (s): 0.149998

Real time (s): 1804.23
CPU time (s): 1801.92
CPU user time (s): 1747.29
CPU system time (s): 54.63
CPU usage (%): 99.872
Max. virtual memory (cumulated for all children) (KiB): 251528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1741.06
system time used= 54.4617
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9476629
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 160566
involuntary context switches= 134554

runsolver used 1.72174 second user time and 4.87226 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Wed May  2 19:18:48 UTC 2007

IDJOB= 453370
IDBENCH= 48126
IDSOLVER= 158
FILE ID= node2/453370-1178133528

PBS_JOBID= 4751040

Free space on /tmp= 66563 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_4.opb
COMMAND LINE= pbclasp instance-453370-1178133528.opb /tmp/evaluation/453370-1178133528/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node2/convwatcher-453370-1178133528 -o ROOT/results/node2/conversion-453370-1178133528 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453370-1178133528/instance-453370-1178133528.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-453370-1178133528 -o ROOT/results/node2/solver-453370-1178133528 -C 1800 -W 3600 -M 1800 --output-limit 1,15  pbclasp instance-453370-1178133528.opb /tmp/evaluation/453370-1178133528/temp

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  b02c0aa46abe377e9678cb0b7b4280ae

RANDOM SEED= 455061894

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1466440 kB
Buffers:        209200 kB
Cached:         231628 kB
SwapCached:      12392 kB
Active:         181252 kB
Inactive:       288492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1466440 kB
SwapTotal:     4192956 kB
SwapFree:      4148856 kB
Dirty:            3576 kB
Writeback:           0 kB
Mapped:          35204 kB
Slab:           105244 kB
Committed_AS: 11438080 kB
PageTables:       1872 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66555 MiB

End job on node2 on Wed May  2 19:48:54 UTC 2007