Trace number 453715

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. 1802.06 1803.33

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_60_3.opb
MD5SUM12e000f4c238d036e0b89e0774c838fa
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark37
Best CPU time to get the best result obtained on this benchmark1800.33
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 37
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 constraint61
Maximum length of a constraint108
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)75294
Sum of products size (including duplicates)150588
Number of different products75294
Sum of products size150588

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)

25.64/25.73	o 989
39.74/39.90	o 988
53.93/54.08	o 987
68.23/68.35	o 986
82.52/82.65	o 985
96.81/96.93	o 984
111.11/111.27	o 983
125.51/125.66	o 982
139.89/140.07	o 981
154.28/154.47	o 980
168.77/168.98	o 979
183.39/183.52	o 978
197.88/198.03	o 977
212.34/212.58	o 976
227.06/227.22	o 975
241.62/241.88	o 974
256.32/256.53	o 973
271.02/271.23	o 972
285.82/286.00	o 971
300.50/300.78	o 970
315.30/315.55	o 969
330.21/330.41	o 968
345.11/345.31	o 967
359.98/360.22	o 966
374.75/375.10	o 965
389.76/390.07	o 964
404.75/405.07	o 963
419.75/420.06	o 962
434.85/435.10	o 961
449.82/450.20	o 960
465.04/465.32	o 959
480.14/480.44	o 958
495.33/495.61	o 957
510.51/510.82	o 956
525.71/526.09	o 955
541.00/541.36	o 954
556.31/556.64	o 953
571.60/571.99	o 952
586.99/587.36	o 951
602.39/602.76	o 950
617.79/618.16	o 949
633.27/633.62	o 948
648.77/649.11	o 947
664.26/664.66	o 946
679.84/680.21	o 945
695.33/695.78	o 944
711.03/711.40	o 943
726.63/727.04	o 942
742.22/742.66	o 941
757.90/758.32	o 940
773.60/774.06	o 939
789.41/789.86	o 938
805.30/805.72	o 937
821.09/821.55	o 936
836.98/837.43	o 935
852.88/853.31	o 934
868.77/869.26	o 933
884.77/885.24	o 932
900.77/901.23	o 931
916.66/917.19	o 930
932.76/933.25	o 929
948.91/949.60	o 928
965.01/965.73	o 927
981.09/981.86	o 926
997.18/997.99	o 925
1013.39/1014.17	o 924
1029.67/1030.42	o 923
1045.88/1046.69	o 922
1062.17/1062.98	o 921
1078.47/1079.29	o 920
1094.86/1095.64	o 919
1111.15/1112.00	o 918
1127.56/1128.39	o 917
1144.05/1144.86	o 916
1160.54/1161.32	o 915
1177.03/1177.81	o 914
1193.53/1194.33	o 913
1210.13/1210.90	o 912
1226.72/1227.51	o 911
1243.32/1244.15	o 910
1259.91/1260.77	o 909
1276.61/1277.40	o 908
1293.13/1294.09	o 907
1309.93/1310.81	o 906
1326.72/1327.63	o 905
1343.61/1344.50	o 904
1360.51/1361.41	o 903
1377.32/1378.24	o 902
1394.20/1395.12	o 901
1411.11/1412.04	o 900
1428.09/1429.06	o 899
1445.12/1446.10	o 898
1462.12/1463.22	o 897
1479.01/1480.18	o 896
1496.01/1497.19	o 895
1513.11/1514.20	o 894
1530.20/1531.33	o 893
1547.29/1548.48	o 892
1564.49/1565.66	o 891
1581.69/1582.83	o 890
1598.87/1600.02	o 889
1616.07/1617.28	o 888
1633.37/1634.54	o 887
1650.65/1651.88	o 886
1668.04/1669.26	o 885
1685.44/1686.64	o 884
1702.82/1704.03	o 883
1720.23/1721.40	o 882
1737.62/1738.82	o 881
1755.00/1756.26	o 880
1772.50/1773.73	o 879
1790.00/1791.24	o 878
1800.08/1801.32	c Somebody sent me a SIGTERM
1800.08/1801.32	s SATISFIABLE
1800.08/1801.32	v x1 x2 x3 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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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.08/1801.32	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 x779 x780
1800.08/1801.32	v x781 x782 x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 x798 x799 x800 x801 x802 x803 x804 x805 x806
1800.08/1801.32	v x807 x808 x809 x810 x811 x812 x813 x814 x815 x816 x817 x818 x819 x820 x821 x822 x823 x824 x825 x826 x827 x828 x829 x830 x831 x832
1800.08/1801.32	v x833 x834 x835 x836 x837 x838 x839 x840 x841 x842 x843 x844 x845 x846 x847 x848 x849 x850 x851 x852 x853 x854 x855 x856 x857 x858
1800.08/1801.32	v x859 x860 x861 x862 x863 x864 x865 x866 x867 x868 x869 x870 x871 x872 x873 x874 x875 x876 x877 x878 x879 x1283 x1284 x1285 x1286
1800.08/1801.32	v x1288 x1289 x1290 x1291 x1292 x1293 x1294 x1295 x1296 x1297 x1298 x1299 x1300 x1301 x1302 x1303 x1304 x1305 x1306 x1307 x1308
1800.08/1801.32	v x1309 x1310 x1311 x1312 x1313 x1314 x1315 x1316 x1317 x1318 x1319 x1320 x1321 x1322 x1323 x1325 x1326 x1327 x1328 x1329 x1331
1800.08/1801.32	v x1332 x1333 x1334 x1335 x1336 x1338 x1339 x1341 x1342 x1343 x1344 x1345 x1346 x1347 x1348 x1349 x1350 x1351 x1352 x1353 x1354
1800.08/1801.32	v x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1363 x1364 x1365 x1366 x1367 x1368 x1369 x1370 x1371 x1372 x1373 x68857
1800.08/1801.32	v x68858 x68859 x68860 x68861 x68862 x68863 x68864 x68865 x68866 x68867 x68868 x68869 x68870 x68871 x68872 x68873 x68874
1800.08/1801.32	v x68875 x68876 x68877 x68878 x68879 x68880 x68881 x68882 x68883 x68884 x68885 x68886 x68887 x68888 x68889 x68890 x68891
1800.08/1801.32	v x68892 x68893 x68894 x68895 x68896 x68897 x68898 x68899 x68900 x68901 x68902 x68903 x68904 x68905 x68906 x68907 x68908
1800.08/1801.32	v x68909 x68910 x68911 x68912 x68913 x68914 x68920 x68921 x68922 x68923 x68924 x68925 x68926 x68927 x68928 x68929 x68930
1800.08/1801.32	v x68931 x68932 x68933 x68934 x68935 x68936 x68937 x68938 x68939 x68940 x68941 x68942 x68943 x68944 x68945 x68946 x68947
1800.08/1801.32	v x68948 x68949 x68950 x68951 x68952 x68953 x68954 x68955 x68956 x68957 x68958 x68959 x68960 x68961 x68962 x68963 x68964
1800.08/1801.32	v x68965 x68966 x68967 x68968 x68969 x68970 x68971 x68972 x68973 x68974 x68975 x68976 x68977 x68978 x68983 x68984 x68985
1800.08/1801.32	v x68986 x68987 x68988 x68989 x68990 x68991 x68992 x68993 x68994 x68995 x68996 x68997 x68998 x68999 x69000 x69001 x69002
1800.08/1801.32	v x69003 x69004 x69005 x69006 x69007 x69008 x69009 x69010 x69011 x69012 x69013 x69014 x69015 x69016 x69017 x69018 x69019
1800.08/1801.32	v x69020 x69021 x69022 x69023 x69024 x69025 x69026 x69027 x69028 x69029 x69030 x69031 x69032 x69033 x69034 x69035 x69036
1800.08/1801.32	v x69037 x69038 x69047 x69048 x69049 x69050 x69051 x69052 x69053 x69054 x69055 x69056 x69057 x69058 x69059 x69060 x69061
1800.08/1801.32	v x69062 x69063 x69064 x69065 x69066 x69067 x69068 x69069 x69070 x69071 x69072 x69073 x69074 x69075 x69076 x69077 x69078
1800.08/1801.32	v x69079 x69080 x69081 x69082 x69083 x69084 x69085 x69086 x69087 x69088 x69089 x69090 x69091 x69092 x69093 x69094 x69095
1800.08/1801.32	v x69096 x69097 x69098 x69099 x69100 x69101 x69102 x69103 x69104 x69112 x69113 x69114 x69115 x69116 x69117 x69118 x69119
1800.08/1801.32	v x69120 x69121 x69122 x69123 x69124 x69125 x69126 x69127 x69128 x69129 x69130 x69131 x69132 x69133 x69134 x69135 x69136
1800.08/1801.32	v x69137 x69138 x69139 x69140 x69141 x69142 x69143 x69144 x69145 x69146 x69147 x69148 x69149 x69150 x69151 x69152 x69153
1800.08/1801.32	v x69154 x69155 x69156 x69157 x69158 x69159 x69160 x69161 x69162 x69163 x69164 x69165 x69166 x69167 x69168 x69169 x69173
1800.08/1801.32	v x69174 x69175 x69176 x69177 x69178 x69179 x69180 x69181 x69182 x69183 x69184 x69185 x69186 x69187 x69188 x69189 x69190
1800.08/1801.32	v x69191 x69192 x69193 x69194 x69195 x69196 x69197 x69198 x69199 x69200 x69201 x69202 x69203 x69204 x69205 x69206 x69207
1800.08/1801.32	v x69208 x69209 x69210 x69211 x69212 x69213 x69214 x69215 x69216 x69217 x69218 x69219 x69220 x69221 x69222 x69223 x69224
1800.08/1801.32	v x69225 x69226 x69227 x69228 x69229 x69235 x69236 x69237 x69238 x69239 x69240 x69241 x69242 x69243 x69244 x69245 x69246
1800.08/1801.32	v x69247 x69248 x69249 x69250 x69251 x69252 x69253 x69254 x69255 x69256 x69257 x69258 x69259 x69260 x69261 x69262 x69263
1800.08/1801.32	v x69264 x69265 x69266 x69267 x69268 x69269 x69270 x69271 x69272 x69273 x69274 x69275 x69276 x69277 x69278 x69279 x69280
1800.08/1801.32	v x69281 x69282 x69283 x69284 x69285 x69286 x69287 x69288 x69289 x69290 x69291 x69297 x69298 x69299 x69300 x69301 x69302
1800.08/1801.32	v x69303 x69304 x69305 x69306 x69307 x69308 x69309 x69310 x69311 x69312 x69313 x69314 x69315 x69316 x69317 x69318 x69319
1800.08/1801.32	v x69320 x69321 x69322 x69323 x69324 x69325 x69326 x69327 x69328 x69329 x69330 x69331 x69332 x69333 x69334 x69335 x69336
1800.08/1801.32	v x69337 x69338 x69339 x69340 x69341 x69342 x69343 x69344 x69345 x69346 x69347 x69348 x69349 x69350 x69351 x69352 x69353
1800.08/1801.32	v x69354 x69360 x69361 x69362 x69363 x69364 x69365 x69366 x69367 x69368 x69369 x69370 x69371 x69372 x69373 x69374 x69375
1800.08/1801.32	v x69376 x69377 x69378 x69379 x69380 x69381 x69382 x69383 x69384 x69385 x69386 x69387 x69388 x69389 x69390 x69391 x69392
1800.08/1801.32	v x69393 x69394 x69395 x69396 x69397 x69398 x69399 x69400 x69401 x69402 x69403 x69404 x69405 x69406 x69407 x69408 x69409
1800.08/1801.32	v x69410 x69411 x69412 x69413 x69414 x69415 x69416 x69417 x69422 x69423 x69424 x69425 x69426 x69427 x69428 x69429 x69430
1800.08/1801.32	v x69431 x69432 x69433 x69434 x69435 x69436 x69437 x69438 x69439 x69440 x69441 x69442 x69443 x69444 x69445 x69446 x69447
1800.08/1801.32	v x69448 x69449 x69450 x69451 x69452 x69453 x69454 x69455 x69456 x69457 x69458 x69459 x69460 x69461 x69462 x69463 x69464
1800.08/1801.32	v x69465 x69466 x69467 x69468 x69469 x69470 x69471 x69472 x69473 x69474 x69475 x69476 x69477 x69478 x69479 x69485 x69486
1800.08/1801.32	v x69487 x69488 x69489 x69490 x69491 x69492 x69493 x69494 x69495 x69496 x69497 x69498 x69499 x69500 x69501 x69502 x69503
1800.08/1801.32	v x69504 x69505 x69506 x69507 x69508 x69509 x69510 x69511 x69512 x69513 x69514 x69515 x69516 x69517 x69518 x69519 x69520
1800.08/1801.32	v x69521 x69522 x69523 x69524 x69525 x69526 x69527 x69528 x69529 x69530 x69531 x69532 x69533 x69534 x69535 x69536 x69537
1800.08/1801.32	v x69538 x69539 x69540 x69541 x69542 x69543 x69547 x69548 x69549 x69550 x69551 x69552 x69553 x69554 x69555 x69556 x69557
1800.08/1801.32	v x69558 x69559 x69560 x69561 x69562 x69563 x69564 x69565 x69566 x69567 x69568 x69569 x69570 x69571 x69572 x69573 x69574
1800.08/1801.32	v x69575 x69576 x69577 x69578 x69579 x69580 x69581 x69582 x69583 x69584 x69585 x69586 x69587 x69588 x69589 x69590 x69591
1800.08/1801.32	v x69592 x69593 x69594 x69595 x69596 x69597 x69598 x69599 x69600 x69601 x69602 x69603 x69604 x69605 x69606 x69610 x69611
1800.08/1801.32	v x69612 x69613 x69614 x69615 x69616 x69617 x69618 x69619 x69620 x69621 x69622 x69623 x69624 x69625 x69626 x69627 x69628
1800.08/1801.32	v x69629 x69630 x69631 x69632 x69633 x69634 x69635 x69636 x69637 x69638 x69639 x69640 x69641 x69642 x69643 x69644 x69645
1800.08/1801.32	v x69646 x69647 x69648 x69649 x69650 x69651 x69652 x69653 x69654 x69655 x69656 x69657 x69658 x69659 x69660 x69661 x69662
1800.08/1801.32	v x69663 x69664 x69665 x69666 x69673 x69674 x69675 x69676 x69677 x69678 x69679 x69680 x69681 x69682 x69683 x69684 x69685
1800.08/1801.32	v x69686 x69687 x69688 x69689 x69690 x69691 x69692 x69693 x69694 x69695 x69696 x69697 x69698 x69699 x69700 x69701 x69702
1800.08/1801.32	v x69703 x69704 x69705 x69706 x69707 x69708 x69709 x69710 x69711 x69712 x69713 x69714 x69715 x69716 x69717 x69718 x69719
1800.08/1801.32	v x69720 x69721 x69722 x69723 x69724 x69725 x69726 x69727 x69728 x69736 x69737 x69738 x69739 x69740 x69741 x69742 x69743
1800.08/1801.32	v x69744 x69745 x69746 x69747 x69748 x69749 x69750 x69751 x69752 x69753 x69754 x69755 x69756 x69757 x69758 x69759 x69760
1800.08/1801.32	v x69761 x69762 x69763 x69764 x69765 x69766 x69767 x69768 x69769 x69770 x69771 x69772 x69773 x69774 x69775 x69776 x69777
1800.08/1801.32	v x69778 x69779 x69780 x69781 x69782 x69783 x69784 x69785 x69786 x69787 x69788 x69789 x69790 x69791 x69792 x69793 x69797
1800.08/1801.32	v x69798 x69799 x69800 x69801 x69802 x69803 x69804 x69805 x69806 x69807 x69808 x69809 x69810 x69811 x69812 x69813 x69814
1800.08/1801.32	v x69815 x69816 x69817 x69818 x69819 x69820 x69821 x69822 x69823 x69824 x69825 x69826 x69827 x69828 x69829 x69830 x69831
1800.08/1801.32	v x69832 x69833 x69834 x69835 x69836 x69837 x69838 x69839 x69840 x69841 x69842 x69843 x69844 x69845 x69846 x69847 x69848
1800.08/1801.32	v x69849 x69850 x69859 x69860 x69861 x69862 x69863 x69864 x69865 x69866 x69867 x69868 x69869 x69870 x69871 x69872 x69873
1800.08/1801.32	v x69874 x69875 x69876 x69877 x69878 x69879 x69880 x69881 x69882 x69883 x69884 x69885 x69886 x69887 x69888 x69889 x69890
1800.08/1801.32	v x69891 x69892 x69893 x69894 x69895 x69896 x69897 x69898 x69899 x69900 x69901 x69902 x69903 x69904 x69905 x69906 x69907
1800.08/1801.32	v x69908 x69909 x69910 x69911 x69912 x69913 x69914 x69915 x69924 x69925 x69926 x69927 x69928 x69929 x69930 x69931 x69932
1800.08/1801.32	v x69933 x69934 x69935 x69936 x69937 x69938 x69939 x69940 x69941 x69942 x69943 x69944 x69945 x69946 x69947 x69948 x69949
1800.08/1801.32	v x69950 x69951 x69952 x69953 x69954 x69955 x69956 x69957 x69958 x69959 x69960 x69961 x69962 x69963 x69964 x69965 x69966
1800.08/1801.32	v x69967 x69968 x69969 x69970 x69971 x69972 x69973 x69974 x69975 x69976 x69977 x69978 x69984 x69985 x69986 x69987 x69988
1800.08/1801.32	v x69989 x69990 x69991 x69992 x69993 x69994 x69995 x69996 x69997 x69998 x69999 x70000 x70001 x70002 x70003 x70004 x70005
1800.08/1801.32	v x70006 x70007 x70008 x70009 x70010 x70011 x70012 x70013 x70014 x70015 x70016 x70017 x70018 x70019 x70020 x70021 x70022
1800.08/1801.32	v x70023 x70024 x70025 x70026 x70027 x70028 x70029 x70030 x70031 x70032 x70033 x70034 x70035 x70036 x70037 x70038 x70039
1800.08/1801.32	v x70040 x70045 x70046 x70047 x70048 x70049 x70050 x70051 x70052 x70053 x70054 x70055 x70056 x70057 x70058 x70059 x70060
1800.08/1801.32	v x70061 x70062 x70063 x70064 x70065 x70066 x70067 x70068 x70069 x70070 x70071 x70072 x70073 x70074 x70075 x70076 x70077
1800.08/1801.32	v x70078 x70079 x70080 x70081 x70082 x70083 x70084 x70085 x70086 x70087 x70088 x70089 x70090 x70091 x70092 x70093 x70094
1800.08/1801.32	v x70095 x70096 x70097 x70098 x70099 x70100 x70101 x70102 x70103 x70104 x70107 x70108 x70109 x70110 x70111 x70112 x70113
1800.08/1801.32	v x70114 x70115 x70116 x70117 x70118 x70119 x70120 x70121 x70122 x70123 x70124 x70125 x70126 x70127 x70128 x70129 x70130
1800.08/1801.32	v x70131 x70132 x70133 x70134 x70135 x70136 x70137 x70138 x70139 x70140 x70141 x70142 x70143 x70144 x70145 x70146 x70147
1800.08/1801.32	v x70148 x70149 x70150 x70151 x70152 x70153 x70154 x70155 x70156 x70157 x70158 x70159 x70160 x70161 x70168 x70169 x70170
1800.08/1801.32	v x70171 x70172 x70173 x70174 x70175 x70176 x70177 x70178 x70179 x70180 x70181 x70182 x70183 x70184 x70185 x70186 x70187
1800.08/1801.32	v x70188 x70189 x70190 x70191 x70192 x70193 x70194 x70195 x70196 x70197 x70198 x70199 x70200 x70201 x70202 x70203 x70204
1800.08/1801.32	v x70205 x70206 x70207 x70208 x70209 x70210 x70211 x70212 x70213 x70214 x70215 x70216 x70217 x70218 x70219 x70220 x70221
1800.08/1801.32	v x70222 x70223 x70224 x70233 x70234 x70235 x70236 x70237 x70238 x70239 x70240 x70241 x70242 x70243 x70244 x70245 x70246
1800.08/1801.32	v x70247 x70248 x70249 x70250 x70251 x70252 x70253 x70254 x70255 x70256 x70257 x70258 x70259 x70260 x70261 x70262 x70263
1800.08/1801.32	v x70264 x70265 x70266 x70267 x70268 x70269 x70270 x70271 x70272 x70273 x70274 x70275 x70276 x70277 x70278 x70279 x70280
1800.08/1801.32	v x70281 x70282 x70283 x70284 x70285 x70286 x70287 x70288 x70289 x70290 x70294 x70295 x70296 x70297 x70298 x70299 x70300
1800.08/1801.32	v x70301 x70302 x70303 x70304 x70305 x70306 x70307 x70308 x70309 x70310 x70311 x70312 x70313 x70314 x70315 x70316 x70317
1800.08/1801.32	v x70318 x70319 x70320 x70321 x70322 x70323 x70324 x70325 x70326 x70327 x70328 x70329 x70330 x70331 x70332 x70333 x70334
1800.08/1801.32	v x70335 x70336 x70337 x70338 x70339 x70340 x70341 x70342 x70343 x70344 x70345 x70346 x70347 x70348 x70349 x70357 x70358
1800.08/1801.32	v x70359 x70360 x70361 x70362 x70363 x70364 x70365 x70366 x70367 x70368 x70369 x70370 x70371 x70372 x70373 x70374 x70375
1800.08/1801.32	v x70376 x70377 x70378 x70379 x70380 x70381 x70382 x70383 x70384 x70385 x70386 x70387 x70388 x70389 x70390 x70391 x70392
1800.08/1801.32	v x70393 x70394 x70395 x70396 x70397 x70398 x70399 x70400 x70401 x70402 x70403 x70404 x70405 x70406 x70407 x70408 x70409
1800.08/1801.32	v x70410 x70411 x70419 x70420 x70421 x70422 x70423 x70424 x70425 x70426 x70427 x70428 x70429 x70430 x70431 x70432 x70433
1800.08/1801.32	v x70434 x70435 x70436 x70437 x70438 x70439 x70440 x70441 x70442 x70443 x70444 x70445 x70446 x70447 x70448 x70449 x70450
1800.08/1801.32	v x70451 x70452 x70453 x70454 x70455 x70456 x70457 x70458 x70459 x70460 x70461 x70462 x70463 x70464 x70465 x70466 x70467
1800.08/1801.32	v x70468 x70469 x70470 x70471 x70472 x70473 x70474 x70475 x70476 x70477 x70484 x70485 x70486 x70487 x70488 x70489 x70490
1800.08/1801.32	v x70491 x70492 x70493 x70494 x70495 x70496 x70497 x70498 x70499 x70500 x70501 x70502 x70503 x70504 x70505 x70506 x70507
1800.08/1801.32	v x70508 x70509 x70510 x70511 x70512 x70513 x70514 x70515 x70516 x70517 x70518 x70519 x70520 x70521 x70522 x70523 x70524
1800.08/1801.32	v x70525 x70526 x70527 x70528 x70529 x70530 x70531 x70532 x70533 x70534 x70535 x70536 x70537 x70538 x70539 x70540 x70547
1800.08/1801.32	v x70548 x70549 x70550 x70551 x70552 x70553 x70554 x70555 x70556 x70557 x70558 x70559 x70560 x70561 x70562 x70563 x70564
1800.08/1801.32	v x70565 x70566 x70567 x70568 x70569 x70570 x70571 x70572 x70573 x70574 x70575 x70576 x70577 x70578 x70579 x70580 x70581
1800.08/1801.32	v x70582 x70583 x70584 x70585 x70586 x70587 x70588 x70589 x70590 x70591 x70592 x70593 x70594 x70595 x70596 x70597 x70598
1800.08/1801.32	v x70599 x70600 x70608 x70609 x70610 x70611 x70612 x70613 x70614 x70615 x70616 x70617 x70618 x70619 x70620 x70621 x70622
1800.08/1801.32	v x70623 x70624 x70625 x70626 x70627 x70628 x70629 x70630 x70631 x70632 x70633 x70634 x70635 x70636 x70637 x70638 x70639
1800.08/1801.32	v x70640 x70641 x70642 x70643 x70644 x70645 x70646 x70647 x70648 x70649 x70650 x70651 x70652 x70653 x70654 x70655 x70656
1800.08/1801.32	v x70657 x70658 x70659 x70660 x70661 x70662 x70669 x70670 x70671 x70672 x70673 x70674 x70675 x70676 x70677 x70678 x70679
1800.08/1801.32	v x70680 x70681 x70682 x70683 x70684 x70685 x70686 x70687 x70688 x70689 x70690 x70691 x70692 x70693 x70694 x70695 x70696
1800.08/1801.32	v x70697 x70698 x70699 x70700 x70701 x70702 x70703 x70704 x70705 x70706 x70707 x70708 x70709 x70710 x70711 x70712 x70713
1800.08/1801.32	v x70714 x70715 x70716 x70717 x70718 x70719 x70720 x70721 x70722 x70723 x70724 x70725 x70726 x70727 x70732 x70733 x70734
1800.08/1801.32	v x70735 x70736 x70737 x70738 x70739 x70740 x70741 x70742 x70743 x70744 x70745 x70746 x70747 x70748 x70749 x70750 x70751
1800.08/1801.32	v x70752 x70753 x70754 x70755 x70756 x70757 x70758 x70759 x70760 x70761 x70762 x70763 x70764 x70765 x70766 x70767 x70768
1800.08/1801.32	v x70769 x70770 x70771 x70772 x70773 x70774 x70775 x70776 x70777 x70778 x70779 x70780 x70781 x70782 x70783 x70784 x70785
1800.08/1801.32	v x70786 x70787 x70796 x70797 x70798 x70799 x70800 x70801 x70802 x70803 x70804 x70805 x70806 x70807 x70808 x70809 x70810
1800.08/1801.32	v x70811 x70812 x70813 x70814 x70815 x70816 x70817 x70818 x70819 x70820 x70821 x70822 x70823 x70824 x70825 x70826 x70827
1800.08/1801.32	v x70828 x70829 x70830 x70831 x70832 x70833 x70834 x70835 x70836 x70837 x70838 x70839 x70840 x70841 x70842 x70843 x70844
1800.08/1801.32	v x70845 x70846 x70847 x70848 x70849 x70850 x70851 x70852 x70853 x70860 x70861 x70862 x70863 x70864 x70865 x70866 x70867
1800.08/1801.32	v x70868 x70869 x70870 x70871 x70872 x70873 x70874 x70875 x70876 x70877 x70878 x70879 x70880 x70881 x70882 x70883 x70884
1800.08/1801.32	v x70885 x70886 x70887 x70888 x70889 x70890 x70891 x70892 x70893 x70894 x70895 x70896 x70897 x70898 x70899 x70900 x70901
1800.08/1801.32	v x70902 x70903 x70904 x70905 x70906 x70907 x70908 x70909 x70910 x70911 x70912 x70920 x70921 x70922 x70923 x70924 x70925
1800.08/1801.32	v x70926 x70927 x70928 x70929 x70930 x70931 x70932 x70933 x70934 x70935 x70936 x70937 x70938 x70939 x70940 x70941 x70942
1800.08/1801.32	v x70943 x70944 x70945 x70946 x70947 x70948 x70949 x70950 x70951 x70952 x70953 x70954 x70955 x70956 x70957 x70958 x70959
1800.08/1801.32	v x70960 x70961 x70962 x70963 x70964 x70965 x70966 x70967 x70968 x70969 x70970 x70971 x70972 x70983 x70985 x70986 x70987
1800.08/1801.32	v x70988 x70989 x70990 x70991 x70992 x70993 x70994 x70995 x70996 x70997 x70998 x70999 x71000 x71001 x71002 x71003 x71004
1800.08/1801.32	v x71005 x71006 x71007 x71008 x71009 x71010 x71011 x71012 x71013 x71014 x71015 x71016 x71017 x71018 x71019 x71020 x71021
1800.08/1801.32	v x71022 x71023 x71024 x71025 x71026 x71027 x71028 x71029 x71030 x71031 x71032 x71033 x71034 x71035 x71036 x71044 x71045
1800.08/1801.32	v x71046 x71047 x71048 x71049 x71050 x71051 x71052 x71053 x71054 x71055 x71056 x71057 x71058 x71059 x71060 x71061 x71062
1800.08/1801.32	v x71063 x71064 x71065 x71066 x71067 x71068 x71069 x71070 x71071 x71072 x71073 x71074 x71075 x71076 x71077 x71078 x71079
1800.08/1801.32	v x71080 x71081 x71082 x71083 x71084 x71085 x71086 x71087 x71088 x71089 x71090 x71091 x71092 x71093 x71094 x71095 x71096
1800.08/1801.32	v x71097 x71098 x71099 x71104 x71105 x71106 x71107 x71108 x71109 x71110 x71111 x71112 x71113 x71114 x71115 x71116 x71117
1800.08/1801.32	v x71118 x71119 x71120 x71121 x71122 x71123 x71124 x71125 x71126 x71127 x71128 x71129 x71130 x71131 x71132 x71133 x71134
1800.08/1801.32	v x71135 x71136 x71137 x71138 x71139 x71140 x71141 x71142 x71143 x71144 x71145 x71146 x71147 x71148 x71149 x71150 x71151
1800.08/1801.32	v x71152 x71153 x71154 x71155 x71156 x71164 x71165 x71166 x71167 x71168 x71169 x71170 x71171 x71172 x71173 x71174 x71175
1800.08/1801.32	v x71176 x71177 x71178 x71179 x71180 x71181 x71182 x71183 x71184 x71185 x71186 x71187 x71188 x71189 x71190 x71191 x71192
1800.08/1801.32	v x71193 x71194 x71195 x71196 x71197 x71198 x71199 x71200 x71201 x71202 x71203 x71204 x71205 x71206 x71207 x71208 x71209
1800.08/1801.32	v x71210 x71211 x71212 x71213 x71214 x71215 x71216 x71228 x71229 x71230 x71231 x71232 x71233 x71234 x71235 x71236 x71237
1800.08/1801.32	v x71238 x71239 x71240 x71241 x71242 x71243 x71244 x71245 x71246 x71247 x71248 x71249 x71250 x71251 x71252 x71253 x71254
1800.08/1801.32	v x71255 x71256 x71257 x71258 x71259 x71260 x71261 x71262 x71263 x71264 x71265 x71266 x71267 x71268 x71269 x71270 x71271
1800.08/1801.32	v x71272 x71273 x71274 x71275 x71276 x71277 x71278 x71279 x71280 x71281 x71282 x71283 x71284 x71291 x71292 x71293 x71294
1800.08/1801.32	v x71295 x71296 x71297 x71298 x71299 x71300 x71301 x71302 x71303 x71304 x71305 x71306 x71307 x71308 x71309 x71310 x71311
1800.08/1801.32	v x71312 x71313 x71314 x71315 x71316 x71317 x71318 x71319 x71320 x71321 x71322 x71323 x71324 x71325 x71326 x71327 x71328
1800.08/1801.32	v x71329 x71330 x71331 x71332 x71333 x71334 x71335 x71336 x71337 x71338 x71339 x71340 x71341 x71342 x71343 x71344 x71345
1800.08/1801.32	v x71346 x71351 x71352 x71353 x71354 x71355 x71356 x71357 x71358 x71359 x71360 x71361 x71362 x71363 x71364 x71365 x71366
1800.08/1801.32	v x71367 x71368 x71369 x71370 x71371 x71372 x71373 x71374 x71375 x71376 x71377 x71378 x71379 x71380 x71381 x71382 x71383
1800.08/1801.32	v x71384 x71385 x71386 x71387 x71388 x71389 x71390 x71391 x71392 x71393 x71394 x71395 x71396 x71397 x71398 x71399 x71400
1800.08/1801.32	v x71401 x71402 x71403 x71404 x71405 x71406 x71411 x71412 x71413 x71414 x71415 x71416 x71417 x71418 x71419 x71420 x71421
1800.08/1801.32	v x71422 x71423 x71424 x71425 x71426 x71427 x71428 x71429 x71430 x71431 x71432 x71433 x71434 x71435 x71436 x71437 x71438
1800.08/1801.32	v x71439 x71440 x71441 x71442 x71443 x71444 x71445 x71446 x71447 x71448 x71449 x71450 x71451 x71452 x71453 x71454 x71455
1800.08/1801.32	v x71456 x71457 x71458 x71459 x71460 x71461 x71462 x71463 x71464 x71465 x71466 x71467 x71472 x71473 x71474 x71475 x71476
1800.08/1801.32	v x71477 x71478 x71479 x71480 x71481 x71482 x71483 x71484 x71485 x71486 x71487 x71488 x71489 x71490 x71491 x71492 x71493
1800.08/1801.32	v x71494 x71495 x71496 x71497 x71498 x71499 x71500 x71501 x71502 x71503 x71504 x71505 x71506 x71507 x71508 x71509 x71510
1800.08/1801.32	v x71511 x71512 x71513 x71514 x71515 x71516 x71517 x71518 x71519 x71520 x71521 x71522 x71523 x71524 x71525 x71526 x71527
1800.08/1801.32	v x71528 x71534 x71535 x71536 x71537 x71538 x71539 x71540 x71541 x71542 x71543 x71544 x71545 x71546 x71547 x71548 x71549
1800.08/1801.32	v x71550 x71551 x71552 x71553 x71554 x71555 x71556 x71557 x71558 x71559 x71560 x71561 x71562 x71563 x71564 x71565 x71566
1800.08/1801.32	v x71567 x71568 x71569 x71570 x71571 x71572 x71573 x71574 x71575 x71576 x71577 x71578 x71579 x71580 x71581 x71582 x71583
1800.08/1801.32	v x71584 x71585 x71586 x71587 x71588 x71589 x71590 x71591 x71592 x71599 x71600 x71601 x71602 x71603 x71604 x71605 x71606
1800.08/1801.32	v x71607 x71608 x71609 x71610 x71611 x71612 x71613 x71614 x71615 x71616 x71617 x71618 x71619 x71620 x71621 x71622 x71623
1800.08/1801.32	v x71624 x71625 x71626 x71627 x71628 x71629 x71630 x71631 x71632 x71633 x71634 x71635 x71636 x71637 x71638 x71639 x71640
1800.08/1801.32	v x71641 x71642 x71643 x71644 x71645 x71646 x71647 x71648 x71649 x71650 x71651 x71652 x71653 x71654 x71655 x71660 x71661
1800.08/1801.32	v x71662 x71663 x71664 x71665 x71666 x71667 x71668 x71669 x71670 x71671 x71672 x71673 x71674 x71675 x71676 x71677 x71678
1800.08/1801.32	v x71679 x71680 x71681 x71682 x71683 x71684 x71685 x71686 x71687 x71688 x71689 x71690 x71691 x71692 x71693 x71694 x71695
1800.08/1801.32	v x71696 x71697 x71698 x71699 x71700 x71701 x71702 x71703 x71704 x71705 x71706 x71707 x71708 x71709 x71710 x71711 x71712
1800.08/1801.32	v x71713 x71714 x71721 x71722 x71723 x71724 x71725 x71726 x71727 x71728 x71729 x71730 x71731 x71732 x71733 x71734 x71735
1800.08/1801.32	v x71736 x71737 x71738 x71739 x71740 x71741 x71742 x71743 x71744 x71745 x71746 x71747 x71748 x71749 x71750 x71751 x71752
1800.08/1801.32	v x71753 x71754 x71755 x71756 x71757 x71758 x71759 x71760 x71761 x71762 x71763 x71764 x71765 x71766 x71767 x71768 x71769
1800.08/1801.32	v x71770 x71771 x71772 x71773 x71783 x71784 x71785 x71786 x71787 x71788 x71789 x71790 x71791 x71792 x71793 x71794 x71795
1800.08/1801.32	v x71796 x71797 x71798 x71799 x71800 x71801 x71802 x71803 x71804 x71805 x71806 x71807 x71808 x71809 x71810 x71811 x71812
1800.08/1801.32	v x71813 x71814 x71815 x71816 x71817 x71818 x71819 x71820 x71821 x71822 x71823 x71824 x71825 x71826 x71827 x71828 x71829
1800.08/1801.32	v x71830 x71831 x71832 x71833 x71834 x71835 x71836 x71837 x71838 x71846 x71847 x71848 x71849 x71850 x71851 x71852 x71853
1800.08/1801.32	v x71854 x71855 x71856 x71857 x71858 x71859 x71860 x71861 x71862 x71863 x71864 x71865 x71866 x71867 x71868 x71869 x71870
1800.08/1801.32	v x71871 x71872 x71873 x71874 x71875 x71876 x71877 x71878 x71879 x71880 x71881 x71882 x71883 x71884 x71885 x71886 x71887
1800.08/1801.32	v x71888 x71889 x71890 x71891 x71892 x71893 x71894 x71895 x71896 x71897 x71898 x71899 x71900 x71901 x71902 x71907 x71908
1800.08/1801.32	v x71909 x71910 x71911 x71912 x71913 x71914 x71915 x71916 x71917 x71918 x71919 x71920 x71921 x71922 x71923 x71924 x71925
1800.08/1801.32	v x71926 x71927 x71928 x71929 x71930 x71931 x71932 x71933 x71934 x71935 x71936 x71937 x71938 x71939 x71940 x71941 x71942
1800.08/1801.32	v x71943 x71944 x71945 x71946 x71947 x71948 x71949 x71950 x71951 x71952 x71953 x71954 x71955 x71956 x71957 x71958 x71959
1800.08/1801.32	v x71968 x71969 x71970 x71971 x71972 x71973 x71974 x71975 x71976 x71977 x71978 x71979 x71980 x71981 x71982 x71983 x71984
1800.08/1801.32	v x71985 x71986 x71987 x71988 x71989 x71990 x71991 x71992 x71993 x71994 x71995 x71996 x71997 x71998 x71999 x72000 x72001
1800.08/1801.32	v x72002 x72003 x72004 x72005 x72006 x72007 x72008 x72009 x72010 x72011 x72012 x72013 x72014 x72015 x72016 x72017 x72018
1800.08/1801.32	v x72019 x72020 x72021 x72022 x72023 x72024 x72025 x72028 x72029 x72030 x72031 x72032 x72033 x72034 x72035 x72036 x72037
1800.08/1801.32	v x72038 x72039 x72040 x72041 x72042 x72043 x72044 x72045 x72046 x72047 x72048 x72049 x72050 x72051 x72052 x72053 x72054
1800.08/1801.32	v x72055 x72056 x72057 x72058 x72059 x72060 x72061 x72062 x72063 x72064 x72065 x72066 x72067 x72068 x72069 x72070 x72071
1800.08/1801.32	v x72072 x72073 x72074 x72075 x72076 x72077 x72078 x72079 x72080 x72081 x72082 x72089 x72090 x72091 x72092 x72093 x72094
1800.08/1801.32	v x72095 x72096 x72097 x72098 x72099 x72100 x72101 x72102 x72103 x72104 x72105 x72106 x72107 x72108 x72109 x72110 x72111
1800.08/1801.32	v x72112 x72113 x72114 x72115 x72116 x72117 x72118 x72119 x72120 x72121 x72122 x72123 x72124 x72125 x72126 x72127 x72128
1800.08/1801.32	v x72129 x72130 x72131 x72132 x72133 x72134 x72135 x72136 x72137 x72138 x72139 x72152 x72153 x72154 x72155 x72156 x72157
1800.08/1801.32	v x72158 x72159 x72160 x72161 x72162 x72163 x72164 x72165 x72166 x72167 x72168 x72169 x72170 x72171 x72172 x72173 x72174
1800.08/1801.32	v x72175 x72176 x72177 x72178 x72179 x72180 x72181 x72182 x72183 x72184 x72185 x72186 x72187 x72188 x72189 x72190 x72191
1800.08/1801.32	v x72192 x72193 x72194 x72195 x72196 x72197 x72198 x72199 x72200 x72201 x72202 x72203 x72204 x72214 x72215 x72216 x72217
1800.08/1801.32	v x72218 x72219 x72220 x72221 x72222 x72223 x72224 x72225 x72226 x72227 x72228 x72229 x72230 x72231 x72232 x72233 x72234
1800.08/1801.32	v x72235 x72236 x72237 x72238 x72239 x72240 x72241 x72242 x72243 x72244 x72245 x72246 x72247 x72248 x72249 x72250 x72251
1800.08/1801.32	v x72252 x72253 x72254 x72255 x72256 x72257 x72258 x72259 x72260 x72261 x72262 x72263 x72264 x72265 x72266 x72267 x72275
1800.08/1801.32	v x72276 x72277 x72278 x72279 x72280 x72281 x72282 x72283 x72284 x72285 x72286 x72287 x72288 x72289 x72290 x72291 x72292
1800.08/1801.32	v x72293 x72294 x72295 x72296 x72297 x72298 x72299 x72300 x72301 x72302 x72303 x72304 x72305 x72306 x72307 x72308 x72309
1800.08/1801.32	v x72310 x72311 x72312 x72313 x72314 x72315 x72316 x72317 x72318 x72319 x72320 x72321 x72322 x72323 x72324 x72325 x72326
1800.08/1801.32	v x72327 x72328 x72329 x72337 x72338 x72339 x72340 x72341 x72342 x72343 x72344 x72345 x72346 x72347 x72348 x72349 x72350
1800.08/1801.32	v x72351 x72352 x72353 x72354 x72355 x72356 x72357 x72358 x72359 x72360 x72361 x72362 x72363 x72364 x72365 x72366 x72367
1800.08/1801.32	v x72368 x72369 x72370 x72371 x72372 x72373 x72374 x72375 x72376 x72377 x72378 x72379 x72380 x72381 x72382 x72383 x72384
1800.08/1801.32	v x72385 x72386 x72387 x72388 x72389 x72390 x72398 x72399 x72400 x72401 x72402 x72403 x72404 x72405 x72406 x72407 x72408
1800.08/1801.32	v x72409 x72410 x72411 x72412 x72413 x72414 x72415 x72416 x72417 x72418 x72419 x72420 x72421 x72422 x72423 x72424 x72425
1800.08/1801.32	v x72426 x72427 x72428 x72429 x72430 x72431 x72432 x72433 x72434 x72435 x72436 x72437 x72438 x72439 x72440 x72441 x72442
1800.08/1801.32	v x72443 x72444 x72445 x72446 x72447 x72448 x72449 x72450 x72451 x72452 x72453 x72460 x72461 x72462 x72463 x72464 x72465
1800.08/1801.32	v x72466 x72467 x72468 x72469 x72470 x72471 x72472 x72473 x72474 x72475 x72476 x72477 x72478 x72479 x72480 x72481 x72482
1800.08/1801.32	v x72483 x72484 x72485 x72486 x72487 x72488 x72489 x72490 x72491 x72492 x72493 x72494 x72495 x72496 x72497 x72498 x72499
1800.08/1801.32	v x72500 x72501 x72502 x72503 x72504 x72505 x72506 x72507 x72508 x72509 x72510 x72511 x72512 x72513 x72514 x72515 x72524
1800.08/1801.32	v x72525 x72526 x72527 x72528 x72529 x72530 x72531 x72532 x72533 x72534 x72535 x72536 x72537 x72538 x72539 x72540 x72541
1800.08/1801.32	v x72542 x72543 x72544 x72545 x72546 x72547 x72548 x72549 x72550 x72551 x72552 x72553 x72554 x72555 x72556 x72557 x72558
1800.08/1801.32	v x72559 x72560 x72561 x72562 x72563 x72564 x72565 x72566 x72567 x72568 x72569 x72570 x72571 x72572 x72573 x72574 x72575
1800.08/1801.32	v x72576 x72577 x72578 x72579 x72585 x72586 x72587 x72588 x72589 x72590 x72591 x72592 x72593 x72594 x72595 x72596 x72597
1800.08/1801.32	v x72598 x72599 x72600 x72601 x72602 x72603 x72604 x72605 x72606 x72607 x72608 x72609 x72610 x72611 x72612 x72613 x72614
1800.08/1801.32	v x72615 x72616 x72617 x72618 x72619 x72620 x72621 x72622 x72623 x72624 x72625 x72626 x72627 x72628 x72629 x72630 x72631
1800.08/1801.32	v x72632 x72633 x72634 x72635 x72636 x72648 x72649 x72650 x72651 x72652 x72653 x72654 x72655 x72656 x72657 x72658 x72659
1800.08/1801.32	v x72660 x72661 x72662 x72663 x72664 x72665 x72666 x72667 x72668 x72669 x72670 x72671 x72672 x72673 x72674 x72675 x72676
1800.08/1801.32	v x72677 x72678 x72679 x72680 x72681 x72682 x72683 x72684 x72685 x72686 x72687 x72688 x72689 x72690 x72691 x72692 x72693
1800.08/1801.32	v x72694 x72695 x72696 x72697 x72698 x72699 x72700 x72701 x72709 x72710 x72711 x72712 x72713 x72714 x72715 x72716 x72717
1800.08/1801.32	v x72718 x72719 x72720 x72721 x72722 x72723 x72724 x72725 x72726 x72727 x72728 x72729 x72730 x72731 x72732 x72733 x72734
1800.08/1801.32	v x72735 x72736 x72737 x72738 x72739 x72740 x72741 x72742 x72743 x72744 x72745 x72746 x72747 x72748 x72749 x72750 x72751
1800.08/1801.32	v x72752 x72753 x72754 x72755 x72756 x72757 x72758 x72759 x72760 x72761 x72762 x72763 x72764 x72771 x72772 x72773 x72774
1800.08/1801.32	v x72775 x72776 x72777 x72778 x72779 x72780 x72781 x72782 x72783 x72784 x72785 x72786 x72787 x72788 x72789 x72790 x72791
1800.08/1801.32	v x72792 x72793 x72794 x72795 x72796 x72797 x72798 x72799 x72800 x72801 x72802 x72803 x72804 x72805 x72806 x72807 x72808
1800.08/1801.32	v x72809 x72810 x72811 x72812 x72813 x72814 x72815 x72816 x72817 x72818 x72819 x72820 x72821 x72822 x72823 x72824 x72825
1800.08/1801.32	v x72826 x72827 x72834 x72836 x72837 x72838 x72839 x72840 x72841 x72842 x72843 x72844 x72845 x72846 x72847 x72848 x72849
1800.08/1801.32	v x72850 x72851 x72852 x72853 x72854 x72855 x72856 x72857 x72858 x72859 x72860 x72861 x72862 x72863 x72864 x72865 x72866
1800.08/1801.32	v x72867 x72868 x72869 x72870 x72871 x72872 x72873 x72874 x72875 x72876 x72877 x72878 x72879 x72880 x72881 x72882 x72883
1800.08/1801.32	v x72884 x72885 x72886 x72887 x72888 x72889 x72890 x72895 x72896 x72897 x72898 x72899 x72900 x72901 x72902 x72903 x72904
1800.08/1801.32	v x72905 x72906 x72907 x72908 x72909 x72910 x72911 x72912 x72913 x72914 x72915 x72916 x72917 x72918 x72919 x72920 x72921
1800.08/1801.32	v x72922 x72923 x72924 x72925 x72926 x72927 x72928 x72929 x72930 x72931 x72932 x72933 x72934 x72935 x72936 x72937 x72938
1800.08/1801.32	v x72939 x72940 x72941 x72942 x72943 x72944 x72945 x72946 x72947 x72948 x72949 x72950 x72958 x72959 x72960 x72961 x72962
1800.08/1801.32	v x72963 x72964 x72965 x72966 x72967 x72968 x72969 x72970 x72971 x72972 x72973 x72974 x72975 x72976 x72977 x72978 x72979
1800.08/1801.32	v x72980 x72981 x72982 x72983 x72984 x72985 x72986 x72987 x72988 x72989 x72990 x72991 x72992 x72993 x72994 x72995 x72996
1800.08/1801.32	v x72997 x72998 x72999 x73000 x73001 x73002 x73003 x73004 x73005 x73006 x73007 x73008 x73009 x73010 x73011 x73012 x73018
1800.08/1801.32	v x73019 x73020 x73021 x73022 x73023 x73024 x73025 x73026 x73027 x73028 x73029 x73030 x73031 x73032 x73033 x73034 x73035
1800.08/1801.32	v x73036 x73037 x73038 x73039 x73040 x73041 x73042 x73043 x73044 x73045 x73046 x73047 x73048 x73049 x73050 x73051 x73052
1800.08/1801.32	v x73053 x73054 x73055 x73056 x73057 x73058 x73059 x73060 x73061 x73062 x73063 x73064 x73065 x73066 x73067 x73068 x73069
1800.08/1801.32	v x73070 x73071 x73072 x73073 x73074 x73078 x73079 x73080 x73081 x73082 x73083 x73084 x73085 x73086 x73087 x73088 x73089
1800.08/1801.32	v x73090 x73091 x73092 x73093 x73094 x73095 x73096 x73097 x73098 x73099 x73100 x73101 x73102 x73103 x73104 x73105 x73106
1800.08/1801.32	v x73107 x73108 x73109 x73110 x73111 x73112 x73113 x73114 x73115 x73116 x73117 x73118 x73119 x73120 x73121 x73122 x73123
1800.08/1801.32	v x73124 x73125 x73126 x73127 x73128 x73129 x73130 x73131 x73132 x73133 x73134 x73135 x73141 x73142 x73143 x73144 x73145
1800.08/1801.32	v x73146 x73147 x73148 x73149 x73150 x73151 x73152 x73153 x73154 x73155 x73156 x73157 x73158 x73159 x73160 x73161 x73162
1800.08/1801.32	v x73163 x73164 x73165 x73166 x73167 x73168 x73169 x73170 x73171 x73172 x73173 x73174 x73175 x73176 x73177 x73178 x73179
1800.08/1801.32	v x73180 x73181 x73182 x73183 x73184 x73185 x73186 x73187 x73188 x73189 x73190 x73191 x73192 x73193 x73194 x73195 x73201
1800.08/1801.32	v x73203 x73204 x73205 x73206 x73207 x73208 x73209 x73210 x73211 x73212 x73213 x73214 x73215 x73216 x73217 x73218 x73219
1800.08/1801.32	v x73220 x73221 x73222 x73223 x73224 x73225 x73226 x73227 x73228 x73229 x73230 x73231 x73232 x73233 x73234 x73235 x73236
1800.08/1801.32	v x73237 x73238 x73239 x73240 x73241 x73242 x73243 x73244 x73245 x73246 x73247 x73248 x73249 x73250 x73251 x73252 x73253
1800.08/1801.32	v x73254 x73255 x73256 x73261 x73262 x73263 x73264 x73265 x73266 x73267 x73268 x73269 x73270 x73271 x73272 x73273 x73274
1800.08/1801.32	v x73275 x73276 x73277 x73278 x73279 x73280 x73281 x73282 x73283 x73284 x73285 x73286 x73287 x73288 x73289 x73290 x73291
1800.08/1801.32	v x73292 x73293 x73294 x73295 x73296 x73297 x73298 x73299 x73300 x73301 x73302 x73303 x73304 x73305 x73306 x73307 x73308
1800.08/1801.32	v x73309 x73310 x73311 x73312 x73313 x73314 x73315 x73316 x73317 x73318 x73323 x73324 x73325 x73326 x73327 x73328 x73329
1800.08/1801.32	v x73330 x73331 x73332 x73333 x73334 x73335 x73336 x73337 x73338 x73339 x73340 x73341 x73342 x73343 x73344 x73345 x73346
1800.08/1801.32	v x73347 x73348 x73349 x73350 x73351 x73352 x73353 x73354 x73355 x73356 x73357 x73358 x73359 x73360 x73361 x73362 x73363
1800.08/1801.32	v x73364 x73365 x73366 x73367 x73368 x73369 x73370 x73371 x73372 x73373 x73374 x73375 x73376 x73377 x73378 x73379 x73380
1800.08/1801.32	v x73383 x73384 x73385 x73386 x73387 x73388 x73389 x73390 x73391 x73392 x73393 x73394 x73395 x73396 x73397 x73398 x73399
1800.08/1801.32	v x73400 x73401 x73402 x73403 x73404 x73405 x73406 x73407 x73408 x73409 x73410 x73411 x73412 x73413 x73414 x73415 x73416
1800.08/1801.32	v x73417 x73418 x73419 x73420 x73421 x73422 x73423 x73424 x73425 x73426 x73427 x73428 x73429 x73430 x73431 x73432 x73433
1800.08/1801.32	v x73434 x73435 x73436 x73437 x73438 x73445 x73446 x73447 x73448 x73449 x73450 x73451 x73452 x73453 x73454 x73455 x73456
1800.08/1801.32	v x73457 x73458 x73459 x73460 x73461 x73462 x73463 x73464 x73465 x73466 x73467 x73468 x73469 x73470 x73471 x73472 x73473
1800.08/1801.32	v x73474 x73475 x73476 x73477 x73478 x73479 x73480 x73481 x73482 x73483 x73484 x73485 x73486 x73487 x73488 x73489 x73490
1800.08/1801.32	v x73491 x73492 x73493 x73494 x73495 x73496 x73497 x73507 x73508 x73509 x73510 x73511 x73512 x73513 x73514 x73515 x73516
1800.08/1801.32	v x73517 x73518 x73519 x73520 x73521 x73522 x73523 x73524 x73525 x73526 x73527 x73528 x73529 x73530 x73531 x73532 x73533
1800.08/1801.32	v x73534 x73535 x73536 x73537 x73538 x73539 x73540 x73541 x73542 x73543 x73544 x73545 x73546 x73547 x73548 x73549 x73550
1800.08/1801.32	v x73551 x73552 x73553 x73554 x73555 x73556 x73557 x73558 x73559 x73560 x73561 x73562 x73563 x73564 x73568 x73569 x73570
1800.08/1801.32	v x73571 x73572 x73573 x73574 x73575 x73576 x73577 x73578 x73579 x73580 x73581 x73582 x73583 x73584 x73585 x73586 x73587
1800.08/1801.32	v x73588 x73589 x73590 x73591 x73592 x73593 x73594 x73595 x73596 x73597 x73598 x73599 x73600 x73601 x73602 x73603 x73604
1800.08/1801.32	v x73605 x73606 x73607 x73608 x73609 x73610 x73611 x73612 x73613 x73614 x73615 x73616 x73617 x73618 x73619 x73620 x73621
1800.08/1801.32	v x73622 x73623 x73630 x73631 x73632 x73633 x73634 x73635 x73636 x73637 x73638 x73639 x73640 x73641 x73642 x73643 x73644
1800.08/1801.32	v x73645 x73646 x73647 x73648 x73649 x73650 x73651 x73652 x73653 x73654 x73655 x73656 x73657 x73658 x73659 x73660 x73661
1800.08/1801.32	v x73662 x73663 x73664 x73665 x73666 x73667 x73668 x73669 x73670 x73671 x73672 x73673 x73674 x73675 x73676 x73677 x73678
1800.08/1801.32	v x73679 x73680 x73681 x73682 x73683 x73684 x73691 x73692 x73693 x73694 x73695 x73696 x73697 x73698 x73699 x73700 x73701
1800.08/1801.32	v x73702 x73703 x73704 x73705 x73706 x73707 x73708 x73709 x73710 x73711 x73712 x73713 x73714 x73715 x73716 x73717 x73718
1800.08/1801.32	v x73719 x73720 x73721 x73722 x73723 x73724 x73725 x73726 x73727 x73728 x73729 x73730 x73731 x73732 x73733 x73734 x73735
1800.08/1801.32	v x73736 x73737 x73738 x73739 x73740 x73741 x73742 x73743 x73744 x73745 x73746 x73747 x73751 x73752 x73753 x73754 x73755
1800.08/1801.32	v x73756 x73757 x73758 x73759 x73760 x73761 x73762 x73763 x73764 x73765 x73766 x73767 x73768 x73769 x73770 x73771 x73772
1800.08/1801.32	v x73773 x73774 x73775 x73776 x73777 x73778 x73779 x73780 x73781 x73782 x73783 x73784 x73785 x73786 x73787 x73788 x73789
1800.08/1801.32	v x73790 x73791 x73792 x73793 x73794 x73795 x73796 x73797 x73798 x73799 x73800 x73801 x73802 x73803 x73804 x73813 x73814
1800.08/1801.32	v x73815 x73816 x73817 x73818 x73819 x73820 x73821 x73822 x73823 x73824 x73825 x73826 x73827 x73828 x73829 x73830 x73831
1800.08/1801.32	v x73832 x73833 x73834 x73835 x73836 x73837 x73838 x73839 x73840 x73841 x73842 x73843 x73844 x73845 x73846 x73847 x73848
1800.08/1801.32	v x73849 x73850 x73851 x73852 x73853 x73854 x73855 x73856 x73857 x73858 x73859 x73860 x73861 x73862 x73874 x73875 x73876
1800.08/1801.32	v x73877 x73878 x73879 x73880 x73881 x73882 x73883 x73884 x73885 x73886 x73887 x73888 x73889 x73890 x73891 x73892 x73893
1800.08/1801.32	v x73894 x73895 x73896 x73897 x73898 x73899 x73900 x73901 x73902 x73903 x73904 x73905 x73906 x73907 x73908 x73909 x73910
1800.08/1801.32	v x73911 x73912 x73913 x73914 x73915 x73916 x73917 x73918 x73919 x73920 x73921 x73922 x73923 x73924 x73925 x73926 x73927
1800.08/1801.32	v x73928 x73935 x73936 x73937 x73938 x73939 x73940 x73941 x73942 x73943 x73944 x73945 x73946 x73947 x73948 x73949 x73950
1800.08/1801.32	v x73951 x73952 x73953 x73954 x73955 x73956 x73957 x73958 x73959 x73960 x73961 x73962 x73963 x73964 x73965 x73966 x73967
1800.08/1801.32	v x73968 x73969 x73970 x73971 x73972 x73973 x73974 x73975 x73976 x73977 x73978 x73979 x73980 x73981 x73982 x73983 x73984
1800.08/1801.32	v x73985 x73986 x73987 x73988 x73989 x73995 x73996 x73997 x73998 x73999 x74000 x74001 x74002 x74003 x74004 x74005 x74006
1800.08/1801.32	v x74007 x74008 x74009 x74010 x74011 x74012 x74013 x74014 x74015 x74016 x74017 x74018 x74019 x74020 x74021 x74022 x74023
1800.08/1801.32	v x74024 x74025 x74026 x74027 x74028 x74029 x74030 x74031 x74032 x74033 x74034 x74035 x74036 x74037 x74038 x74039 x74040
1800.08/1801.32	v x74041 x74042 x74043 x74044 x74045 x74046 x74055 x74056 x74057 x74058 x74059 x74060 x74061 x74062 x74063 x74064 x74065
1800.08/1801.32	v x74066 x74067 x74068 x74069 x74070 x74071 x74072 x74073 x74074 x74075 x74076 x74077 x74078 x74079 x74080 x74081 x74082
1800.08/1801.32	v x74083 x74084 x74085 x74086 x74087 x74088 x74089 x74090 x74091 x74092 x74093 x74094 x74095 x74096 x74097 x74098 x74099
1800.08/1801.32	v x74100 x74101 x74102 x74103 x74104 x74105 x74106 x74107 x74108 x74109 x74110 x74117 x74118 x74119 x74120 x74121 x74122
1800.08/1801.32	v x74123 x74124 x74125 x74126 x74127 x74128 x74129 x74130 x74131 x74132 x74133 x74134 x74135 x74136 x74137 x74138 x74139
1800.08/1801.32	v x74140 x74141 x74142 x74143 x74144 x74145 x74146 x74147 x74148 x74149 x74150 x74151 x74152 x74153 x74154 x74155 x74156
1800.08/1801.32	v x74157 x74158 x74159 x74160 x74161 x74162 x74163 x74164 x74165 x74166 x74167 x74168 x74169 x74170 x74178 x74179 x74180
1800.08/1801.32	v x74181 x74182 x74183 x74184 x74185 x74186 x74187 x74188 x74189 x74190 x74191 x74192 x74193 x74194 x74195 x74196 x74197
1800.08/1801.32	v x74198 x74199 x74200 x74201 x74202 x74203 x74204 x74205 x74206 x74207 x74208 x74209 x74210 x74211 x74212 x74213 x74214
1800.08/1801.32	v x74215 x74216 x74217 x74218 x74219 x74220 x74221 x74222 x74223 x74224 x74225 x74226 x74227 x74228 x74229 x74238 x74239
1800.08/1801.32	v x74240 x74241 x74242 x74243 x74244 x74245 x74246 x74247 x74248 x74249 x74250 x74251 x74252 x74253 x74254 x74255 x74256
1800.08/1801.32	v x74257 x74258 x74259 x74260 x74261 x74262 x74263 x74264 x74265 x74266 x74267 x74268 x74269 x74270 x74271 x74272 x74273
1800.08/1801.32	v x74274 x74275 x74276 x74277 x74278 x74279 x74280 x74281 x74282 x74283 x74284 x74285 x74286 x74287 x74288 x74289 x74290
1800.08/1801.32	v x74291 x74292 x74300 x74301 x74302 x74303 x74304 x74305 x74306 x74307 x74308 x74309 x74310 x74311 x74312 x74313 x74314
1800.08/1801.32	v x74315 x74316 x74317 x74318 x74319 x74320 x74321 x74322 x74323 x74324 x74325 x74326 x74327 x74328 x74329 x74330 x74331
1800.08/1801.32	v x74332 x74333 x74334 x74335 x74336 x74337 x74338 x74339 x74340 x74341 x74342 x74343 x74344 x74345 x74346 x74347 x74348
1800.08/1801.32	v x74349 x74350 x74351 x74352 x74353 x74354 x74362 x74363 x74364 x74365 x74366 x74367 x74368 x74369 x74370 x74371 x74372
1800.08/1801.32	v x74373 x74374 x74375 x74376 x74377 x74378 x74379 x74380 x74381 x74382 x74383 x74384 x74385 x74386 x74387 x74388 x74389
1800.08/1801.32	v x74390 x74391 x74392 x74393 x74394 x74395 x74396 x74397 x74398 x74399 x74400 x74401 x74402 x74403 x74404 x74405 x74406
1800.08/1801.32	v x74407 x74408 x74409 x74410 x74411 x74412 x74413 x74414 x74415 x74416 x74424 x74425 x74426 x74427 x74428 x74429 x74430
1800.08/1801.32	v x74431 x74432 x74433 x74434 x74435 x74436 x74437 x74438 x74439 x74440 x74441 x74442 x74443 x74444 x74445 x74446 x74447
1800.08/1801.32	v x74448 x74449 x74450 x74451 x74452 x74453 x74454 x74455 x74456 x74457 x74458 x74459 x74460 x74461 x74462 x74463 x74464
1800.08/1801.32	v x74465 x74466 x74467 x74468 x74469 x74470 x74471 x74472 x74473 x74474 x74475 x74476 x74477 x74478 x74479 x74484 x74485
1800.08/1801.32	v x74486 x74487 x74488 x74489 x74490 x74491 x74492 x74493 x74494 x74495 x74496 x74497 x74498 x74499 x74500 x74501 x74502
1800.08/1801.32	v x74503 x74504 x74505 x74506 x74507 x74508 x74509 x74510 x74511 x74512 x74513 x74514 x74515 x74516 x74517 x74518 x74519
1800.08/1801.32	v x74520 x74521 x74522 x74523 x74524 x74525 x74526 x74527 x74528 x74529 x74530 x74531 x74532 x74533 x74534 x74535 x74536
1800.08/1801.32	v x74537 x74538 x74539 x74540 x74545 x74546 x74547 x74548 x74549 x74550 x74551 x74552 x74553 x74554 x74555 x74556 x74557
1800.08/1801.32	v x74558 x74559 x74560 x74561 x74562 x74563 x74564 x74565 x74566 x74567 x74568 x74569 x74570 x74571 x74572 x74573 x74574
1800.08/1801.32	v x74575 x74576 x74577 x74578 x74579 x74580 x74581 x74582 x74583 x74584 x74585 x74586 x74587 x74588 x74589 x74590 x74591
1800.08/1801.32	v x74592 x74593 x74594 x74595 x74596 x74597 x74598 x74599 x74600 x74607 x74608 x74609 x74610 x74611 x74612 x74613 x74614
1800.08/1801.32	v x74615 x74616 x74617 x74618 x74619 x74620 x74621 x74622 x74623 x74624 x74625 x74626 x74627 x74628 x74629 x74630 x74631
1800.08/1801.32	v x74632 x74633 x74634 x74635 x74636 x74637 x74638 x74639 x74640 x74641 x74642 x74643 x74644 x74645 x74646 x74647 x74648
1800.08/1801.32	v x74649 x74650 x74651 x74652 x74653 x74654 x74655 x74656 x74657 x74658 x74659 x74660 x74661 x74667 x74668 x74669 x74670
1800.08/1801.32	v x74671 x74672 x74673 x74674 x74675 x74676 x74677 x74678 x74679 x74680 x74681 x74682 x74683 x74684 x74685 x74686 x74687
1800.08/1801.32	v x74688 x74689 x74690 x74691 x74692 x74693 x74694 x74695 x74696 x74697 x74698 x74699 x74700 x74701 x74702 x74703 x74704
1800.08/1801.32	v x74705 x74706 x74707 x74708 x74709 x74710 x74711 x74712 x74713 x74714 x74715 x74716 x74717 x74718 x74719 x74728 x74729
1800.08/1801.32	v x74730 x74731 x74732 x74733 x74734 x74735 x74736 x74737 x74738 x74739 x74740 x74741 x74742 x74743 x74744 x74745 x74746
1800.08/1801.32	v x74747 x74748 x74749 x74750 x74751 x74752 x74753 x74754 x74755 x74756 x74757 x74758 x74759 x74760 x74761 x74762 x74763
1800.08/1801.32	v x74764 x74765 x74766 x74767 x74768 x74769 x74770 x74771 x74772 x74773 x74774 x74775 x74776 x74777 x74778 x74779 x74780
1800.08/1801.32	v x74781 x74788 x74789 x74790 x74791 x74792 x74793 x74794 x74795 x74796 x74797 x74798 x74799 x74800 x74801 x74802 x74803
1800.08/1801.32	v x74804 x74805 x74806 x74807 x74808 x74809 x74810 x74811 x74812 x74813 x74814 x74815 x74816 x74817 x74818 x74819 x74820
1800.08/1801.32	v x74821 x74822 x74823 x74824 x74825 x74826 x74827 x74828 x74829 x74830 x74831 x74832 x74833 x74834 x74835 x74836 x74837
1800.08/1801.32	v x74838 x74839 x74840 x74841 x74842 x74843 x74844 x74845 x74848 x74849 x74850 x74851 x74852 x74853 x74854 x74855 x74856
1800.08/1801.32	v x74857 x74858 x74859 x74860 x74861 x74862 x74863 x74864 x74865 x74866 x74867 x74868 x74869 x74870 x74871 x74872 x74873
1800.08/1801.32	v x74874 x74875 x74876 x74877 x74878 x74879 x74880 x74881 x74882 x74883 x74884 x74885 x74886 x74887 x74888 x74889 x74890
1800.08/1801.32	v x74891 x74892 x74893 x74894 x74895 x74896 x74897 x74898 x74899 x74900 x74901 x74902 x74908 x74909 x74910 x74911 x74912
1800.08/1801.32	v x74913 x74914 x74915 x74916 x74917 x74918 x74919 x74920 x74921 x74922 x74923 x74924 x74925 x74926 x74927 x74928 x74929
1800.08/1801.32	v x74930 x74931 x74932 x74933 x74934 x74935 x74936 x74937 x74938 x74939 x74940 x74941 x74942 x74943 x74944 x74945 x74946
1800.08/1801.32	v x74947 x74948 x74949 x74950 x74951 x74952 x74953 x74954 x74955 x74956 x74957 x74958 x74959 x74960 x74961 x74968 x74969
1800.08/1801.32	v x74970 x74971 x74972 x74973 x74974 x74975 x74976 x74977 x74978 x74979 x74980 x74981 x74982 x74983 x74984 x74985 x74986
1800.08/1801.32	v x74987 x74988 x74989 x74990 x74991 x74992 x74993 x74994 x74995 x74996 x74997 x74998 x74999 x75000 x75001 x75002 x75003
1800.08/1801.32	v x75004 x75005 x75006 x75007 x75008 x75009 x75010 x75011 x75012 x75013 x75014 x75015 x75016 x75017 x75018 x75019 x75020
1800.08/1801.32	v x75021 x75022 x75028 x75029 x75030 x75031 x75032 x75033 x75034 x75035 x75036 x75037 x75038 x75039 x75040 x75041 x75042
1800.08/1801.32	v x75043 x75044 x75045 x75046 x75047 x75048 x75049 x75050 x75051 x75052 x75053 x75054 x75055 x75056 x75057 x75058 x75059
1800.08/1801.32	v x75060 x75061 x75062 x75063 x75064 x75065 x75066 x75067 x75068 x75069 x75070 x75071 x75072 x75073 x75074 x75075 x75076
1800.08/1801.32	v x75077 x75078 x75079 x75080 x75081 x75082 x75088 x75089 x75090 x75091 x75092 x75093 x75094 x75095 x75096 x75097 x75098
1800.08/1801.32	v x75099 x75100 x75101 x75102 x75103 x75104 x75105 x75106 x75107 x75108 x75109 x75110 x75111 x75112 x75113 x75114 x75115
1800.08/1801.32	v x75116 x75117 x75118 x75119 x75120 x75121 x75122 x75123 x75124 x75125 x75126 x75127 x75128 x75129 x75130 x75131 x75132
1800.08/1801.32	v x75133 x75134 x75135 x75136 x75137 x75138 x75139 x75149 x75150 x75151 x75152 x75153 x75154 x75155 x75156 x75157 x75158
1800.08/1801.32	v x75159 x75160 x75161 x75162 x75163 x75164 x75165 x75166 x75167 x75168 x75169 x75170 x75171 x75172 x75173 x75174 x75175
1800.08/1801.32	v x75176 x75177 x75178 x75179 x75180 x75181 x75182 x75183 x75184 x75185 x75186 x75187 x75188 x75189 x75190 x75191 x75192
1800.08/1801.32	v x75193 x75194 x75195 x75196 x75197 x75198 x75199 x75200 x75201 x75202 x75203 x75204 x75205 x75206 x75207 x75209 x75210
1800.08/1801.32	v x75211 x75212 x75213 x75214 x75215 x75216 x75217 x75218 x75219 x75220 x75221 x75222 x75223 x75224 x75225 x75226 x75227
1800.08/1801.32	v x75228 x75229 x75230 x75231 x75232 x75233 x75234 x75235 x75236 x75237 x75238 x75239 x75240 x75241 x75242 x75243 x75244
1800.08/1801.32	v x75245 x75246 x75247 x75248 x75249 x75250 x75251 x75252 x75253 x75254 x75255 x75256 x75257 x75258 x75259 x75260 x75261
1800.08/1801.32	v x75270 x75271 x75272 x75273 x75274 x75275 x75276 x75277 x75278 x75279 x75280 x75281 x75282 x75283 x75284 x75285 x75286
1800.08/1801.32	v x75287 x75288 x75289 x75290 x75291 x75292 x75293 x75294 x75295 x75296 x75297 x75298 x75299 x75300 x75301 x75302 x75303
1800.08/1801.32	v x75304 x75305 x75306 x75307 x75308 x75309 x75310 x75311 x75312 x75313 x75314 x75315 x75316 x75317 x75318 x75319 x75320
1800.08/1801.32	v x75321 x75322 x75323 x75324 x75325 x75330 x75331 x75332 x75333 x75334 x75335 x75336 x75337 x75338 x75339 x75340 x75341
1800.08/1801.32	v x75342 x75343 x75344 x75345 x75346 x75347 x75348 x75349 x75350 x75351 x75352 x75353 x75354 x75355 x75356 x75357 x75358
1800.08/1801.32	v x75359 x75360 x75361 x75362 x75363 x75364 x75365 x75366 x75367 x75368 x75369 x75370 x75371 x75372 x75373 x75374 x75375
1800.08/1801.32	v x75376 x75377 x75378 x75379 x75380 x75381 x75382 x75383 x75390 x75391 x75392 x75393 x75394 x75395 x75396 x75397 x75398
1800.08/1801.32	v x75399 x75400 x75401 x75402 x75403 x75404 x75405 x75406 x75407 x75408 x75409 x75410 x75411 x75412 x75413 x75414 x75415
1800.08/1801.32	v x75416 x75417 x75418 x75419 x75420 x75421 x75422 x75423 x75424 x75425 x75426 x75427 x75428 x75429 x75430 x75431 x75432
1800.08/1801.32	v x75433 x75434 x75435 x75436 x75437 x75438 x75439 x75440 x75441 x75442 x75451 x75452 x75453 x75454 x75455 x75456 x75457
1800.08/1801.32	v x75458 x75459 x75460 x75461 x75462 x75463 x75464 x75465 x75466 x75467 x75468 x75469 x75470 x75471 x75472 x75473 x75474
1800.08/1801.32	v x75475 x75476 x75477 x75478 x75479 x75480 x75481 x75482 x75483 x75484 x75485 x75486 x75487 x75488 x75489 x75490 x75491
1800.08/1801.32	v x75492 x75493 x75494 x75495 x75496 x75497 x75498 x75499 x75500 x75501 x75502 x75503 x75504 x75512 x75513 x75514 x75515
1800.08/1801.32	v x75516 x75517 x75518 x75519 x75520 x75521 x75522 x75523 x75524 x75525 x75526 x75527 x75528 x75529 x75530 x75531 x75532
1800.08/1801.32	v x75533 x75534 x75535 x75536 x75537 x75538 x75539 x75540 x75541 x75542 x75543 x75544 x75545 x75546 x75547 x75548 x75549
1800.08/1801.32	v x75550 x75551 x75552 x75553 x75554 x75555 x75556 x75557 x75558 x75559 x75560 x75561 x75562 x75563 x75564 x75565 x75566
1800.08/1801.32	v x75567 x75573 x75574 x75575 x75576 x75577 x75578 x75579 x75580 x75581 x75582 x75583 x75584 x75585 x75586 x75587 x75588
1800.08/1801.32	v x75589 x75590 x75591 x75592 x75593 x75594 x75595 x75596 x75597 x75598 x75599 x75600 x75601 x75602 x75603 x75604 x75605
1800.08/1801.32	v x75606 x75607 x75608 x75609 x75610 x75611 x75612 x75613 x75614 x75615 x75616 x75617 x75618 x75619 x75620 x75621 x75622
1800.08/1801.32	v x75623 x75624 x75625 x75632 x75633 x75634 x75635 x75636 x75637 x75638 x75639 x75640 x75641 x75642 x75643 x75644 x75645
1800.08/1801.32	v x75646 x75647 x75648 x75649 x75650 x75651 x75652 x75653 x75654 x75655 x75656 x75657 x75658 x75659 x75660 x75661 x75662
1800.08/1801.32	v x75663 x75664 x75665 x75666 x75667 x75668 x75669 x75670 x75671 x75672 x75673 x75674 x75675 x75676 x75677 x75678 x75679
1800.08/1801.32	v x75680 x75681 x75682 x75683 x75684 x75685 x75686 x75687 x75688 x75689 x75692 x75693 x75694 x75695 x75696 x75697 x75698
1800.08/1801.32	v x75699 x75700 x75701 x75702 x75703 x75704 x75705 x75706 x75707 x75708 x75709 x75710 x75711 x75712 x75713 x75714 x75715
1800.08/1801.32	v x75716 x75717 x75718 x75719 x75720 x75721 x75722 x75723 x75724 x75725 x75726 x75727 x75728 x75729 x75730 x75731 x75732
1800.08/1801.32	v x75733 x75734 x75735 x75736 x75737 x75738 x75739 x75740 x75741 x75742 x75743 x75744 x75745 x75753 x75754 x75755 x75756
1800.08/1801.32	v x75757 x75758 x75759 x75760 x75761 x75762 x75763 x75764 x75765 x75766 x75767 x75768 x75769 x75770 x75771 x75772 x75773
1800.08/1801.32	v x75774 x75775 x75776 x75777 x75778 x75779 x75780 x75781 x75782 x75783 x75784 x75785 x75786 x75787 x75788 x75789 x75790
1800.08/1801.32	v x75791 x75792 x75793 x75794 x75795 x75796 x75797 x75798 x75799 x75800 x75801 x75802 x75803 x75804 x75805 x75806 x75807
1800.08/1801.32	v x75808 x75809 x75813 x75814 x75815 x75816 x75817 x75818 x75819 x75820 x75821 x75822 x75823 x75824 x75825 x75826 x75827
1800.08/1801.32	v x75828 x75829 x75830 x75831 x75832 x75833 x75834 x75835 x75836 x75837 x75838 x75839 x75840 x75841 x75842 x75843 x75844
1800.08/1801.32	v x75845 x75846 x75847 x75848 x75849 x75850 x75851 x75852 x75853 x75854 x75855 x75856 x75857 x75858 x75859 x75860 x75861
1800.08/1801.32	v x75862 x75863 x75864 x75865 x75873 x75874 x75875 x75876 x75877 x75878 x75879 x75880 x75881 x75882 x75883 x75884 x75885
1800.08/1801.32	v x75886 x75887 x75888 x75889 x75890 x75891 x75892 x75893 x75894 x75895 x75896 x75897 x75898 x75899 x75900 x75901 x75902
1800.08/1801.32	v x75903 x75904 x75905 x75906 x75907 x75908 x75909 x75910 x75911 x75912 x75913 x75914 x75915 x75916 x75917 x75918 x75919
1800.08/1801.32	v x75920 x75921 x75922 x75923 x75924 x75934 x75935 x75936 x75937 x75938 x75939 x75940 x75941 x75942 x75943 x75944 x75945
1800.08/1801.32	v x75946 x75947 x75948 x75949 x75950 x75951 x75952 x75953 x75954 x75955 x75956 x75957 x75958 x75959 x75960 x75961 x75962
1800.08/1801.32	v x75963 x75964 x75965 x75966 x75967 x75968 x75969 x75970 x75971 x75972 x75973 x75974 x75975 x75976 x75977 x75978 x75979
1800.08/1801.32	v x75980 x75981 x75982 x75983 x75984 x75985 x75986 x75987 x75988 x75989 x75995 x75996 x75997 x75998 x75999 x76000 x76001
1800.08/1801.32	v x76002 x76003 x76004 x76005 x76006 x76007 x76008 x76009 x76010 x76011 x76012 x76013 x76014 x76015 x76016 x76017 x76018
1800.08/1801.32	v x76019 x76020 x76021 x76022 x76023 x76024 x76025 x76026 x76027 x76028 x76029 x76030 x76031 x76032 x76033 x76034 x76035
1800.08/1801.32	v x76036 x76037 x76038 x76039 x76040 x76041 x76042 x76043 x76044 x76045 x76046 x76047 x76048 x76049 x76050 x76051 x76055
1800.08/1801.32	v x76056 x76057 x76058 x76059 x76060 x76061 x76062 x76063 x76064 x76065 x76066 x76067 x76068 x76069 x76070 x76071 x76072
1800.08/1801.32	v x76073 x76074 x76075 x76076 x76077 x76078 x76079 x76080 x76081 x76082 x76083 x76084 x76085 x76086 x76087 x76088 x76089
1800.08/1801.32	v x76090 x76091 x76092 x76093 x76094 x76095 x76096 x76097 x76098 x76099 x76100 x76101 x76102 x76103 x76104 x76105 x76106
1800.08/1801.32	v x76107 x76108 x76109 x76110 x76115 x76116 x76117 x76118 x76119 x76120 x76121 x76122 x76123 x76124 x76125 x76126 x76127
1800.08/1801.32	v x76128 x76129 x76130 x76131 x76132 x76133 x76134 x76135 x76136 x76137 x76138 x76139 x76140 x76141 x76142 x76143 x76144
1800.08/1801.32	v x76145 x76146 x76147 x76148 x76149 x76150 x76151 x76152 x76153 x76154 x76155 x76156 x76157 x76158 x76159 x76160 x76161
1800.08/1801.32	v x76162 x76163 x76164 x76165 x76166 x76167 x76168 x76169 x76175 x76176 x76177 x76178 x76179 x76180 x76181 x76182 x76183
1800.08/1801.32	v x76184 x76185 x76186 x76187 x76188 x76189 x76190 x76191 x76192 x76193 x76194 x76195 x76196 x76197 x76198 x76199 x76200
1800.08/1801.32	v x76201 x76202 x76203 x76204 x76205 x76206 x76207 x76208 x76209 x76210 x76211 x76212 x76213 x76214 x76215 x76216 x76217
1800.08/1801.32	v x76218 x76219 x76220 x76221 x76222 x76223 x76224 x76225 x76226 x76227 x76235 x76236 x76237 x76238 x76239 x76240 x76241
1800.08/1801.32	v x76242 x76243 x76244 x76245 x76246 x76247 x76248 x76249 x76250 x76251 x76252 x76253 x76254 x76255 x76256 x76257 x76258
1800.08/1801.32	v x76259 x76260 x76261 x76262 x76263 x76264 x76265 x76266 x76267 x76268 x76269 x76270 x76271 x76272 x76273 x76274 x76275
1800.08/1801.32	v x76276 x76277 x76278 x76279 x76280 x76281 x76282 x76283 x76284 x76285 x76286 x76287 x76288
1800.08/1801.33	pb2clasp1: no process killed
1792.09/1803.32	sh: line 1: 27093 Killed                  cat /tmp/evaluation/453715-1178151569/temp/instance-453715-1178151569.opb.op
1792.09/1803.32	     27094                       | clasp >/tmp/evaluation/453715-1178151569/temp/instance-453715-1178151569.opb.clasp

Verifier Data (download as text)

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

Falsified constraint is:
+1*~x4[=0]*x436[=1]+1*~x4[=0]*x352[=1]+1*~x4[=0]*x704[=1]+1*~x4[=0]*x275[=1]+1*~x4[=0]*x914[=0]+1*~x4[=0]*x872[=1]+1*~x4[=0]*x545[=1]+1*~x4[=0]*x714[=1]+1*~x4[=0]*x208[=1]+1*~x4[=0]*x107[=1]+1*~x4[=0]*x851[=1]+1*~x4[=0]*x740[=1]+1*~x4[=0]*x149[=1]+1*~x4[=0]*x71[=1]+1*~x4[=0]*x840[=1]+1*~x4[=0]*x789[=1]+1*~x4[=0]*x14[=1]+1*~x4[=0]*x167[=1]+1*~x4[=0]*x843[=1]+1*~x4[=0]*x858[=1]+1*~x4[=0]*x800[=1]+1*~x4[=0]*x432[=1]+1*~x4[=0]*x257[=1]+1*~x4[=0]*x723[=1]+1*~x4[=0]*x440[=1]+1*~x4[=0]*x241[=1]+1*~x4[=0]*x11[=1]+1*~x4[=0]*x687[=1]+1*~x4[=0]*x456[=1]+1*~x4[=0]*x137[=1]+1*~x4[=0]*x474[=1]+1*~x4[=0]*x160[=1]+1*~x4[=0]*x192[=1]+1*~x4[=0]*x101[=1]+1*~x4[=0]*x425[=1]+1*~x4[=0]*x64[=1]+1*~x4[=0]*x645[=1]+1*~x4[=0]*x139[=1]+1*~x4[=0]*x852[=1]+1*~x4[=0]*x245[=1]+1*~x4[=0]*x53[=1]+1*~x4[=0]*x944[=0]+1*~x4[=0]*x745[=1]+1*~x4[=0]*x123[=1]+1*~x4[=0]*x783[=1]+1*~x4[=0]*x534[=1]+1*~x4[=0]*x489[=1]+1*~x4[=0]*x949[=0]+1*~x4[=0]*x376[=1]+1*~x4[=0]*x346[=1]+1*~x4[=0]*x748[=1]+1*~x4[=0]*x159[=1]+1*~x4[=0]*x602[=1]+1*~x4[=0]*x823[=1]+1*~x4[=0]*x950[=0]+1*~x4[=0]*x842[=1]+1*~x4[=0]*x833[=1]+1*~x4[=0]*x989[=0]+1*~x4[=0]*x649[=1]+1*~x4[=0]*x321[=1]+1*~x4[=0]*x36[=1]+1*~x4[=0]*x69[=1]+1*~x4[=0]*x94[=1]+1*~x4[=0]*x119[=1]+1*~x4[=0]*x126[=1]+1*~x4[=0]*x153[=1]+1*~x4[=0]*x183[=1]+1*~x4[=0]*x201[=1]+1*~x4[=0]*x202[=1]+1*~x4[=0]*x211[=1]+1*~x4[=0]*x335[=1]+1*~x4[=0]*x386[=1]+1*~x4[=0]*x483[=1]+1*~x4[=0]*x528[=1]+1*~x4[=0]*x536[=1]+1*~x4[=0]*x557[=1]+1*~x4[=0]*x571[=1]+1*~x4[=0]*x576[=1]+1*~x4[=0]*x580[=1]+1*~x4[=0]*x635[=1]+1*~x4[=0]*x646[=1]+1*~x4[=0]*x683[=1]+1*~x4[=0]*x691[=1]+1*~x4[=0]*x719[=1]+1*~x4[=0]*x749[=1]+1*~x4[=0]*x760[=1]+1*~x4[=0]*x785[=1]+1*~x4[=0]*x793[=1]+1*~x4[=0]*x829[=1]+1*~x4[=0]*x847[=1]+1*~x4[=0]*x860[=1]+1*~x4[=0]*x922[=0]+1*~x4[=0]*x973[=0]+1*x4[=0] >= 1

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453715-1178151569/instance-453715-1178151569.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node1/watcher-453715-1178151569 -o ROOT/results/node1/solver-453715-1178151569 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453715-1178151569.opb /tmp/evaluation/453715-1178151569/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.85 0.94 0.93 3/77 26175
/proc/meminfo: memFree=1548136/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=12268 CPUtime=0
/proc/26175/stat : 26175 (pbclasp) R 26173 26175 26088 0 -1 4194304 396 0 0 0 0 0 0 0 18 0 1 0 291195075 12562432 363 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259372888381 0 0 4224 0 0 0 0 17 1 0 0
/proc/26175/statm: 3067 363 276 3 0 167 0

[startup+0.0361951 s]
/proc/loadavg: 0.85 0.94 0.93 3/77 26175
/proc/meminfo: memFree=1548136/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=13968 CPUtime=0.03
/proc/26175/stat : 26175 (pbclasp) R 26173 26175 26088 0 -1 4194304 861 0 0 0 3 0 0 0 18 0 1 0 291195075 14303232 828 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259353121505 0 0 4224 16384 0 0 0 17 1 0 0
/proc/26175/statm: 3492 828 314 3 0 592 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13968

[startup+0.101204 s]
/proc/loadavg: 0.85 0.94 0.93 3/77 26175
/proc/meminfo: memFree=1548136/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=15792 CPUtime=0.07
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 1333 0 0 0 7 0 0 0 16 0 1 0 291195075 16171008 1286 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362173026 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/26175/statm: 3948 1286 324 3 0 1048 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15792

[startup+0.301225 s]
/proc/loadavg: 0.85 0.94 0.93 3/77 26175
/proc/meminfo: memFree=1548136/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=15792 CPUtime=0.07
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 1333 0 0 0 7 0 0 0 16 0 1 0 291195075 16171008 1286 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362173026 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/26175/statm: 3948 1286 324 3 0 1048 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15792

[startup+0.701272 s]
/proc/loadavg: 0.85 0.94 0.93 3/77 26175
/proc/meminfo: memFree=1548136/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=15792 CPUtime=0.07
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 1333 0 0 0 7 0 0 0 16 0 1 0 291195075 16171008 1286 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362173026 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/26175/statm: 3948 1286 324 3 0 1048 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15792

[startup+1.50237 s]
/proc/loadavg: 0.85 0.94 0.93 2/80 26178
/proc/meminfo: memFree=1542800/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=15792 CPUtime=0.07
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 1333 0 0 0 7 0 0 0 16 0 1 0 291195075 16171008 1286 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362173026 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/26175/statm: 3948 1286 324 3 0 1048 0
[pid=26177] ppid=26175 vsize=5356 CPUtime=0
/proc/26177/stat : 26177 (sh) S 26175 26175 26088 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 291195083 5484544 231 18446744073709551615 4194304 4889804 548682069232 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26177/statm: 1339 231 193 169 0 50 0
[pid=26178] ppid=26177 vsize=12400 CPUtime=1.4
/proc/26178/stat : 26178 (pb2clasp1) R 26177 26175 26088 0 -1 4194304 505 0 0 0 140 0 0 0 25 0 1 0 291195083 12697600 467 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259373148157 0 0 4224 0 0 0 0 17 0 0 0
/proc/26178/statm: 3100 467 340 3 0 200 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 33548

[startup+3.10155 s]
/proc/loadavg: 0.85 0.94 0.93 2/80 26178
/proc/meminfo: memFree=1542032/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=15792 CPUtime=0.07
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 1333 0 0 0 7 0 0 0 16 0 1 0 291195075 16171008 1286 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362173026 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/26175/statm: 3948 1286 324 3 0 1048 0
[pid=26177] ppid=26175 vsize=5356 CPUtime=0
/proc/26177/stat : 26177 (sh) S 26175 26175 26088 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 291195083 5484544 231 18446744073709551615 4194304 4889804 548682069232 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26177/statm: 1339 231 193 169 0 50 0
[pid=26178] ppid=26177 vsize=12400 CPUtime=3
/proc/26178/stat : 26178 (pb2clasp1) R 26177 26175 26088 0 -1 4194304 505 0 0 0 299 1 0 0 25 0 1 0 291195083 12697600 467 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259353152843 0 0 4224 0 0 0 0 17 1 0 0
/proc/26178/statm: 3100 467 340 3 0 200 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 33548

[startup+6.30193 s]
/proc/loadavg: 0.86 0.94 0.93 2/80 26178
/proc/meminfo: memFree=1540688/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=15792 CPUtime=0.07
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 1333 0 0 0 7 0 0 0 16 0 1 0 291195075 16171008 1286 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362173026 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/26175/statm: 3948 1286 324 3 0 1048 0
[pid=26177] ppid=26175 vsize=5356 CPUtime=0
/proc/26177/stat : 26177 (sh) S 26175 26175 26088 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 291195083 5484544 231 18446744073709551615 4194304 4889804 548682069232 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26177/statm: 1339 231 193 169 0 50 0
[pid=26178] ppid=26177 vsize=12400 CPUtime=6.2
/proc/26178/stat : 26178 (pb2clasp1) R 26177 26175 26088 0 -1 4194304 505 0 0 0 619 1 0 0 25 0 1 0 291195083 12697600 467 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259373625526 0 0 4224 0 0 0 0 17 1 0 0
/proc/26178/statm: 3100 467 340 3 0 200 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 33548

[startup+12.7017 s]
/proc/loadavg: 0.87 0.94 0.93 3/79 26182
/proc/meminfo: memFree=1528864/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=15924 CPUtime=11.96
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 1455 1597 0 0 7 0 1180 9 17 0 1 0 291195075 16306176 1328 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/26175/statm: 3981 1328 343 3 0 1081 0
Current children cumulated CPU time (s) 11.96
Current children cumulated vsize (KiB) 15924

[startup+25.5012 s]
/proc/loadavg: 0.90 0.94 0.93 2/80 26185
/proc/meminfo: memFree=1358552/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=15924 CPUtime=11.96
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 1455 1597 0 0 7 0 1180 9 17 0 1 0 291195075 16306176 1328 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/26175/statm: 3981 1328 343 3 0 1081 0
[pid=26183] ppid=26175 vsize=5356 CPUtime=0.02
/proc/26183/stat : 26183 (sh) S 26175 26175 26088 0 -1 4194304 287 122 0 0 0 0 0 2 16 0 1 0 291196275 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26183/statm: 1339 225 188 169 0 50 0
[pid=26185] ppid=26183 vsize=176992 CPUtime=13.45
/proc/26185/stat : 26185 (clasp) R 26183 26175 26088 0 -1 4194304 45001 0 0 0 1327 18 0 0 25 0 1 0 291196275 181239808 42671 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134629609 0 0 4096 0 0 0 0 17 1 0 0
/proc/26185/statm: 44248 42671 194 154 0 43718 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 198272

[startup+51.1012 s]
/proc/loadavg: 0.93 0.94 0.93 2/80 26201
/proc/meminfo: memFree=1347032/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=15924 CPUtime=39.92
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 1770 98061 0 0 12 1 3909 70 16 0 1 0 291195075 16306176 1349 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/26175/statm: 3981 1349 343 3 0 1081 0
[pid=26199] ppid=26175 vsize=5356 CPUtime=0.01
/proc/26199/stat : 26199 (sh) S 26175 26175 26088 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 291199071 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26199/statm: 1339 225 188 169 0 50 0
[pid=26201] ppid=26199 vsize=187392 CPUtime=11.1
/proc/26201/stat : 26201 (clasp) R 26199 26175 26088 0 -1 4194304 48787 0 0 0 1088 22 0 0 25 0 1 0 291199071 191889408 45373 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134629609 0 0 4096 0 0 0 0 17 1 0 0
/proc/26201/statm: 46848 45373 196 154 0 46318 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 208672

[startup+102.306 s]
/proc/loadavg: 0.97 0.95 0.93 2/81 26233
/proc/meminfo: memFree=1431632/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=15924 CPUtime=96.93
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 2302 300443 0 0 23 1 9466 203 17 0 1 0 291195075 16306176 1355 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/26175/statm: 3981 1355 343 3 0 1081 0
[pid=26231] ppid=26175 vsize=5356 CPUtime=0
/proc/26231/stat : 26231 (sh) S 26175 26175 26088 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 291204774 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26231/statm: 1339 225 188 169 0 50 0
[pid=26232] ppid=26231 vsize=2520 CPUtime=0.01
/proc/26232/stat : 26232 (cat) S 26231 26175 26088 0 -1 4194304 120 0 0 0 0 1 0 0 15 0 1 0 291204774 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 259353444578 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/26232/statm: 630 87 71 4 0 42 0
[pid=26233] ppid=26231 vsize=101608 CPUtime=5.29
/proc/26233/stat : 26233 (clasp) R 26231 26175 26088 0 -1 4194304 25091 0 0 0 517 12 0 0 25 0 1 0 291204774 104046592 24826 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 135088414 0 0 4096 0 0 0 0 17 1 0 0
/proc/26233/statm: 25402 24826 173 154 0 24872 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 125408

[startup+162.301 s]
/proc/loadavg: 1.05 0.97 0.94 2/81 26265
/proc/meminfo: memFree=1402064/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=16060 CPUtime=154.46
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 2875 506055 0 0 36 2 15069 339 16 0 1 0 291195075 16445440 1368 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/26175/statm: 4015 1368 343 3 0 1115 0
[pid=26263] ppid=26175 vsize=5356 CPUtime=0
/proc/26263/stat : 26263 (sh) S 26175 26175 26088 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 291210530 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26263/statm: 1339 225 188 169 0 50 0
[pid=26264] ppid=26263 vsize=2520 CPUtime=0.01
/proc/26264/stat : 26264 (cat) S 26263 26175 26088 0 -1 4194304 120 0 0 0 0 1 0 0 15 0 1 0 291210531 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 259353444578 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/26264/statm: 630 87 71 4 0 42 0
[pid=26265] ppid=26263 vsize=128580 CPUtime=7.71
/proc/26265/stat : 26265 (clasp) R 26263 26175 26088 0 -1 4194304 33230 0 0 0 753 18 0 0 25 0 1 0 291210531 131665920 31664 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134678418 0 0 4096 0 0 0 0 17 1 0 0
/proc/26265/statm: 32145 31664 184 154 0 31615 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 152516

[startup+222.301 s]
/proc/loadavg: 1.02 0.97 0.94 2/80 26297
/proc/meminfo: memFree=1358168/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=16060 CPUtime=212.52
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 3461 709073 0 0 52 3 20717 480 17 0 1 0 291195075 16445440 1368 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/26175/statm: 4015 1368 343 3 0 1115 0
[pid=26295] ppid=26175 vsize=5356 CPUtime=0.01
/proc/26295/stat : 26295 (sh) S 26175 26175 26088 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 291216340 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26295/statm: 1339 225 188 169 0 50 0
[pid=26297] ppid=26295 vsize=175912 CPUtime=9.61
/proc/26297/stat : 26297 (clasp) R 26295 26175 26088 0 -1 4194304 45386 0 0 0 939 22 0 0 25 0 1 0 291216341 180133888 43166 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 6264443 0 0 4096 0 0 0 0 17 1 0 0
/proc/26297/statm: 43978 43166 194 154 0 43448 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 197328

[startup+282.301 s]
/proc/loadavg: 1.00 0.97 0.94 2/80 26329
/proc/meminfo: memFree=1339928/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=16060 CPUtime=271.11
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 4056 914915 0 0 71 4 26416 620 17 0 1 0 291195075 16445440 1369 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/26175/statm: 4015 1369 343 3 0 1115 0
[pid=26327] ppid=26175 vsize=5356 CPUtime=0.01
/proc/26327/stat : 26327 (sh) S 26175 26175 26088 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 291222204 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26327/statm: 1339 225 188 169 0 50 0

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

/proc/meminfo: memFree=1525096/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=16492 CPUtime=1720.28
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 20708 6635924 0 0 1873 24 165853 4278 17 0 1 0 291195075 16887808 1467 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/26175/statm: 4123 1467 343 3 0 1223 0
Current children cumulated CPU time (s) 1720.28
Current children cumulated vsize (KiB) 16492

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/81 27075
/proc/meminfo: memFree=1363784/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=16492 CPUtime=1772.59
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 21429 6854517 0 0 1993 25 170826 4415 17 0 1 0 291195075 16887808 1467 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/26175/statm: 4123 1467 343 3 0 1223 0
[pid=27073] ppid=26175 vsize=5356 CPUtime=0
/proc/27073/stat : 27073 (sh) S 26175 26175 26088 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 291372454 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27073/statm: 1339 225 188 169 0 50 0
[pid=27074] ppid=27073 vsize=2520 CPUtime=0.01
/proc/27074/stat : 27074 (cat) S 27073 26175 26088 0 -1 4194304 120 0 0 0 0 1 0 0 15 0 1 0 291372454 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 259353444578 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/27074/statm: 630 87 71 4 0 42 0
[pid=27075] ppid=27073 vsize=163136 CPUtime=8.48
/proc/27075/stat : 27075 (clasp) R 27073 26175 26088 0 -1 4194304 42375 0 0 0 829 19 0 0 25 0 1 0 291372454 167051264 40270 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134674562 0 0 4096 0 0 0 0 17 1 0 0
/proc/27075/statm: 40784 40270 184 154 0 40254 0
Current children cumulated CPU time (s) 1781.08
Current children cumulated vsize (KiB) 187504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/80 27083
/proc/meminfo: memFree=1304536/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=16492 CPUtime=1790.1
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 21660 6925753 0 0 2034 25 172493 4458 17 0 1 0 291195075 16887808 1467 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/26175/statm: 4123 1467 343 3 0 1223 0
[pid=27081] ppid=26175 vsize=5356 CPUtime=0.02
/proc/27081/stat : 27081 (sh) S 26175 26175 26088 0 -1 4194304 288 122 0 0 0 0 0 2 16 0 1 0 291374205 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27081/statm: 1339 225 188 169 0 50 0
[pid=27083] ppid=27081 vsize=225716 CPUtime=9.96
/proc/27083/stat : 27083 (clasp) R 27081 26175 26088 0 -1 4194304 60238 0 0 0 971 25 0 0 25 0 1 0 291374205 231133184 55176 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134745080 0 0 4096 0 0 0 0 17 1 0 0
/proc/27083/statm: 56429 55176 194 154 0 55899 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 247564

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

[startup+1801.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/80 27083
/proc/meminfo: memFree=1304536/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=16492 CPUtime=1790.1
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 21660 6925753 0 0 2034 25 172493 4458 17 0 1 0 291195075 16887808 1467 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/26175/statm: 4123 1467 343 3 0 1223 0
[pid=27081] ppid=26175 vsize=5356 CPUtime=0.02
/proc/27081/stat : 27081 (sh) S 26175 26175 26088 0 -1 4194304 288 122 0 0 0 0 0 2 16 0 1 0 291374205 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27081/statm: 1339 225 188 169 0 50 0
[pid=27083] ppid=27081 vsize=225716 CPUtime=9.96
/proc/27083/stat : 27083 (clasp) R 27081 26175 26088 0 -1 4194304 60238 0 0 0 971 25 0 0 25 0 1 0 291374205 231133184 55176 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134745080 0 0 4096 0 0 0 0 17 1 0 0
/proc/27083/statm: 56429 55176 194 154 0 55899 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 247564

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

[startup+1801.42 s]
/proc/loadavg: 1.00 1.00 0.97 2/80 27083
/proc/meminfo: memFree=1304536/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=16492 CPUtime=1790.19
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 21886 6927533 0 0 2034 25 172494 4466 16 0 1 0 291195075 16887808 1480 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/26175/statm: 4123 1480 343 3 0 1223 0
Current children cumulated CPU time (s) 1790.19
Current children cumulated vsize (KiB) 16492

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.42 s]
/proc/loadavg: 1.00 1.00 0.97 2/80 27083
/proc/meminfo: memFree=1304536/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=16492 CPUtime=1790.19
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 21886 6927533 0 0 2034 25 172494 4466 16 0 1 0 291195075 16887808 1480 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/26175/statm: 4123 1480 343 3 0 1223 0
Current children cumulated CPU time (s) 1790.19
Current children cumulated vsize (KiB) 16492

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 0.97 2/82 27094
/proc/meminfo: memFree=1523848/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=16492 CPUtime=1790.19
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 21886 6927533 0 0 2034 25 172494 4466 16 0 1 0 291195075 16887808 1480 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/26175/statm: 4123 1480 343 3 0 1223 0
[pid=27092] ppid=26175 vsize=5356 CPUtime=0
/proc/27092/stat : 27092 (sh) S 26175 26175 26088 0 -1 4194304 288 0 0 0 0 0 0 0 19 0 1 0 291375213 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27092/statm: 1339 225 188 169 0 50 0
[pid=27093] ppid=27092 vsize=2520 CPUtime=0
/proc/27093/stat : 27093 (cat) S 27092 26175 26088 0 -1 4194304 120 0 0 0 0 0 0 0 16 0 1 0 291375214 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 259353444578 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/27093/statm: 630 87 71 4 0 42 0
[pid=27094] ppid=27092 vsize=8644 CPUtime=0.8
/proc/27094/stat : 27094 (clasp) R 27092 26175 26088 0 -1 4194304 1804 0 0 0 79 1 0 0 25 0 1 0 291375214 8851456 1766 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 135030952 0 0 4096 0 0 0 0 17 1 0 0
/proc/27094/statm: 2161 1766 173 154 0 1631 0
Current children cumulated CPU time (s) 1790.99
Current children cumulated vsize (KiB) 33012

[startup+1803 s]
/proc/loadavg: 1.00 1.00 0.97 2/82 27094
/proc/meminfo: memFree=1505992/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=16492 CPUtime=1790.19
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 21886 6927533 0 0 2034 25 172494 4466 16 0 1 0 291195075 16887808 1480 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/26175/statm: 4123 1480 343 3 0 1223 0
[pid=27092] ppid=26175 vsize=5356 CPUtime=0
/proc/27092/stat : 27092 (sh) S 26175 26175 26088 0 -1 4194304 288 0 0 0 0 0 0 0 19 0 1 0 291375213 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27092/statm: 1339 225 188 169 0 50 0
[pid=27093] ppid=27092 vsize=2520 CPUtime=0
/proc/27093/stat : 27093 (cat) S 27092 26175 26088 0 -1 4194304 120 0 0 0 0 0 0 0 16 0 1 0 291375214 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 259353444578 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/27093/statm: 630 87 71 4 0 42 0
[pid=27094] ppid=27092 vsize=24888 CPUtime=1.6
/proc/27094/stat : 27094 (clasp) R 27092 26175 26088 0 -1 4194304 5890 0 0 0 157 3 0 0 25 0 1 0 291375214 25485312 5852 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 6246164 0 0 4096 0 0 0 0 17 1 0 0
/proc/27094/statm: 6222 5852 173 154 0 5692 0
Current children cumulated CPU time (s) 1791.79
Current children cumulated vsize (KiB) 49256

[startup+1803.2 s]
/proc/loadavg: 1.00 1.00 0.97 2/82 27094
/proc/meminfo: memFree=1505992/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=16492 CPUtime=1790.19
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 21886 6927533 0 0 2034 25 172494 4466 16 0 1 0 291195075 16887808 1480 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/26175/statm: 4123 1480 343 3 0 1223 0
[pid=27092] ppid=26175 vsize=5356 CPUtime=0
/proc/27092/stat : 27092 (sh) S 26175 26175 26088 0 -1 4194304 288 0 0 0 0 0 0 0 19 0 1 0 291375213 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27092/statm: 1339 225 188 169 0 50 0
[pid=27093] ppid=27092 vsize=2520 CPUtime=0
/proc/27093/stat : 27093 (cat) S 27092 26175 26088 0 -1 4194304 120 0 0 0 0 0 0 0 16 0 1 0 291375214 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 259353444578 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/27093/statm: 630 87 71 4 0 42 0
[pid=27094] ppid=27092 vsize=29132 CPUtime=1.8
/proc/27094/stat : 27094 (clasp) R 27092 26175 26088 0 -1 4194304 6945 0 0 0 177 3 0 0 25 0 1 0 291375214 29831168 6874 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 135081223 0 0 4096 0 0 0 0 17 1 0 0
/proc/27094/statm: 7283 6874 173 154 0 6753 0
Current children cumulated CPU time (s) 1791.99
Current children cumulated vsize (KiB) 53500

[startup+1803.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/82 27094
/proc/meminfo: memFree=1505992/2055920 swapFree=4145736/4192956
[pid=26175] ppid=26173 vsize=16492 CPUtime=1790.19
/proc/26175/stat : 26175 (pbclasp) S 26173 26175 26088 0 -1 4194304 21886 6927533 0 0 2034 25 172494 4466 16 0 1 0 291195075 16887808 1480 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/26175/statm: 4123 1480 343 3 0 1223 0
[pid=27092] ppid=26175 vsize=5356 CPUtime=0
/proc/27092/stat : 27092 (sh) S 26175 26175 26088 0 -1 4194304 288 0 0 0 0 0 0 0 19 0 1 0 291375213 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27092/statm: 1339 225 188 169 0 50 0
[pid=27093] ppid=27092 vsize=2520 CPUtime=0
/proc/27093/stat : 27093 (cat) S 27092 26175 26088 0 -1 4194304 120 0 0 0 0 0 0 0 16 0 1 0 291375214 2580480 87 18446744073709551615 4194304 4211220 548682069360 18446744073709551615 259353444578 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/27093/statm: 630 87 71 4 0 42 0
[pid=27094] ppid=27092 vsize=31140 CPUtime=1.9
/proc/27094/stat : 27094 (clasp) R 27092 26175 26088 0 -1 4194304 7457 0 0 0 187 3 0 0 25 0 1 0 291375214 31887360 7386 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27094/statm: 7785 7386 173 154 0 7255 0
Current children cumulated CPU time (s) 1792.09
Current children cumulated vsize (KiB) 55508

Child status: 0

# 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): 9.88989
#  lost CPU user time (s): 9.69995
#  lost CPU system time (s): 0.190002

Real time (s): 1803.33
CPU time (s): 1802.06
CPU user time (s): 1756.89
CPU system time (s): 45.1692
CPU usage (%): 99.9292
Max. virtual memory (cumulated for all children) (KiB): 295608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1747.19
system time used= 44.9792
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6958144
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= 213016
involuntary context switches= 205236

runsolver used 1.67974 second user time and 4.89926 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Thu May  3 00:19:29 UTC 2007

IDJOB= 453715
IDBENCH= 48149
IDSOLVER= 158
FILE ID= node1/453715-1178151569

PBS_JOBID= 4751081

Free space on /tmp= 54613 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_60_3.opb
COMMAND LINE= pbclasp instance-453715-1178151569.opb /tmp/evaluation/453715-1178151569/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node1/convwatcher-453715-1178151569 -o ROOT/results/node1/conversion-453715-1178151569 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453715-1178151569/instance-453715-1178151569.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  12e000f4c238d036e0b89e0774c838fa

RANDOM SEED= 269382169

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node1.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:       1548672 kB
Buffers:         37920 kB
Cached:         360972 kB
SwapCached:      14820 kB
Active:          84372 kB
Inactive:       337828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1548672 kB
SwapTotal:     4192956 kB
SwapFree:      4145736 kB
Dirty:            7136 kB
Writeback:           0 kB
Mapped:          29448 kB
Slab:            70548 kB
Committed_AS:  9414736 kB
PageTables:       1832 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= 54594 MiB

End job on node1 on Thu May  3 00:49:36 UTC 2007