Trace number 453475

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. 1800.05 1802.18

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_25_5.opb
MD5SUMd79bd0f7d6fceec4ec599aa8716e2601
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark74
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 74
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)31590
Sum of products size (including duplicates)63180
Number of different products31590
Sum of products size63180

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.87/10.92	o 966
17.76/17.81	o 965
24.76/24.81	o 964
31.76/31.90	o 963
38.85/38.95	o 962
45.94/46.06	o 961
53.13/53.24	o 960
60.24/60.36	o 959
67.42/67.57	o 958
74.75/74.82	o 957
81.94/82.13	o 956
89.24/89.44	o 955
96.55/96.74	o 954
103.83/104.07	o 953
111.23/111.47	o 952
118.66/118.82	o 951
126.04/126.25	o 950
133.53/133.75	o 949
140.98/141.27	o 948
148.47/148.77	o 947
156.05/156.35	o 946
163.55/163.87	o 945
171.26/171.54	o 944
178.83/179.16	o 943
186.49/186.86	o 942
194.20/194.56	o 941
201.90/202.25	o 940
209.67/210.05	o 939
217.50/217.83	o 938
225.29/225.63	o 937
233.19/233.52	o 936
240.98/241.37	o 935
248.95/249.30	o 934
256.84/257.23	o 933
264.73/265.19	o 932
272.80/273.24	o 931
280.80/281.20	o 930
288.78/289.28	o 929
296.88/297.36	o 928
304.97/305.45	o 927
313.18/313.62	o 926
321.23/321.89	o 925
329.56/330.11	o 924
337.76/338.31	o 923
345.96/346.55	o 922
354.24/354.83	o 921
362.44/363.03	o 920
370.72/371.39	o 919
379.14/379.72	o 918
387.53/388.11	o 917
395.92/396.53	o 916
404.29/404.97	o 915
412.83/413.46	o 914
421.32/421.93	o 913
429.81/430.46	o 912
438.28/439.00	o 911
446.88/447.59	o 910
455.60/456.21	o 909
464.18/464.81	o 908
472.88/473.52	o 907
481.49/482.17	o 906
490.29/490.93	o 905
498.98/499.65	o 904
507.78/508.40	o 903
516.56/517.20	o 902
525.37/526.03	o 901
534.15/534.89	o 900
543.06/543.73	o 899
551.94/552.68	o 898
560.84/561.55	o 897
569.80/570.57	o 896
578.80/579.51	o 895
587.79/588.51	o 894
596.79/597.53	o 893
605.79/606.53	o 892
614.78/615.56	o 891
623.87/624.61	o 890
632.97/633.73	o 889
642.07/642.93	o 888
651.28/652.13	o 887
660.36/661.27	o 886
669.66/670.51	o 885
678.86/679.72	o 884
688.14/689.02	o 883
697.35/698.26	o 882
706.64/707.58	o 881
716.03/716.91	o 880
725.32/726.26	o 879
734.73/735.65	o 878
744.12/745.03	o 877
753.52/754.48	o 876
762.93/763.88	o 875
772.43/773.38	o 874
781.92/782.83	o 873
791.41/792.38	o 872
800.90/801.89	o 871
810.50/811.45	o 870
820.00/820.99	o 869
829.70/830.61	o 868
839.30/840.21	o 867
848.89/849.88	o 866
858.58/859.53	o 865
868.28/869.20	o 864
877.88/878.89	o 863
887.67/888.62	o 862
897.37/898.37	o 861
907.16/908.15	o 860
916.95/917.91	o 859
926.74/927.72	o 858
936.53/937.55	o 857
946.34/947.34	o 856
956.13/957.18	o 855
966.03/967.02	o 854
975.93/976.95	o 853
985.82/986.88	o 852
995.71/996.77	o 851
1005.70/1006.70	o 850
1015.70/1016.70	o 849
1025.59/1026.67	o 848
1035.68/1036.71	o 847
1045.69/1046.77	o 846
1055.77/1056.84	o 845
1065.87/1066.94	o 844
1075.97/1077.06	o 843
1086.05/1087.19	o 842
1096.25/1097.35	o 841
1106.45/1107.53	o 840
1116.63/1117.74	o 839
1126.74/1128.00	o 838
1136.94/1138.19	o 837
1147.24/1148.46	o 836
1157.43/1158.66	o 835
1167.72/1169.06	o 834
1178.13/1179.42	o 833
1188.43/1189.76	o 832
1198.72/1200.08	o 831
1209.13/1210.46	o 830
1219.51/1220.83	o 829
1229.91/1231.28	o 828
1240.31/1241.68	o 827
1250.79/1252.16	o 826
1261.20/1262.65	o 825
1271.69/1273.19	o 824
1282.18/1283.66	o 823
1292.77/1294.22	o 822
1303.22/1304.79	o 821
1313.82/1315.38	o 820
1324.41/1325.93	o 819
1334.91/1336.48	o 818
1345.50/1347.04	o 817
1356.13/1357.76	o 816
1366.71/1368.38	o 815
1377.40/1379.03	o 814
1388.11/1389.71	o 813
1398.70/1400.39	o 812
1409.47/1411.19	o 811
1420.16/1421.89	o 810
1430.94/1432.67	o 809
1441.74/1443.40	o 808
1452.44/1454.18	o 807
1463.22/1464.90	o 806
1474.01/1475.75	o 805
1484.81/1486.59	o 804
1495.69/1497.45	o 803
1506.58/1508.33	o 802
1517.49/1519.21	o 801
1528.39/1530.16	o 800
1539.29/1541.16	o 799
1550.28/1552.16	o 798
1561.27/1563.10	o 797
1572.18/1574.06	o 796
1583.17/1585.04	o 795
1594.17/1596.08	o 794
1605.24/1607.13	o 793
1616.33/1618.20	o 792
1627.32/1629.22	o 791
1638.33/1640.28	o 790
1649.41/1651.39	o 789
1660.52/1662.48	o 788
1671.70/1673.64	o 787
1682.79/1684.73	o 786
1694.00/1695.92	o 785
1705.10/1707.16	o 784
1716.29/1718.33	o 783
1727.48/1729.54	o 782
1738.58/1740.68	o 781
1749.86/1751.93	o 780
1761.08/1763.11	o 779
1772.26/1774.37	o 778
1783.46/1785.59	o 777
1794.77/1796.86	o 776
1800.05/1802.11	c Somebody sent me a SIGTERM
1800.05/1802.11	s SATISFIABLE
1800.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	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.05/1802.11	v x755 x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x1077 x1078
1800.05/1802.11	v x1080 x1081 x1082 x1083 x1085 x1086 x1087 x1088 x1090 x1091 x1094 x1095 x1097 x1098 x1099 x1100 x1102 x1103 x1104 x1105 x1106
1800.05/1802.11	v x1107 x1108 x1109 x1110 x1111 x1112 x1113 x1114 x1115 x26763 x26764 x26765 x26766 x26767 x26768 x26769 x26770 x26771 x26772
1800.05/1802.11	v x26773 x26774 x26775 x26776 x26777 x26778 x26779 x26780 x26781 x26782 x26783 x26790 x26791 x26792 x26793 x26794 x26795
1800.05/1802.11	v x26796 x26797 x26798 x26799 x26800 x26801 x26802 x26803 x26804 x26805 x26806 x26807 x26808 x26819 x26820 x26821 x26822
1800.05/1802.11	v x26823 x26824 x26825 x26826 x26827 x26828 x26829 x26830 x26831 x26832 x26833 x26834 x26835 x26836 x26837 x26838 x26839
1800.05/1802.11	v x26840 x26841 x26845 x26846 x26847 x26848 x26849 x26850 x26851 x26852 x26853 x26854 x26855 x26856 x26857 x26858 x26859
1800.05/1802.11	v x26860 x26861 x26862 x26863 x26864 x26865 x26872 x26873 x26874 x26875 x26876 x26877 x26878 x26879 x26880 x26881 x26882
1800.05/1802.11	v x26883 x26884 x26885 x26886 x26887 x26888 x26889 x26890 x26891 x26892 x26893 x26902 x26903 x26904 x26905 x26906 x26907
1800.05/1802.11	v x26908 x26909 x26910 x26911 x26912 x26913 x26914 x26915 x26916 x26917 x26918 x26919 x26920 x26921 x26922 x26923 x26924
1800.05/1802.11	v x26925 x26926 x26927 x26928 x26929 x26930 x26931 x26932 x26933 x26934 x26935 x26936 x26937 x26938 x26939 x26940 x26941
1800.05/1802.11	v x26942 x26943 x26944 x26945 x26946 x26952 x26953 x26954 x26955 x26956 x26957 x26958 x26959 x26960 x26961 x26962 x26963
1800.05/1802.11	v x26964 x26965 x26966 x26967 x26968 x26969 x26970 x26971 x26972 x26973 x26974 x26975 x26978 x26979 x26980 x26981 x26982
1800.05/1802.11	v x26983 x26984 x26985 x26986 x26987 x26988 x26989 x26990 x26991 x26992 x26993 x26994 x26995 x26996 x26997 x26998 x26999
1800.05/1802.11	v x27006 x27007 x27008 x27009 x27010 x27011 x27012 x27013 x27014 x27015 x27016 x27017 x27018 x27019 x27020 x27021 x27022
1800.05/1802.11	v x27023 x27024 x27025 x27026 x27027 x27034 x27035 x27036 x27037 x27038 x27039 x27040 x27041 x27042 x27043 x27044 x27045
1800.05/1802.11	v x27046 x27047 x27048 x27049 x27050 x27051 x27052 x27053 x27054 x27055 x27062 x27063 x27064 x27065 x27066 x27067 x27068
1800.05/1802.11	v x27069 x27070 x27071 x27072 x27073 x27074 x27075 x27076 x27077 x27078 x27079 x27080 x27081 x27082 x27083 x27084 x27085
1800.05/1802.11	v x27090 x27091 x27092 x27093 x27094 x27095 x27096 x27097 x27098 x27099 x27100 x27101 x27102 x27103 x27104 x27105 x27106
1800.05/1802.11	v x27107 x27108 x27109 x27110 x27120 x27121 x27122 x27123 x27124 x27125 x27126 x27127 x27128 x27129 x27130 x27131 x27132
1800.05/1802.11	v x27133 x27134 x27135 x27136 x27137 x27138 x27139 x27140 x27146 x27147 x27148 x27149 x27150 x27151 x27152 x27153 x27154
1800.05/1802.11	v x27155 x27156 x27157 x27158 x27159 x27160 x27161 x27162 x27163 x27164 x27165 x27166 x27167 x27173 x27174 x27175 x27176
1800.05/1802.11	v x27177 x27178 x27179 x27180 x27181 x27182 x27183 x27184 x27185 x27186 x27187 x27188 x27189 x27190 x27191 x27192 x27193
1800.05/1802.11	v x27194 x27195 x27203 x27204 x27205 x27206 x27207 x27208 x27209 x27210 x27211 x27212 x27213 x27214 x27215 x27216 x27217
1800.05/1802.11	v x27218 x27219 x27220 x27221 x27222 x27223 x27224 x27225 x27226 x27231 x27232 x27233 x27234 x27235 x27236 x27237 x27238
1800.05/1802.11	v x27239 x27240 x27241 x27242 x27243 x27244 x27245 x27246 x27247 x27248 x27249 x27250 x27251 x27259 x27260 x27261 x27262
1800.05/1802.11	v x27263 x27264 x27265 x27266 x27267 x27268 x27269 x27270 x27271 x27272 x27273 x27274 x27275 x27276 x27277 x27278 x27279
1800.05/1802.11	v x27280 x27281 x27285 x27286 x27287 x27288 x27289 x27290 x27291 x27292 x27293 x27294 x27295 x27296 x27297 x27298 x27299
1800.05/1802.11	v x27300 x27301 x27302 x27303 x27304 x27305 x27306 x27307 x27311 x27312 x27313 x27314 x27315 x27316 x27317 x27318 x27319
1800.05/1802.11	v x27320 x27321 x27322 x27323 x27324 x27325 x27326 x27327 x27328 x27329 x27330 x27331 x27340 x27341 x27342 x27343 x27344
1800.05/1802.11	v x27345 x27346 x27347 x27348 x27349 x27350 x27351 x27352 x27353 x27354 x27355 x27356 x27357 x27358 x27359 x27366 x27367
1800.05/1802.11	v x27368 x27369 x27370 x27371 x27372 x27373 x27374 x27375 x27376 x27377 x27378 x27379 x27380 x27381 x27382 x27383 x27384
1800.05/1802.11	v x27385 x27386 x27387 x27393 x27394 x27395 x27396 x27397 x27398 x27399 x27400 x27401 x27402 x27403 x27404 x27405 x27406
1800.05/1802.11	v x27407 x27408 x27409 x27410 x27411 x27412 x27413 x27414 x27415 x27421 x27422 x27423 x27424 x27425 x27426 x27427 x27428
1800.05/1802.11	v x27429 x27430 x27431 x27432 x27433 x27434 x27435 x27436 x27437 x27438 x27439 x27440 x27441 x27442 x27449 x27450 x27451
1800.05/1802.11	v x27452 x27453 x27454 x27455 x27456 x27457 x27458 x27459 x27460 x27461 x27462 x27463 x27464 x27465 x27466 x27467 x27468
1800.05/1802.11	v x27469 x27470 x27478 x27479 x27480 x27481 x27482 x27483 x27484 x27485 x27486 x27487 x27488 x27489 x27490 x27491 x27492
1800.05/1802.11	v x27493 x27494 x27495 x27496 x27497 x27498 x27499 x27505 x27506 x27507 x27508 x27509 x27510 x27511 x27512 x27513 x27514
1800.05/1802.11	v x27515 x27516 x27517 x27518 x27519 x27520 x27521 x27522 x27523 x27524 x27525 x27533 x27534 x27535 x27536 x27537 x27538
1800.05/1802.11	v x27539 x27540 x27541 x27542 x27543 x27544 x27545 x27546 x27547 x27548 x27549 x27550 x27551 x27552 x27553 x27560 x27561
1800.05/1802.11	v x27562 x27563 x27564 x27565 x27566 x27567 x27568 x27569 x27570 x27571 x27572 x27573 x27574 x27575 x27576 x27577 x27578
1800.05/1802.11	v x27579 x27580 x27581 x27582 x27588 x27589 x27590 x27591 x27592 x27593 x27594 x27595 x27596 x27597 x27598 x27599 x27600
1800.05/1802.11	v x27601 x27602 x27603 x27604 x27605 x27606 x27607 x27618 x27619 x27620 x27621 x27622 x27623 x27624 x27625 x27626 x27627
1800.05/1802.11	v x27628 x27629 x27630 x27631 x27632 x27633 x27634 x27635 x27636 x27637 x27638 x27639 x27640 x27641 x27645 x27646 x27647
1800.05/1802.11	v x27648 x27649 x27650 x27651 x27652 x27653 x27654 x27655 x27656 x27657 x27658 x27659 x27660 x27661 x27662 x27663 x27664
1800.05/1802.11	v x27665 x27672 x27673 x27674 x27675 x27676 x27677 x27678 x27679 x27680 x27681 x27682 x27683 x27684 x27685 x27686 x27687
1800.05/1802.11	v x27688 x27689 x27690 x27691 x27692 x27693 x27700 x27701 x27702 x27703 x27704 x27705 x27706 x27707 x27708 x27709 x27710
1800.05/1802.11	v x27711 x27712 x27713 x27714 x27715 x27716 x27717 x27718 x27719 x27720 x27728 x27729 x27730 x27731 x27732 x27733 x27734
1800.05/1802.11	v x27735 x27736 x27737 x27738 x27739 x27740 x27741 x27742 x27743 x27744 x27745 x27753 x27754 x27755 x27756 x27757 x27758
1800.05/1802.11	v x27759 x27760 x27761 x27762 x27763 x27764 x27765 x27766 x27767 x27768 x27769 x27770 x27771 x27772 x27773 x27774 x27775
1800.05/1802.11	v x27779 x27780 x27781 x27782 x27783 x27784 x27785 x27786 x27787 x27788 x27789 x27790 x27791 x27792 x27793 x27794 x27795
1800.05/1802.11	v x27796 x27797 x27798 x27799 x27800 x27810 x27811 x27812 x27813 x27814 x27815 x27816 x27817 x27818 x27819 x27820 x27821
1800.05/1802.11	v x27822 x27823 x27824 x27825 x27826 x27827 x27828 x27829 x27830 x27831 x27836 x27837 x27838 x27839 x27840 x27841 x27842
1800.05/1802.11	v x27843 x27844 x27845 x27846 x27847 x27848 x27849 x27850 x27851 x27852 x27853 x27854 x27855 x27856 x27861 x27862 x27863
1800.05/1802.11	v x27864 x27865 x27866 x27867 x27868 x27869 x27870 x27871 x27872 x27873 x27874 x27875 x27876 x27877 x27878 x27879 x27880
1800.05/1802.11	v x27881 x27882 x27883 x27884 x27885 x27890 x27891 x27892 x27893 x27894 x27895 x27896 x27897 x27898 x27899 x27900 x27901
1800.05/1802.11	v x27902 x27903 x27904 x27905 x27906 x27907 x27908 x27909 x27910 x27916 x27917 x27918 x27919 x27920 x27921 x27922 x27923
1800.05/1802.11	v x27924 x27925 x27926 x27927 x27928 x27929 x27930 x27931 x27932 x27933 x27934 x27935 x27936 x27942 x27943 x27944 x27945
1800.05/1802.11	v x27946 x27947 x27948 x27949 x27950 x27951 x27952 x27953 x27954 x27955 x27956 x27957 x27958 x27959 x27960 x27961 x27971
1800.05/1802.11	v x27972 x27973 x27974 x27975 x27976 x27977 x27978 x27979 x27980 x27981 x27982 x27983 x27984 x27985 x27986 x27987 x27988
1800.05/1802.11	v x27989 x27990 x27991 x27992 x27998 x27999 x28000 x28001 x28002 x28003 x28004 x28005 x28006 x28007 x28008 x28009 x28010
1800.05/1802.11	v x28011 x28012 x28013 x28014 x28015 x28016 x28017 x28018 x28019 x28023 x28024 x28025 x28026 x28027 x28028 x28029 x28030
1800.05/1802.11	v x28031 x28032 x28033 x28034 x28035 x28036 x28037 x28038 x28039 x28040 x28041 x28042 x28043 x28049 x28050 x28051 x28052
1800.05/1802.11	v x28053 x28054 x28055 x28056 x28057 x28058 x28059 x28060 x28061 x28062 x28063 x28064 x28065 x28066 x28067 x28068 x28069
1800.05/1802.11	v x28075 x28076 x28077 x28078 x28079 x28080 x28081 x28082 x28083 x28084 x28085 x28086 x28087 x28088 x28089 x28090 x28091
1800.05/1802.11	v x28092 x28093 x28094 x28095 x28101 x28102 x28103 x28104 x28105 x28106 x28107 x28108 x28109 x28110 x28111 x28112 x28113
1800.05/1802.11	v x28114 x28115 x28116 x28117 x28118 x28119 x28120 x28121 x28122 x28123 x28128 x28129 x28130 x28131 x28132 x28133 x28134
1800.05/1802.11	v x28135 x28136 x28137 x28138 x28139 x28140 x28141 x28142 x28143 x28144 x28145 x28146 x28147 x28148 x28156 x28157 x28158
1800.05/1802.11	v x28159 x28160 x28161 x28162 x28163 x28164 x28165 x28166 x28167 x28168 x28169 x28170 x28171 x28172 x28173 x28174 x28175
1800.05/1802.11	v x28176 x28177 x28178 x28179 x28180 x28183 x28184 x28185 x28186 x28187 x28188 x28189 x28190 x28191 x28192 x28193 x28194
1800.05/1802.11	v x28195 x28196 x28197 x28198 x28199 x28200 x28201 x28202 x28203 x28209 x28210 x28211 x28212 x28213 x28214 x28215 x28216
1800.05/1802.11	v x28217 x28218 x28219 x28220 x28221 x28222 x28223 x28224 x28225 x28226 x28227 x28228 x28229 x28237 x28238 x28239 x28240
1800.05/1802.11	v x28241 x28242 x28243 x28244 x28245 x28246 x28247 x28248 x28249 x28250 x28251 x28252 x28253 x28254 x28255 x28256 x28257
1800.05/1802.11	v x28264 x28265 x28266 x28267 x28268 x28269 x28270 x28271 x28272 x28273 x28274 x28275 x28276 x28277 x28278 x28279 x28280
1800.05/1802.11	v x28281 x28282 x28283 x28284 x28293 x28294 x28295 x28296 x28297 x28298 x28299 x28300 x28301 x28302 x28303 x28304 x28305
1800.05/1802.11	v x28306 x28307 x28308 x28309 x28310 x28311 x28312 x28313 x28314 x28321 x28322 x28323 x28324 x28325 x28326 x28327 x28328
1800.05/1802.11	v x28329 x28330 x28331 x28332 x28333 x28334 x28335 x28336 x28337 x28338 x28339 x28340 x28341 x28346 x28347 x28348 x28349
1800.05/1802.11	v x28350 x28351 x28352 x28353 x28354 x28355 x28356 x28357 x28358 x28359 x28360 x28361 x28362 x28363 x28364 x28365 x28366
1800.05/1802.11	v x28367 x28375 x28376 x28377 x28378 x28379 x28380 x28381 x28382 x28383 x28384 x28385 x28386 x28387 x28388 x28389 x28390
1800.05/1802.11	v x28391 x28392 x28393 x28394 x28395 x28402 x28403 x28404 x28405 x28406 x28407 x28408 x28409 x28410 x28411 x28412 x28413
1800.05/1802.11	v x28414 x28415 x28416 x28417 x28418 x28419 x28420 x28421 x28422 x28423 x28424 x28428 x28429 x28430 x28431 x28432 x28433
1800.05/1802.11	v x28434 x28435 x28436 x28437 x28438 x28439 x28440 x28441 x28442 x28443 x28444 x28445 x28446 x28447 x28448 x28449 x28450
1800.05/1802.11	v x28456 x28457 x28458 x28459 x28460 x28461 x28462 x28463 x28464 x28465 x28466 x28467 x28468 x28469 x28470 x28471 x28472
1800.05/1802.11	v x28481 x28482 x28483 x28484 x28485 x28486 x28487 x28488 x28489 x28490 x28491 x28492 x28493 x28494 x28495 x28496 x28497
1800.05/1802.11	v x28498 x28499 x28500 x28501 x28509 x28510 x28511 x28512 x28513 x28514 x28515 x28516 x28517 x28518 x28519 x28520 x28521
1800.05/1802.11	v x28522 x28523 x28524 x28525 x28526 x28527 x28528 x28529 x28530 x28535 x28536 x28537 x28538 x28539 x28540 x28541 x28542
1800.05/1802.11	v x28543 x28544 x28545 x28546 x28547 x28548 x28549 x28550 x28551 x28552 x28553 x28554 x28555 x28556 x28563 x28564 x28565
1800.05/1802.11	v x28566 x28567 x28568 x28569 x28570 x28571 x28572 x28573 x28574 x28575 x28576 x28577 x28578 x28579 x28580 x28581 x28582
1800.05/1802.11	v x28583 x28584 x28589 x28590 x28591 x28592 x28593 x28594 x28595 x28596 x28597 x28598 x28599 x28600 x28601 x28602 x28603
1800.05/1802.11	v x28604 x28605 x28606 x28607 x28608 x28609 x28610 x28614 x28615 x28616 x28617 x28618 x28619 x28620 x28621 x28622 x28623
1800.05/1802.11	v x28624 x28625 x28626 x28627 x28628 x28629 x28630 x28631 x28632 x28633 x28634 x28635 x28636 x28637 x28639 x28640 x28641
1800.05/1802.11	v x28642 x28643 x28644 x28645 x28646 x28647 x28648 x28649 x28650 x28651 x28652 x28653 x28654 x28655 x28656 x28657 x28658
1800.05/1802.11	v x28665 x28666 x28667 x28668 x28669 x28670 x28671 x28672 x28673 x28674 x28675 x28676 x28677 x28678 x28679 x28680 x28681
1800.05/1802.11	v x28682 x28683 x28691 x28692 x28693 x28694 x28695 x28696 x28697 x28698 x28699 x28700 x28701 x28702 x28703 x28704 x28705
1800.05/1802.11	v x28706 x28707 x28708 x28709 x28710 x28711 x28712 x28713 x28717 x28718 x28719 x28720 x28721 x28722 x28723 x28724 x28725
1800.05/1802.11	v x28726 x28727 x28728 x28729 x28730 x28731 x28732 x28733 x28734 x28735 x28736 x28737 x28745 x28746 x28747 x28748 x28749
1800.05/1802.11	v x28750 x28751 x28752 x28753 x28754 x28755 x28756 x28757 x28758 x28759 x28760 x28761 x28762 x28763 x28764 x28770 x28771
1800.05/1802.11	v x28772 x28773 x28774 x28775 x28776 x28777 x28778 x28779 x28780 x28781 x28782 x28783 x28784 x28785 x28786 x28787 x28788
1800.05/1802.11	v x28789 x28790 x28791 x28795 x28796 x28797 x28798 x28799 x28800 x28801 x28802 x28803 x28804 x28805 x28806 x28807 x28808
1800.05/1802.11	v x28809 x28810 x28811 x28812 x28813 x28814 x28815 x28816 x28817 x28822 x28823 x28824 x28825 x28826 x28827 x28828 x28829
1800.05/1802.11	v x28830 x28831 x28832 x28833 x28834 x28835 x28836 x28837 x28838 x28839 x28840 x28841 x28842 x28843 x28844 x28847 x28848
1800.05/1802.11	v x28849 x28850 x28851 x28852 x28853 x28854 x28855 x28856 x28857 x28858 x28859 x28860 x28861 x28862 x28863 x28864 x28865
1800.05/1802.11	v x28866 x28872 x28873 x28874 x28875 x28876 x28877 x28878 x28879 x28880 x28881 x28882 x28883 x28884 x28885 x28886 x28887
1800.05/1802.11	v x28888 x28889 x28890 x28891 x28892 x28893 x28894 x28900 x28901 x28902 x28903 x28904 x28905 x28906 x28907 x28908 x28909
1800.05/1802.11	v x28910 x28911 x28912 x28913 x28914 x28915 x28916 x28917 x28918 x28919 x28920 x28921 x28928 x28929 x28930 x28931 x28932
1800.05/1802.11	v x28933 x28934 x28935 x28936 x28937 x28938 x28939 x28940 x28941 x28942 x28943 x28944 x28945 x28946 x28947 x28948 x28953
1800.05/1802.11	v x28954 x28955 x28956 x28957 x28958 x28959 x28960 x28961 x28962 x28963 x28964 x28965 x28966 x28967 x28968 x28969 x28970
1800.05/1802.11	v x28971 x28972 x28973 x28981 x28982 x28983 x28984 x28985 x28986 x28987 x28988 x28989 x28990 x28991 x28992 x28993 x28994
1800.05/1802.11	v x28995 x28996 x28997 x28998 x28999 x29000 x29001 x29006 x29007 x29008 x29009 x29010 x29011 x29012 x29013 x29014 x29015
1800.05/1802.11	v x29016 x29017 x29018 x29019 x29020 x29021 x29022 x29023 x29024 x29025 x29026 x29027 x29028 x29032 x29033 x29034 x29035
1800.05/1802.11	v x29036 x29037 x29038 x29039 x29040 x29041 x29042 x29043 x29044 x29045 x29046 x29047 x29048 x29049 x29050 x29051 x29061
1800.05/1802.11	v x29062 x29063 x29064 x29065 x29066 x29067 x29068 x29069 x29070 x29071 x29072 x29073 x29074 x29075 x29076 x29077 x29078
1800.05/1802.11	v x29079 x29080 x29090 x29091 x29092 x29093 x29094 x29095 x29096 x29097 x29098 x29099 x29100 x29101 x29102 x29103 x29104
1800.05/1802.11	v x29105 x29106 x29107 x29108 x29109 x29110 x29111 x29115 x29116 x29117 x29118 x29119 x29120 x29121 x29122 x29123 x29124
1800.05/1802.11	v x29125 x29126 x29127 x29128 x29129 x29130 x29131 x29132 x29133 x29134 x29135 x29136 x29137 x29142 x29143 x29144 x29145
1800.05/1802.11	v x29146 x29147 x29148 x29149 x29150 x29151 x29152 x29153 x29154 x29155 x29156 x29157 x29158 x29159 x29160 x29161 x29162
1800.05/1802.11	v x29167 x29168 x29169 x29170 x29171 x29172 x29173 x29174 x29175 x29176 x29177 x29178 x29179 x29180 x29181 x29182 x29183
1800.05/1802.11	v x29184 x29185 x29186 x29187 x29188 x29189 x29190 x29193 x29194 x29195 x29196 x29197 x29198 x29199 x29200 x29201 x29202
1800.05/1802.11	v x29203 x29204 x29205 x29206 x29207 x29208 x29209 x29210 x29211 x29212 x29213 x29214 x29215 x29216 x29220 x29221 x29222
1800.05/1802.11	v x29223 x29224 x29225 x29226 x29227 x29228 x29229 x29230 x29231 x29232 x29233 x29234 x29235 x29236 x29237 x29238 x29239
1800.05/1802.11	v x29240 x29241 x29242 x29244 x29245 x29246 x29247 x29248 x29249 x29250 x29251 x29252 x29253 x29254 x29255 x29256 x29257
1800.05/1802.11	v x29258 x29259 x29260 x29261 x29262 x29263 x29264 x29265 x29269 x29270 x29271 x29272 x29273 x29274 x29275 x29276 x29277
1800.05/1802.11	v x29278 x29279 x29280 x29281 x29282 x29283 x29284 x29285 x29286 x29287 x29288 x29289 x29290 x29291 x29292 x29293 x29296
1800.05/1802.11	v x29297 x29298 x29299 x29300 x29301 x29302 x29303 x29304 x29305 x29306 x29307 x29308 x29309 x29310 x29311 x29312 x29313
1800.05/1802.11	v x29314 x29315 x29316 x29317 x29322 x29323 x29324 x29325 x29326 x29327 x29328 x29329 x29330 x29331 x29332 x29333 x29334
1800.05/1802.11	v x29335 x29336 x29337 x29338 x29339 x29340 x29341 x29347 x29348 x29349 x29350 x29351 x29352 x29353 x29354 x29355 x29356
1800.05/1802.11	v x29357 x29358 x29359 x29360 x29361 x29362 x29363 x29364 x29365 x29366 x29367 x29373 x29374 x29375 x29376 x29377 x29378
1800.05/1802.11	v x29379 x29380 x29381 x29382 x29383 x29384 x29385 x29386 x29387 x29388 x29389 x29390 x29391 x29392 x29393 x29399 x29400
1800.05/1802.11	v x29401 x29402 x29403 x29404 x29405 x29406 x29407 x29408 x29409 x29410 x29411 x29412 x29413 x29414 x29415 x29416 x29425
1800.05/1802.11	v x29426 x29427 x29428 x29429 x29430 x29431 x29432 x29433 x29434 x29435 x29436 x29437 x29438 x29439 x29440 x29441 x29442
1800.05/1802.11	v x29443 x29444 x29445 x29446 x29447 x29448 x29450 x29451 x29452 x29453 x29454 x29455 x29456 x29457 x29458 x29459 x29460
1800.05/1802.11	v x29461 x29462 x29463 x29464 x29465 x29466 x29467 x29468 x29469 x29470 x29476 x29477 x29478 x29479 x29480 x29481 x29482
1800.05/1802.11	v x29483 x29484 x29485 x29486 x29487 x29488 x29489 x29490 x29491 x29492 x29493 x29494 x29495 x29496 x29497 x29502 x29503
1800.05/1802.11	v x29504 x29505 x29506 x29507 x29508 x29509 x29510 x29511 x29512 x29513 x29514 x29515 x29516 x29517 x29518 x29519 x29520
1800.05/1802.11	v x29521 x29522 x29528 x29529 x29530 x29531 x29532 x29533 x29534 x29535 x29536 x29537 x29538 x29539 x29540 x29541 x29542
1800.05/1802.11	v x29543 x29544 x29545 x29546 x29547 x29548 x29549 x29550 x29556 x29557 x29558 x29559 x29560 x29561 x29562 x29563 x29564
1800.05/1802.11	v x29565 x29566 x29567 x29568 x29569 x29570 x29571 x29572 x29573 x29574 x29575 x29576 x29577 x29578 x29582 x29583 x29584
1800.05/1802.11	v x29585 x29586 x29587 x29588 x29589 x29590 x29591 x29592 x29593 x29594 x29595 x29596 x29597 x29598 x29599 x29600 x29601
1800.05/1802.11	v x29602 x29607 x29608 x29609 x29610 x29611 x29612 x29613 x29614 x29615 x29616 x29617 x29618 x29619 x29620 x29621 x29622
1800.05/1802.11	v x29623 x29624 x29625 x29626 x29627 x29633 x29634 x29635 x29636 x29637 x29638 x29639 x29640 x29641 x29642 x29643 x29644
1800.05/1802.11	v x29645 x29646 x29647 x29648 x29649 x29650 x29651 x29652 x29653 x29659 x29660 x29661 x29662 x29663 x29664 x29665 x29666
1800.05/1802.11	v x29667 x29668 x29669 x29670 x29671 x29672 x29673 x29674 x29675 x29676 x29677 x29686 x29687 x29688 x29689 x29690 x29691
1800.05/1802.11	v x29692 x29693 x29694 x29695 x29696 x29697 x29698 x29699 x29700 x29701 x29702 x29703 x29704 x29705 x29706 x29707 x29708
1800.05/1802.11	v x29712 x29713 x29714 x29715 x29716 x29717 x29718 x29719 x29720 x29721 x29722 x29723 x29724 x29725 x29726 x29727 x29728
1800.05/1802.11	v x29729 x29730 x29731 x29732 x29733 x29736 x29737 x29738 x29739 x29740 x29741 x29742 x29743 x29744 x29745 x29746 x29747
1800.05/1802.11	v x29748 x29749 x29750 x29751 x29752 x29753 x29754 x29755 x29756 x29757 x29762 x29763 x29764 x29765 x29766 x29767 x29768
1800.05/1802.11	v x29769 x29770 x29771 x29772 x29773 x29774 x29775 x29776 x29777 x29778 x29779 x29780 x29781 x29782 x29783 x29784 x29787
1800.05/1802.11	v x29788 x29789 x29790 x29791 x29792 x29793 x29794 x29795 x29796 x29797 x29798 x29799 x29800 x29801 x29802 x29803 x29804
1800.05/1802.11	v x29805 x29812 x29813 x29814 x29815 x29816 x29817 x29818 x29819 x29820 x29821 x29822 x29823 x29824 x29825 x29826 x29827
1800.05/1802.11	v x29828 x29829 x29830 x29831 x29839 x29840 x29841 x29842 x29843 x29844 x29845 x29846 x29847 x29848 x29849 x29850 x29851
1800.05/1802.11	v x29852 x29853 x29854 x29855 x29856 x29857 x29858 x29859 x29860 x29861 x29862 x29865 x29866 x29867 x29868 x29869 x29870
1800.05/1802.11	v x29871 x29872 x29873 x29874 x29875 x29876 x29877 x29878 x29879 x29880 x29881 x29882 x29883 x29884 x29885 x29891 x29892
1800.05/1802.11	v x29893 x29894 x29895 x29896 x29897 x29898 x29899 x29900 x29901 x29902 x29903 x29904 x29905 x29906 x29907 x29916 x29917
1800.05/1802.11	v x29918 x29919 x29920 x29921 x29922 x29923 x29924 x29925 x29926 x29927 x29928 x29929 x29930 x29931 x29932 x29933 x29934
1800.05/1802.11	v x29942 x29943 x29944 x29945 x29946 x29947 x29948 x29949 x29950 x29951 x29952 x29953 x29954 x29955 x29956 x29957 x29958
1800.05/1802.11	v x29959 x29960 x29961 x29962 x29970 x29971 x29972 x29973 x29974 x29975 x29976 x29977 x29978 x29979 x29980 x29981 x29982
1800.05/1802.11	v x29983 x29984 x29985 x29986 x29987 x29988 x29989 x29997 x29998 x29999 x30000 x30001 x30002 x30003 x30004 x30005 x30006
1800.05/1802.11	v x30007 x30008 x30009 x30010 x30011 x30012 x30013 x30014 x30015 x30016 x30017 x30023 x30024 x30025 x30026 x30027 x30028
1800.05/1802.11	v x30029 x30030 x30031 x30032 x30033 x30034 x30035 x30036 x30037 x30038 x30039 x30040 x30041 x30042 x30043 x30044 x30048
1800.05/1802.11	v x30049 x30050 x30051 x30052 x30053 x30054 x30055 x30056 x30057 x30058 x30059 x30060 x30061 x30062 x30063 x30064 x30065
1800.05/1802.11	v x30066 x30067 x30074 x30075 x30076 x30077 x30078 x30079 x30080 x30081 x30082 x30083 x30084 x30085 x30086 x30087 x30088
1800.05/1802.11	v x30089 x30090 x30098 x30099 x30100 x30101 x30102 x30103 x30104 x30105 x30106 x30107 x30108 x30109 x30110 x30111 x30112
1800.05/1802.11	v x30113 x30114 x30115 x30116 x30117 x30118 x30119 x30120 x30123 x30124 x30125 x30126 x30127 x30128 x30129 x30130 x30131
1800.05/1802.11	v x30132 x30133 x30134 x30135 x30136 x30137 x30138 x30139 x30140 x30141 x30142 x30143 x30144 x30145 x30150 x30151 x30152
1800.05/1802.11	v x30153 x30154 x30155 x30156 x30157 x30158 x30159 x30160 x30161 x30162 x30163 x30164 x30165 x30166 x30167 x30168 x30169
1800.05/1802.11	v x30179 x30180 x30181 x30182 x30183 x30184 x30185 x30186 x30187 x30188 x30189 x30190 x30191 x30192 x30193 x30194 x30195
1800.05/1802.11	v x30196 x30197 x30198 x30204 x30205 x30206 x30207 x30208 x30209 x30210 x30211 x30212 x30213 x30214 x30215 x30216 x30217
1800.05/1802.11	v x30218 x30219 x30220 x30221 x30222 x30230 x30231 x30232 x30233 x30234 x30235 x30236 x30237 x30238 x30239 x30240 x30241
1800.05/1802.11	v x30242 x30243 x30244 x30245 x30246 x30247 x30248 x30257 x30258 x30259 x30260 x30261 x30262 x30263 x30264 x30265 x30266
1800.05/1802.11	v x30267 x30268 x30269 x30270 x30271 x30272 x30273 x30274 x30275 x30276 x30277 x30278 x30279 x30282 x30283 x30284 x30285
1800.05/1802.11	v x30286 x30287 x30288 x30289 x30290 x30291 x30292 x30293 x30294 x30295 x30296 x30297 x30298 x30299 x30300 x30301 x30302
1800.05/1802.11	v x30303 x30307 x30308 x30309 x30310 x30311 x30312 x30313 x30314 x30315 x30316 x30317 x30318 x30319 x30320 x30321 x30322
1800.05/1802.11	v x30323 x30324 x30325 x30326 x30327 x30328 x30329 x30330 x30331 x30333 x30334 x30335 x30336 x30337 x30338 x30339 x30340
1800.05/1802.11	v x30341 x30342 x30343 x30344 x30345 x30346 x30347 x30348 x30349 x30350 x30351 x30352 x30353 x30354 x30360 x30361 x30362
1800.05/1802.11	v x30363 x30364 x30365 x30366 x30367 x30368 x30369 x30370 x30371 x30372 x30373 x30374 x30375 x30376 x30377 x30378 x30379
1800.05/1802.11	v x30387 x30388 x30389 x30390 x30391 x30392 x30393 x30394 x30395 x30396 x30397 x30398 x30399 x30400 x30401 x30402 x30403
1800.05/1802.11	v x30404 x30405 x30406 x30407 x30412 x30413 x30414 x30415 x30416 x30417 x30418 x30419 x30420 x30421 x30422 x30423 x30424
1800.05/1802.11	v x30425 x30426 x30427 x30428 x30429 x30430 x30431 x30432 x30433 x30437 x30438 x30439 x30440 x30441 x30442 x30443 x30444
1800.05/1802.11	v x30445 x30446 x30447 x30448 x30449 x30450 x30451 x30452 x30453 x30454 x30455 x30456 x30457 x30458 x30459 x30460 x30466
1800.05/1802.11	v x30467 x30468 x30469 x30470 x30471 x30472 x30473 x30474 x30475 x30476 x30477 x30478 x30479 x30480 x30481 x30482 x30483
1800.05/1802.11	v x30484 x30485 x30491 x30492 x30493 x30494 x30495 x30496 x30497 x30498 x30499 x30500 x30501 x30502 x30503 x30504 x30505
1800.05/1802.11	v x30506 x30507 x30508 x30509 x30510 x30511 x30512 x30513 x30517 x30518 x30519 x30520 x30521 x30522 x30523 x30524 x30525
1800.05/1802.11	v x30526 x30527 x30528 x30529 x30530 x30531 x30532 x30533 x30534 x30535 x30536 x30537 x30538 x30542 x30543 x30544 x30545
1800.05/1802.11	v x30546 x30547 x30548 x30549 x30550 x30551 x30552 x30553 x30554 x30555 x30556 x30557 x30558 x30559 x30560 x30561 x30562
1800.05/1802.11	v x30563 x30567 x30568 x30569 x30570 x30571 x30572 x30573 x30574 x30575 x30576 x30577 x30578 x30579 x30580 x30581 x30582
1800.05/1802.11	v x30583 x30584 x30585 x30586 x30587 x30592 x30593 x30594 x30595 x30596 x30597 x30598 x30599 x30600 x30601 x30602 x30603
1800.05/1802.11	v x30604 x30605 x30606 x30607 x30608 x30609 x30610 x30611 x30612 x30613 x30614 x30618 x30619 x30620 x30621 x30622 x30623
1800.05/1802.11	v x30624 x30625 x30626 x30627 x30628 x30629 x30630 x30631 x30632 x30633 x30634 x30644 x30645 x30646 x30647 x30648 x30649
1800.05/1802.11	v x30650 x30651 x30652 x30653 x30654 x30655 x30656 x30657 x30658 x30659 x30660 x30661 x30662 x30663 x30664 x30665 x30666
1800.05/1802.11	v x30667 x30668 x30669 x30670 x30671 x30672 x30673 x30674 x30675 x30676 x30677 x30678 x30679 x30680 x30681 x30682 x30683
1800.05/1802.11	v x30684 x30685 x30686 x30687 x30695 x30696 x30697 x30698 x30699 x30700 x30701 x30702 x30703 x30704 x30705 x30706 x30707
1800.05/1802.11	v x30708 x30709 x30710 x30711 x30712 x30721 x30722 x30723 x30724 x30725 x30726 x30727 x30728 x30729 x30730 x30731 x30732
1800.05/1802.11	v x30733 x30734 x30735 x30736 x30737 x30738 x30739 x30740 x30741 x30746 x30747 x30748 x30749 x30750 x30751 x30752 x30753
1800.05/1802.11	v x30754 x30755 x30756 x30757 x30758 x30759 x30760 x30761 x30762 x30763 x30764 x30765 x30771 x30772 x30773 x30774 x30775
1800.05/1802.11	v x30776 x30777 x30778 x30779 x30780 x30781 x30782 x30783 x30784 x30785 x30786 x30787 x30788 x30789 x30790 x30791 x30792
1800.05/1802.11	v x30796 x30797 x30798 x30799 x30800 x30801 x30802 x30803 x30804 x30805 x30806 x30807 x30808 x30809 x30810 x30811 x30812
1800.05/1802.11	v x30813 x30814 x30815 x30816 x30817 x30822 x30823 x30824 x30825 x30826 x30827 x30828 x30829 x30830 x30831 x30832 x30833
1800.05/1802.11	v x30834 x30835 x30836 x30837 x30838 x30839 x30847 x30848 x30849 x30850 x30851 x30852 x30853 x30854 x30855 x30856 x30857
1800.05/1802.11	v x30858 x30859 x30860 x30861 x30862 x30863 x30864 x30865 x30866 x30867 x30874 x30875 x30876 x30877 x30878 x30879 x30880
1800.05/1802.11	v x30881 x30882 x30883 x30884 x30885 x30886 x30887 x30888 x30889 x30890 x30891 x30892 x30893 x30894 x30895 x30896 x30897
1800.05/1802.11	v x30898 x30899 x30900 x30901 x30902 x30903 x30904 x30905 x30906 x30907 x30908 x30909 x30910 x30911 x30912 x30913 x30914
1800.05/1802.11	v x30915 x30916 x30917 x30918 x30919 x30925 x30926 x30927 x30928 x30929 x30930 x30931 x30932 x30933 x30934 x30935 x30936
1800.05/1802.11	v x30937 x30938 x30939 x30940 x30941 x30942 x30943 x30944 x30945 x30946 x30947 x30950 x30951 x30952 x30953 x30954 x30955
1800.05/1802.11	v x30956 x30957 x30958 x30959 x30960 x30961 x30962 x30963 x30964 x30965 x30966 x30967 x30968 x30969 x30970 x30975 x30976
1800.05/1802.11	v x30977 x30978 x30979 x30980 x30981 x30982 x30983 x30984 x30985 x30986 x30987 x30988 x30989 x30990 x30991 x30992 x30993
1800.05/1802.11	v x31000 x31001 x31002 x31003 x31004 x31005 x31006 x31007 x31008 x31009 x31010 x31011 x31012 x31013 x31014 x31015 x31016
1800.05/1802.11	v x31017 x31018 x31019 x31020 x31021 x31022 x31023 x31025 x31026 x31027 x31028 x31029 x31030 x31031 x31032 x31033 x31034
1800.05/1802.11	v x31035 x31036 x31037 x31038 x31039 x31040 x31041 x31042 x31043 x31044 x31045 x31046 x31051 x31052 x31053 x31054 x31055
1800.05/1802.11	v x31056 x31057 x31058 x31059 x31060 x31061 x31062 x31063 x31064 x31065 x31066 x31067 x31068 x31069 x31070 x31071 x31076
1800.05/1802.11	v x31077 x31078 x31079 x31080 x31081 x31082 x31083 x31084 x31085 x31086 x31087 x31088 x31089 x31090 x31091 x31092 x31093
1800.05/1802.11	v x31094 x31095 x31096 x31097 x31098 x31099 x31102 x31103 x31104 x31105 x31106 x31107 x31108 x31109 x31110 x31111 x31112
1800.05/1802.11	v x31113 x31114 x31115 x31116 x31117 x31118 x31119 x31120 x31121 x31122 x31127 x31128 x31129 x31130 x31131 x31132 x31133
1800.05/1802.11	v x31134 x31135 x31136 x31137 x31138 x31139 x31140 x31141 x31142 x31143 x31144 x31145 x31146 x31147 x31148 x31149 x31150
1800.05/1802.11	v x31152 x31153 x31154 x31155 x31156 x31157 x31158 x31159 x31160 x31161 x31162 x31163 x31164 x31165 x31166 x31167 x31168
1800.05/1802.11	v x31169 x31170 x31171 x31172 x31173 x31174 x31177 x31178 x31179 x31180 x31181 x31182 x31183 x31184 x31185 x31186 x31187
1800.05/1802.11	v x31188 x31189 x31190 x31191 x31192 x31193 x31194 x31195 x31196 x31197 x31202 x31203 x31204 x31205 x31206 x31207 x31208
1800.05/1802.11	v x31209 x31210 x31211 x31212 x31213 x31214 x31215 x31216 x31217 x31218 x31219 x31220 x31221 x31222 x31223 x31224 x31225
1800.05/1802.11	v x31228 x31229 x31230 x31231 x31232 x31233 x31234 x31235 x31236 x31237 x31238 x31239 x31240 x31241 x31242 x31243 x31244
1800.05/1802.11	v x31245 x31246 x31255 x31256 x31257 x31258 x31259 x31260 x31261 x31262 x31263 x31264 x31265 x31266 x31267 x31268 x31269
1800.05/1802.11	v x31270 x31271 x31272 x31281 x31282 x31283 x31284 x31285 x31286 x31287 x31288 x31289 x31290 x31291 x31292 x31293 x31294
1800.05/1802.11	v x31295 x31296 x31297 x31298 x31299 x31300 x31301 x31302 x31303 x31307 x31308 x31309 x31310 x31311 x31312 x31313 x31314
1800.05/1802.11	v x31315 x31316 x31317 x31318 x31319 x31320 x31321 x31322 x31323 x31324 x31325 x31326 x31327 x31328 x31333 x31334 x31335
1800.05/1802.11	v x31336 x31337 x31338 x31339 x31340 x31341 x31342 x31343 x31344 x31345 x31346 x31347 x31348 x31349 x31350 x31351 x31359
1800.05/1802.11	v x31360 x31361 x31362 x31363 x31364 x31365 x31366 x31367 x31368 x31369 x31370 x31371 x31372 x31373 x31374 x31375 x31376
1800.05/1802.11	v x31377 x31378 x31384 x31385 x31386 x31387 x31388 x31389 x31390 x31391 x31392 x31393 x31394 x31395 x31396 x31397 x31398
1800.05/1802.11	v x31399 x31400 x31401 x31402 x31403 x31410 x31411 x31412 x31413 x31414 x31415 x31416 x31417 x31418 x31419 x31420 x31421
1800.05/1802.11	v x31422 x31423 x31424 x31425 x31426 x31427 x31428 x31429 x31430 x31431 x31432 x31435 x31436 x31437 x31438 x31439 x31440
1800.05/1802.11	v x31441 x31442 x31443 x31444 x31445 x31446 x31447 x31448 x31449 x31450 x31451 x31452 x31453 x31454 x31455 x31456 x31460
1800.05/1802.11	v x31461 x31462 x31463 x31464 x31465 x31466 x31467 x31468 x31469 x31470 x31471 x31472 x31473 x31474 x31475 x31476 x31477
1800.05/1802.11	v x31478 x31479 x31480 x31481 x31482 x31486 x31487 x31488 x31489 x31490 x31491 x31492 x31493 x31494 x31495 x31496 x31497
1800.05/1802.11	v x31498 x31499 x31500 x31501 x31502 x31503 x31510 x31511 x31512 x31513 x31514 x31515 x31516 x31517 x31518 x31519 x31520
1800.05/1802.11	v x31521 x31522 x31523 x31524 x31525 x31526 x31527 x31528 x31529 x31530 x31531 x31535 x31536 x31537 x31538 x31539 x31540
1800.05/1802.11	v x31541 x31542 x31543 x31544 x31545 x31546 x31547 x31548 x31549 x31550 x31551 x31552 x31553 x31554 x31555 x31562 x31563
1800.05/1802.11	v x31564 x31565 x31566 x31567 x31568 x31569 x31570 x31571 x31572 x31573 x31574 x31575 x31576 x31577 x31578 x31579 x31580
1800.05/1802.11	v x31581 x31587 x31588 x31589 x31590 x31591 x31592 x31593 x31594 x31595 x31596 x31597 x31598 x31599 x31600 x31601 x31602
1800.05/1802.11	v x31603 x31604 x31605 x31606 x31607 x31608 x31609 x31612 x31613 x31614 x31615 x31616 x31617 x31618 x31619 x31620 x31621
1800.05/1802.11	v x31622 x31623 x31624 x31625 x31626 x31627 x31628 x31629 x31630 x31631 x31632 x31638 x31639 x31640 x31641 x31642 x31643
1800.05/1802.11	v x31644 x31645 x31646 x31647 x31648 x31649 x31650 x31651 x31652 x31653 x31654 x31655 x31656 x31657 x31658 x31659 x31660
1800.05/1802.11	v x31661 x31664 x31665 x31666 x31667 x31668 x31669 x31670 x31671 x31672 x31673 x31674 x31675 x31676 x31677 x31678 x31679
1800.05/1802.11	v x31680 x31681 x31682 x31683 x31684 x31685 x31686 x31690 x31691 x31692 x31693 x31694 x31695 x31696 x31697 x31698 x31699
1800.05/1802.11	v x31700 x31701 x31702 x31703 x31704 x31705 x31706 x31707 x31708 x31709 x31710 x31711 x31712 x31713 x31715 x31716 x31717
1800.05/1802.11	v x31718 x31719 x31720 x31721 x31722 x31723 x31724 x31725 x31726 x31727 x31728 x31729 x31730 x31731 x31732 x31733 x31734
1800.05/1802.11	v x31735 x31736 x31737 x31738 x31740 x31741 x31742 x31743 x31744 x31745 x31746 x31747 x31748 x31749 x31750 x31751 x31752
1800.05/1802.11	v x31753 x31754 x31755 x31756 x31757 x31758 x31759 x31760 x31765 x31766 x31767 x31768 x31769 x31770 x31771 x31772 x31773
1800.05/1802.11	v x31774 x31775 x31776 x31777 x31778 x31779 x31780 x31781 x31782 x31783 x31784 x31785 x31786 x31787 x31788 x31791 x31792
1800.05/1802.11	v x31793 x31794 x31795 x31796 x31797 x31798 x31799 x31800 x31801 x31802 x31803 x31804 x31805 x31806 x31807 x31808 x31809
1800.05/1802.11	v x31810 x31811 x31812 x31816 x31817 x31818 x31819 x31820 x31821 x31822 x31823 x31824 x31825 x31826 x31827 x31828 x31829
1800.05/1802.11	v x31830 x31831 x31832 x31833 x31834 x31835 x31836 x31841 x31842 x31843 x31844 x31845 x31846 x31847 x31848 x31849 x31850
1800.05/1802.11	v x31851 x31852 x31853 x31854 x31855 x31856 x31857 x31858 x31859 x31860 x31861 x31862 x31866 x31867 x31868 x31869 x31870
1800.05/1802.11	v x31871 x31872 x31873 x31874 x31875 x31876 x31877 x31878 x31879 x31880 x31881 x31882 x31883 x31884 x31885 x31886 x31887
1800.05/1802.11	v x31888 x31889 x31891 x31892 x31893 x31894 x31895 x31896 x31897 x31898 x31899 x31900 x31901 x31902 x31903 x31904 x31905
1800.05/1802.11	v x31906 x31907 x31908 x31909 x31910 x31911 x31912 x31913 x31914 x31916 x31917 x31918 x31919 x31920 x31921 x31922 x31923
1800.05/1802.11	v x31924 x31925 x31926 x31927 x31928 x31929 x31930 x31931 x31932 x31933 x31934 x31935 x31936 x31937 x31941 x31942 x31943
1800.05/1802.11	v x31944 x31945 x31946 x31947 x31948 x31949 x31950 x31951 x31952 x31953 x31954 x31955 x31956 x31957 x31958 x31959 x31960
1800.05/1802.11	v x31961 x31966 x31967 x31968 x31969 x31970 x31971 x31972 x31973 x31974 x31975 x31976 x31977 x31978 x31979 x31980 x31981
1800.05/1802.11	v x31982 x31983 x31984 x31985 x31986 x31991 x31992 x31993 x31994 x31995 x31996 x31997 x31998 x31999 x32000 x32001 x32002
1800.05/1802.11	v x32003 x32004 x32005 x32006 x32007 x32008 x32009 x32010 x32016 x32017 x32018 x32019 x32020 x32021 x32022 x32023 x32024
1800.05/1802.11	v x32025 x32026 x32027 x32028 x32029 x32030 x32031 x32032 x32033 x32034 x32035 x32036 x32037 x32041 x32042 x32043 x32044
1800.05/1802.11	v x32045 x32046 x32047 x32048 x32049 x32050 x32051 x32052 x32053 x32054 x32055 x32056 x32057 x32058 x32059 x32060 x32066
1800.05/1802.11	v x32067 x32068 x32069 x32070 x32071 x32072 x32073 x32074 x32075 x32076 x32077 x32078 x32079 x32080 x32081 x32082 x32083
1800.05/1802.11	v x32084 x32091 x32092 x32093 x32094 x32095 x32096 x32097 x32098 x32099 x32100 x32101 x32102 x32103 x32104 x32105 x32106
1800.05/1802.11	v x32107 x32108 x32109 x32110 x32111 x32116 x32117 x32118 x32119 x32120 x32121 x32122 x32123 x32124 x32125 x32126 x32127
1800.05/1802.11	v x32128 x32129 x32130 x32131 x32132 x32133 x32134 x32135 x32136 x32141 x32142 x32143 x32144 x32145 x32146 x32147 x32148
1800.05/1802.11	v x32149 x32150 x32151 x32152 x32153 x32154 x32155 x32156 x32157 x32166 x32167 x32168 x32169 x32170 x32171 x32172 x32173
1800.05/1802.11	v x32174 x32175 x32176 x32177 x32178 x32179 x32180 x32181 x32182 x32183 x32184 x32185 x32186 x32191 x32192 x32193 x32194
1800.05/1802.11	v x32195 x32196 x32197 x32198 x32199 x32200 x32201 x32202 x32203 x32204 x32205 x32206 x32207 x32208 x32209 x32210 x32211
1800.05/1802.11	v x32216 x32217 x32218 x32219 x32220 x32221 x32222 x32223 x32224 x32225 x32226 x32227 x32228 x32229 x32230 x32231 x32232
1800.05/1802.11	v x32233 x32234 x32235 x32236 x32237 x32241 x32242 x32243 x32244 x32245 x32246 x32247 x32248 x32249 x32250 x32251 x32252
1800.05/1802.11	v x32253 x32254 x32255 x32256 x32257 x32258 x32259 x32260 x32261 x32266 x32267 x32268 x32269 x32270 x32271 x32272 x32273
1800.05/1802.11	v x32274 x32275 x32276 x32277 x32278 x32279 x32280 x32281 x32282 x32283 x32284 x32285 x32286 x32292 x32293 x32294 x32295
1800.05/1802.11	v x32296 x32297 x32298 x32299 x32300 x32301 x32302 x32303 x32317 x32318 x32319 x32320 x32321 x32322 x32323 x32324 x32325
1800.05/1802.11	v x32326 x32327 x32328 x32329 x32330 x32331 x32332 x32333 x32334 x32335 x32336 x32337 x32338 x32341 x32342 x32343 x32344
1800.05/1802.11	v x32345 x32346 x32347 x32348 x32349 x32350 x32351 x32352 x32353 x32354 x32355 x32356 x32357 x32358 x32359 x32360 x32366
1800.05/1802.11	v x32367 x32368 x32369 x32370 x32371 x32372 x32373 x32374 x32375 x32376 x32377 x32378 x32379 x32380 x32381 x32382 x32383
1800.05/1802.11	v x32384 x32385 x32386 x32387 x32391 x32392 x32393 x32394 x32395 x32396 x32397 x32398 x32399 x32400 x32401 x32402 x32403
1800.05/1802.11	v x32404 x32405 x32406 x32407 x32408 x32409 x32410 x32411 x32416 x32417 x32418 x32419 x32420 x32421 x32422 x32423 x32424
1800.05/1802.11	v x32425 x32426 x32427 x32428 x32429 x32430 x32431 x32432 x32433 x32441 x32442 x32443 x32444 x32445 x32446 x32447 x32448
1800.05/1802.11	v x32449 x32450 x32451 x32452 x32453 x32454 x32455 x32456 x32457 x32458 x32459 x32466 x32467 x32468 x32469 x32470 x32471
1800.05/1802.11	v x32472 x32473 x32474 x32475 x32476 x32477 x32478 x32479 x32480 x32481 x32482 x32483 x32484 x32485 x32486 x32487 x32488
1800.05/1802.11	v x32491 x32492 x32493 x32494 x32495 x32496 x32497 x32498 x32499 x32500 x32501 x32502 x32503 x32504 x32505 x32506 x32507
1800.05/1802.11	v x32508 x32509 x32510 x32511 x32516 x32517 x32518 x32519 x32520 x32521 x32522 x32523 x32524 x32525 x32526 x32527 x32528
1800.05/1802.11	v x32529 x32530 x32531 x32532 x32533 x32534 x32535 x32541 x32542 x32543 x32544 x32545 x32546 x32547 x32548 x32549 x32550
1800.05/1802.11	v x32551 x32552 x32553 x32554 x32555 x32556 x32557 x32558 x32559 x32560 x32561 x32562 x32563 x32564 x32566 x32567 x32568
1800.05/1802.11	v x32569 x32570 x32571 x32572 x32573 x32574 x32575 x32576 x32577 x32578 x32579 x32580 x32581 x32582 x32583
1800.05/1802.16	pb2clasp1: no process killed
1800.05/1802.17	clasp: no process killed

Verifier Data (download as text)

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

Falsified constraint is:
+1*~x3[=0]*x223[=1]+1*~x3[=0]*x774[=1]+1*~x3[=0]*x989[=0]+1*~x3[=0]*x554[=1]+1*~x3[=0]*x586[=1]+1*~x3[=0]*x724[=1]+1*~x3[=0]*x428[=1]+1*~x3[=0]*x990[=0]+1*~x3[=0]*x43[=1]+1*~x3[=0]*x717[=1]+1*~x3[=0]*x128[=1]+1*~x3[=0]*x434[=1]+1*~x3[=0]*x869[=0]+1*~x3[=0]*x489[=1]+1*~x3[=0]*x374[=1]+1*~x3[=0]*x940[=0]+1*~x3[=0]*x851[=0]+1*~x3[=0]*x91[=1]+1*~x3[=0]*x745[=1]+1*~x3[=0]*x888[=0]+1*~x3[=0]*x304[=1]+1*~x3[=0]*x762[=1]+1*~x3[=0]*x475[=1]+1*~x3[=0]*x279[=1]+1*~x3[=0]*x799[=0]+1*~x3[=0]*x21[=1]+1*~x3[=0]*x23[=1]+1*~x3[=0]*x113[=1]+1*~x3[=0]*x153[=1]+1*~x3[=0]*x160[=1]+1*~x3[=0]*x209[=1]+1*~x3[=0]*x355[=1]+1*~x3[=0]*x436[=1]+1*~x3[=0]*x473[=1]+1*~x3[=0]*x474[=1]+1*~x3[=0]*x553[=1]+1*~x3[=0]*x600[=1]+1*~x3[=0]*x626[=1]+1*~x3[=0]*x656[=1]+1*~x3[=0]*x780[=0]+1*~x3[=0]*x840[=0]+1*~x3[=0]*x902[=0]+1*~x3[=0]*x957[=0]+1*x3[=0] >= 1

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453475-1178140708/instance-453475-1178140708.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node20/watcher-453475-1178140708 -o ROOT/results/node20/solver-453475-1178140708 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453475-1178140708.opb /tmp/evaluation/453475-1178140708/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: 0.91 0.95 0.95 3/77 11646
/proc/meminfo: memFree=1652336/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=12268 CPUtime=0
/proc/11646/stat : 11646 (pbclasp) D 11644 11646 11241 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 261988280 12562432 317 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273952766565 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/11646/statm: 3067 317 242 3 0 167 0

[startup+0.053997 s]
/proc/loadavg: 0.91 0.95 0.95 3/77 11646
/proc/meminfo: memFree=1652336/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=13584 CPUtime=0.04
/proc/11646/stat : 11646 (pbclasp) S 11644 11646 11241 0 -1 4194304 800 0 0 0 4 0 0 0 16 0 1 0 261988280 13910016 753 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273961496674 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/11646/statm: 3396 753 324 3 0 496 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13584

[startup+0.102005 s]
/proc/loadavg: 0.91 0.95 0.95 3/77 11646
/proc/meminfo: memFree=1652336/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=13584 CPUtime=0.04
/proc/11646/stat : 11646 (pbclasp) S 11644 11646 11241 0 -1 4194304 800 0 0 0 4 0 0 0 16 0 1 0 261988280 13910016 753 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273961496674 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/11646/statm: 3396 753 324 3 0 496 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13584

[startup+0.301044 s]
/proc/loadavg: 0.91 0.95 0.95 3/77 11646
/proc/meminfo: memFree=1652336/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=13584 CPUtime=0.04
/proc/11646/stat : 11646 (pbclasp) S 11644 11646 11241 0 -1 4194304 800 0 0 0 4 0 0 0 16 0 1 0 261988280 13910016 753 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273961496674 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/11646/statm: 3396 753 324 3 0 496 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13584

[startup+0.701124 s]
/proc/loadavg: 0.91 0.95 0.95 3/77 11646
/proc/meminfo: memFree=1652336/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=13584 CPUtime=0.04
/proc/11646/stat : 11646 (pbclasp) S 11644 11646 11241 0 -1 4194304 800 0 0 0 4 0 0 0 16 0 1 0 261988280 13910016 753 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273961496674 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/11646/statm: 3396 753 324 3 0 496 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13584

[startup+1.5023 s]
/proc/loadavg: 0.91 0.95 0.95 2/80 11649
/proc/meminfo: memFree=1649304/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=13584 CPUtime=0.04
/proc/11646/stat : 11646 (pbclasp) S 11644 11646 11241 0 -1 4194304 800 0 0 0 4 0 0 0 16 0 1 0 261988280 13910016 753 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273961496674 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/11646/statm: 3396 753 324 3 0 496 0
[pid=11648] ppid=11646 vsize=5356 CPUtime=0
/proc/11648/stat : 11648 (sh) S 11646 11646 11241 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 261988284 5484544 231 18446744073709551615 4194304 4889804 548682069232 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11648/statm: 1339 231 193 169 0 50 0
[pid=11649] ppid=11648 vsize=12400 CPUtime=1.44
/proc/11649/stat : 11649 (pb2clasp1) R 11648 11646 11241 0 -1 4194304 501 0 0 0 143 1 0 0 25 0 1 0 261988285 12697600 463 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273966629653 0 0 4224 0 0 0 0 17 1 0 0
/proc/11649/statm: 3100 463 340 3 0 200 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 31340

[startup+3.10161 s]
/proc/loadavg: 0.91 0.95 0.95 2/80 11649
/proc/meminfo: memFree=1648664/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=13584 CPUtime=0.04
/proc/11646/stat : 11646 (pbclasp) S 11644 11646 11241 0 -1 4194304 800 0 0 0 4 0 0 0 16 0 1 0 261988280 13910016 753 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273961496674 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/11646/statm: 3396 753 324 3 0 496 0
[pid=11648] ppid=11646 vsize=5356 CPUtime=0
/proc/11648/stat : 11648 (sh) S 11646 11646 11241 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 261988284 5484544 231 18446744073709551615 4194304 4889804 548682069232 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11648/statm: 1339 231 193 169 0 50 0
[pid=11649] ppid=11648 vsize=12400 CPUtime=3.04
/proc/11649/stat : 11649 (pb2clasp1) R 11648 11646 11241 0 -1 4194304 501 0 0 0 303 1 0 0 25 0 1 0 261988285 12697600 463 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 273966263344 0 0 4224 0 0 0 0 17 1 0 0
/proc/11649/statm: 3100 463 340 3 0 200 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 31340

[startup+6.30225 s]
/proc/loadavg: 0.92 0.95 0.95 2/81 11656
/proc/meminfo: memFree=1641944/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=13716 CPUtime=5.08
/proc/11646/stat : 11646 (pbclasp) S 11644 11646 11241 0 -1 4194304 939 1593 0 0 4 0 500 4 17 0 1 0 261988280 14045184 795 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11646/statm: 3429 795 343 3 0 529 0
[pid=11654] ppid=11646 vsize=5356 CPUtime=0
/proc/11654/stat : 11654 (sh) S 11646 11646 11241 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 261988790 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11654/statm: 1339 225 188 169 0 50 0
[pid=11655] ppid=11654 vsize=2520 CPUtime=0
/proc/11655/stat : 11655 (cat) S 11654 11646 11241 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 261988790 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 273952768226 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/11655/statm: 630 87 71 4 0 42 0
[pid=11656] ppid=11654 vsize=22084 CPUtime=1.18
/proc/11656/stat : 11656 (clasp) R 11654 11646 11241 0 -1 4194304 5196 0 0 0 116 2 0 0 25 0 1 0 261988790 22614016 5158 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 7991792 0 0 4096 0 0 0 0 17 1 0 0
/proc/11656/statm: 5521 5159 173 154 0 4991 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 43676

[startup+12.7015 s]
/proc/loadavg: 0.93 0.95 0.95 2/81 11664
/proc/meminfo: memFree=1625304/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=13848 CPUtime=10.92
/proc/11646/stat : 11646 (pbclasp) S 11644 11646 11241 0 -1 4194304 1122 22246 0 0 7 0 1065 20 16 0 1 0 261988280 14180352 816 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11646/statm: 3462 816 343 3 0 562 0
[pid=11662] ppid=11646 vsize=5356 CPUtime=0
/proc/11662/stat : 11662 (sh) S 11646 11646 11241 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 261989375 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11662/statm: 1339 225 188 169 0 50 0
[pid=11663] ppid=11662 vsize=2520 CPUtime=0
/proc/11663/stat : 11663 (cat) S 11662 11646 11241 0 -1 4194304 120 0 0 0 0 0 0 0 16 0 1 0 261989376 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 273952768226 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/11663/statm: 630 87 71 4 0 42 0
[pid=11664] ppid=11662 vsize=34960 CPUtime=1.72
/proc/11664/stat : 11664 (clasp) R 11662 11646 11241 0 -1 4194304 8387 0 0 0 169 3 0 0 25 0 1 0 261989376 35799040 8316 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134937334 0 0 4096 0 0 0 0 17 1 0 0
/proc/11664/statm: 8740 8316 173 154 0 8210 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 56684

[startup+25.5011 s]
/proc/loadavg: 0.94 0.96 0.95 2/81 11680
/proc/meminfo: memFree=1640664/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=13848 CPUtime=24.82
/proc/11646/stat : 11646 (pbclasp) S 11644 11646 11241 0 -1 4194304 1404 82537 0 0 12 1 2410 59 16 0 1 0 261988280 14180352 819 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11646/statm: 3462 819 343 3 0 562 0
[pid=11678] ppid=11646 vsize=5356 CPUtime=0
/proc/11678/stat : 11678 (sh) S 11646 11646 11241 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 261990765 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11678/statm: 1339 225 188 169 0 50 0
[pid=11679] ppid=11678 vsize=2520 CPUtime=0
/proc/11679/stat : 11679 (cat) S 11678 11646 11241 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 261990765 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 273952768226 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/11679/statm: 630 87 71 4 0 42 0
[pid=11680] ppid=11678 vsize=11112 CPUtime=0.64
/proc/11680/stat : 11680 (clasp) R 11678 11646 11241 0 -1 4194304 2449 0 0 0 63 1 0 0 25 0 1 0 261990765 11378688 2411 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 8054395 0 0 4096 0 0 0 0 17 1 0 0
/proc/11680/statm: 2778 2412 173 154 0 2248 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 32836

[startup+51.1012 s]
/proc/loadavg: 0.96 0.96 0.95 2/80 11704
/proc/meminfo: memFree=1545240/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=13848 CPUtime=46.05
/proc/11646/stat : 11646 (pbclasp) S 11644 11646 11241 0 -1 4194304 1809 174105 0 0 20 1 4470 114 16 0 1 0 261988280 14180352 819 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11646/statm: 3462 819 343 3 0 562 0
[pid=11702] ppid=11646 vsize=5356 CPUtime=0
/proc/11702/stat : 11702 (sh) S 11646 11646 11241 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 261992890 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11702/statm: 1339 225 188 169 0 50 0
[pid=11704] ppid=11702 vsize=104040 CPUtime=4.98
/proc/11704/stat : 11704 (clasp) R 11702 11646 11241 0 -1 4194304 30060 0 0 0 485 13 0 0 25 0 1 0 261992890 106536960 24741 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134629609 0 0 4096 0 0 0 0 17 1 0 0
/proc/11704/statm: 26010 24741 196 154 0 25480 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 123244

[startup+102.307 s]
/proc/loadavg: 0.98 0.96 0.95 2/80 11760
/proc/meminfo: memFree=1534864/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=13848 CPUtime=96.63
/proc/11646/stat : 11646 (pbclasp) S 11644 11646 11241 0 -1 4194304 2781 395814 0 0 42 2 9361 258 16 0 1 0 261988280 14180352 828 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11646/statm: 3462 828 343 3 0 562 0
[pid=11758] ppid=11646 vsize=5356 CPUtime=0
/proc/11758/stat : 11758 (sh) S 11646 11646 11241 0 -1 4194304 289 122 0 0 0 0 0 0 16 0 1 0 261997957 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11758/statm: 1339 225 188 169 0 50 0
[pid=11760] ppid=11758 vsize=113560 CPUtime=5.51
/proc/11760/stat : 11760 (clasp) R 11758 11646 11241 0 -1 4194304 30597 0 0 0 536 15 0 0 25 0 1 0 261997957 116285440 27307 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134629585 0 0 4096 0 0 0 0 17 1 0 0
/proc/11760/statm: 28390 27307 196 154 0 27860 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 132764

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/80 11824
/proc/meminfo: memFree=1535320/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=13848 CPUtime=156.16
/proc/11646/stat : 11646 (pbclasp) S 11644 11646 11241 0 -1 4194304 3939 662985 0 0 70 4 15114 428 16 0 1 0 261988280 14180352 832 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11646/statm: 3462 832 343 3 0 562 0
[pid=11822] ppid=11646 vsize=5356 CPUtime=0.01
/proc/11822/stat : 11822 (sh) S 11646 11646 11241 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 262003919 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11822/statm: 1339 225 188 169 0 50 0
[pid=11824] ppid=11822 vsize=113156 CPUtime=5.88
/proc/11824/stat : 11824 (clasp) R 11822 11646 11241 0 -1 4194304 33218 0 0 0 575 13 0 0 25 0 1 0 262003919 115871744 27243 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134629605 0 0 4096 0 0 0 0 17 1 0 0
/proc/11824/statm: 28289 27243 196 154 0 27759 0
Current children cumulated CPU time (s) 162.05
Current children cumulated vsize (KiB) 132360

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/80 11888
/proc/meminfo: memFree=1533144/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=13848 CPUtime=217.56
/proc/11646/stat : 11646 (pbclasp) S 11644 11646 11241 0 -1 4194304 5093 942448 0 0 103 5 21043 605 16 0 1 0 261988280 14180352 832 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11646/statm: 3462 832 343 3 0 562 0
[pid=11886] ppid=11646 vsize=5356 CPUtime=0
/proc/11886/stat : 11886 (sh) S 11646 11646 11241 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 262010066 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11886/statm: 1339 225 188 169 0 50 0
[pid=11888] ppid=11886 vsize=112932 CPUtime=4.42
/proc/11888/stat : 11888 (clasp) R 11886 11646 11241 0 -1 4194304 30369 0 0 0 429 13 0 0 25 0 1 0 262010067 115642368 27620 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134745168 0 0 4096 0 0 0 0 17 1 0 0
/proc/11888/statm: 28233 27620 194 154 0 27703 0
Current children cumulated CPU time (s) 221.98
Current children cumulated vsize (KiB) 132136


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

/proc/11646/statm: 3531 877 343 3 0 631 0
[pid=12862] ppid=11646 vsize=5356 CPUtime=0
/proc/12862/stat : 12862 (sh) S 11646 11646 11241 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 262124059 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12862/statm: 1339 225 188 169 0 50 0
[pid=12864] ppid=12862 vsize=113180 CPUtime=4.48
/proc/12864/stat : 12864 (clasp) R 12862 11646 11241 0 -1 4194304 30669 0 0 0 436 12 0 0 25 0 1 0 262124059 115896320 27851 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134683934 0 0 4096 0 0 0 0 17 1 0 0
/proc/12864/statm: 28295 27851 188 154 0 27765 0
Current children cumulated CPU time (s) 1360.69
Current children cumulated vsize (KiB) 132660

[startup+1422.31 s]
/proc/loadavg: 1.03 0.99 0.96 2/81 12914
/proc/meminfo: memFree=1639112/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=14124 CPUtime=1420.28
/proc/11646/stat : 11646 (pbclasp) S 11644 11646 11241 0 -1 4194304 26639 7175255 0 0 1475 30 136290 4233 16 0 1 0 261988280 14462976 877 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11646/statm: 3531 877 343 3 0 631 0
[pid=12912] ppid=11646 vsize=5356 CPUtime=0
/proc/12912/stat : 12912 (sh) S 11646 11646 11241 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 262130473 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12912/statm: 1339 225 188 169 0 50 0
[pid=12913] ppid=12912 vsize=2520 CPUtime=0
/proc/12913/stat : 12913 (cat) S 12912 11646 11241 0 -1 4194304 120 0 0 0 0 0 0 0 16 0 1 0 262130473 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 273952768226 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/12913/statm: 630 87 71 4 0 42 0
[pid=12914] ppid=12912 vsize=5876 CPUtime=0.36
/proc/12914/stat : 12914 (clasp) R 12912 11646 11241 0 -1 4194304 1145 0 0 0 36 0 0 0 20 0 1 0 262130473 6017024 1107 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134932674 0 0 4096 0 0 0 0 17 1 0 0
/proc/12914/statm: 1469 1107 173 154 0 939 0
Current children cumulated CPU time (s) 1420.64
Current children cumulated vsize (KiB) 27876

[startup+1482.3 s]
/proc/loadavg: 1.01 0.99 0.96 2/80 12954
/proc/meminfo: memFree=1442912/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=14124 CPUtime=1474.1
/proc/11646/stat : 11646 (pbclasp) S 11644 11646 11241 0 -1 4194304 27565 7475773 0 0 1567 31 141409 4403 16 0 1 0 261988280 14462976 877 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11646/statm: 3531 877 343 3 0 631 0
[pid=12952] ppid=11646 vsize=5356 CPUtime=0
/proc/12952/stat : 12952 (sh) S 11646 11646 11241 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 262135859 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12952/statm: 1339 225 188 169 0 50 0
[pid=12954] ppid=12952 vsize=214732 CPUtime=6.48
/proc/12954/stat : 12954 (clasp) R 12952 11646 11241 0 -1 4194304 56603 0 0 0 622 26 0 0 25 0 1 0 262135859 219885568 51516 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 8048755 0 0 4096 0 0 0 0 17 1 0 0
/proc/12954/statm: 53683 51516 194 154 0 53153 0
Current children cumulated CPU time (s) 1480.58
Current children cumulated vsize (KiB) 234212

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/81 13002
/proc/meminfo: memFree=1626384/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=14124 CPUtime=1539.37
/proc/11646/stat : 11646 (pbclasp) S 11644 11646 11241 0 -1 4194304 28681 7852181 0 0 1682 32 147606 4617 16 0 1 0 261988280 14462976 877 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11646/statm: 3531 877 343 3 0 631 0
[pid=13000] ppid=11646 vsize=5356 CPUtime=0
/proc/13000/stat : 13000 (sh) S 11646 11646 11241 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 262142399 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13000/statm: 1339 225 188 169 0 50 0
[pid=13001] ppid=13000 vsize=2520 CPUtime=0
/proc/13001/stat : 13001 (cat) S 13000 11646 11241 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 262142400 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 273952768226 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/13001/statm: 630 87 71 4 0 42 0
[pid=13002] ppid=13000 vsize=20496 CPUtime=1.09
/proc/13002/stat : 13002 (clasp) R 13000 11646 11241 0 -1 4194304 4771 0 0 0 107 2 0 0 25 0 1 0 262142400 20987904 4733 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 8041432 0 0 4096 0 0 0 0 17 1 0 0
/proc/13002/statm: 5124 4733 173 154 0 4594 0
Current children cumulated CPU time (s) 1540.46
Current children cumulated vsize (KiB) 42496

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.96 3/80 13042
/proc/meminfo: memFree=1456912/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=14124 CPUtime=1594.27
/proc/11646/stat : 11646 (pbclasp) S 11644 11646 11241 0 -1 4194304 29615 8177770 0 0 1780 33 152815 4799 16 0 1 0 261988280 14462976 878 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11646/statm: 3531 878 343 3 0 631 0
[pid=13040] ppid=11646 vsize=5356 CPUtime=0
/proc/13040/stat : 13040 (sh) S 11646 11646 11241 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 262147893 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13040/statm: 1339 225 188 169 0 50 0
[pid=13042] ppid=13040 vsize=224716 CPUtime=6.15
/proc/13042/stat : 13042 (clasp) R 13040 11646 11241 0 -1 4194304 61980 0 0 0 587 28 0 0 25 0 1 0 262147893 230109184 53409 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 8050572 0 0 4096 0 0 0 0 17 1 0 0
/proc/13042/statm: 56179 53409 194 154 0 55649 0
Current children cumulated CPU time (s) 1600.42
Current children cumulated vsize (KiB) 244196

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/80 13082
/proc/meminfo: memFree=1447576/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=14124 CPUtime=1660.42
/proc/11646/stat : 11646 (pbclasp) R 11644 11646 11241 0 -1 4194304 30629 8573541 0 0 1886 34 159108 5014 17 0 1 0 261988280 14462976 878 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273966632718 0 0 4224 16384 0 0 0 17 0 0 0
/proc/11646/statm: 3531 878 343 3 0 631 0
Current children cumulated CPU time (s) 1660.42
Current children cumulated vsize (KiB) 14124

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/81 13130
/proc/meminfo: memFree=1568920/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=14124 CPUtime=1716.36
/proc/11646/stat : 11646 (pbclasp) S 11644 11646 11241 0 -1 4194304 31686 8904274 0 0 2008 34 164393 5201 16 0 1 0 261988280 14462976 887 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11646/statm: 3531 887 343 3 0 631 0
[pid=13128] ppid=11646 vsize=5356 CPUtime=0
/proc/13128/stat : 13128 (sh) S 11646 11646 11241 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 262160116 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13128/statm: 1339 225 188 169 0 50 0
[pid=13129] ppid=13128 vsize=2520 CPUtime=0
/proc/13129/stat : 13129 (cat) S 13128 11646 11241 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 262160116 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 273952768226 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/13129/statm: 630 87 71 4 0 42 0
[pid=13130] ppid=13128 vsize=120608 CPUtime=3.92
/proc/13130/stat : 13130 (clasp) R 13128 11646 11241 0 -1 4194304 31309 0 0 0 379 13 0 0 25 0 1 0 262160116 123502592 29632 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134684608 0 0 4096 0 0 0 0 17 1 0 0
/proc/13130/statm: 30152 29632 184 154 0 29622 0
Current children cumulated CPU time (s) 1720.28
Current children cumulated vsize (KiB) 142608

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.96 2/80 13170
/proc/meminfo: memFree=1422104/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=14124 CPUtime=1772.37
/proc/11646/stat : 11646 (pbclasp) S 11644 11646 11241 0 -1 4194304 32653 9227398 0 0 2115 36 169703 5383 16 0 1 0 261988280 14462976 896 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11646/statm: 3531 896 343 3 0 631 0
[pid=13168] ppid=11646 vsize=5356 CPUtime=0.01
/proc/13168/stat : 13168 (sh) S 11646 11646 11241 0 -1 4194304 289 122 0 0 0 0 0 1 16 0 1 0 262165720 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13168/statm: 1339 225 188 169 0 50 0
[pid=13170] ppid=13168 vsize=229608 CPUtime=7.88
/proc/13170/stat : 13170 (clasp) R 13168 11646 11241 0 -1 4194304 61806 0 0 0 760 28 0 0 25 0 1 0 262165720 235118592 54679 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134629611 0 0 4096 0 0 0 0 17 1 0 0
/proc/13170/statm: 57402 54679 196 154 0 56872 0
Current children cumulated CPU time (s) 1780.26
Current children cumulated vsize (KiB) 249088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.1 s]
/proc/loadavg: 1.00 0.99 0.96 3/80 13186
/proc/meminfo: memFree=1452816/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=14124 CPUtime=1794.85
/proc/11646/stat : 11646 (pbclasp) S 11644 11646 11241 0 -1 4194304 33013 9357177 0 0 2158 36 171834 5457 16 0 1 0 261988280 14462976 896 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11646/statm: 3531 896 343 3 0 631 0
[pid=13184] ppid=11646 vsize=5356 CPUtime=0.01
/proc/13184/stat : 13184 (sh) S 11646 11646 11241 0 -1 4194304 289 122 0 0 0 0 0 1 16 0 1 0 262167969 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13184/statm: 1339 225 188 169 0 50 0
[pid=13186] ppid=13184 vsize=195288 CPUtime=5.19
/proc/13186/stat : 13186 (clasp) R 13184 11646 11241 0 -1 4194304 53315 0 0 0 494 25 0 0 25 0 1 0 262167969 199974912 46940 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 8085126 0 0 4096 0 0 0 0 17 1 0 0
/proc/13186/statm: 48822 46940 194 154 0 48292 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 214768

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

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

[startup+1802.1 s]
/proc/loadavg: 1.00 0.99 0.96 3/80 13186
/proc/meminfo: memFree=1452816/2055920 swapFree=4154924/4192956
[pid=11646] ppid=11644 vsize=14124 CPUtime=1794.85
/proc/11646/stat : 11646 (pbclasp) S 11644 11646 11241 0 -1 4194304 33013 9357177 0 0 2158 36 171834 5457 16 0 1 0 261988280 14462976 896 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 273961500564 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/11646/statm: 3531 896 343 3 0 631 0
[pid=13184] ppid=11646 vsize=5356 CPUtime=0.01
/proc/13184/stat : 13184 (sh) S 11646 11646 11241 0 -1 4194304 289 122 0 0 0 0 0 1 16 0 1 0 262167969 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13184/statm: 1339 225 188 169 0 50 0
[pid=13186] ppid=13184 vsize=195288 CPUtime=5.19
/proc/13186/stat : 13186 (clasp) R 13184 11646 11241 0 -1 4194304 53315 0 0 0 494 25 0 0 25 0 1 0 262167969 199974912 46940 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 8085126 0 0 4096 0 0 0 0 17 1 0 0
/proc/13186/statm: 48822 46940 194 154 0 48292 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 214768

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11646 and gives
#  childrusage.ru_utime.tv_sec=1739
#  childrusage.ru_utime.tv_usec=935489
#  childrusage.ru_stime.tv_sec=54
#  childrusage.ru_stime.tv_usec=953645
# CPU time returned by wait4() is 1794.89
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1802.18
CPU time (s): 1800.05
CPU user time (s): 1744.86
CPU system time (s): 55.19
CPU usage (%): 99.8817
Max. virtual memory (cumulated for all children) (KiB): 251904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1739.94
system time used= 54.9536
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9391146
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= 156018
involuntary context switches= 117274

runsolver used 1.60476 second user time and 4.98024 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Wed May  2 21:18:28 UTC 2007

IDJOB= 453475
IDBENCH= 48133
IDSOLVER= 158
FILE ID= node20/453475-1178140708

PBS_JOBID= 4751055

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_5.opb
COMMAND LINE= pbclasp instance-453475-1178140708.opb /tmp/evaluation/453475-1178140708/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node20/convwatcher-453475-1178140708 -o ROOT/results/node20/conversion-453475-1178140708 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453475-1178140708/instance-453475-1178140708.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  d79bd0f7d6fceec4ec599aa8716e2601

RANDOM SEED= 914488164

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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.265
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.265
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:       1652872 kB
Buffers:        214168 kB
Cached:          76772 kB
SwapCached:      16828 kB
Active:         188544 kB
Inactive:       126188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1652872 kB
SwapTotal:     4192956 kB
SwapFree:      4154924 kB
Dirty:            3484 kB
Writeback:           0 kB
Mapped:          29956 kB
Slab:            73860 kB
Committed_AS:  6503744 kB
PageTables:       1744 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 node20 on Wed May  2 21:48:34 UTC 2007