Trace number 3450156

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Satisfiability Solver Selector 2011-03-18SAT 34.06 34.1612

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F18.cnf
MD5SUM0219a55415ff7fae71350d03c49bcd06
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.12283
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses126826
Sum of the clauses size748100
Maximum clause length55
Minimum clause length1
Number of clauses of size 120
Number of clauses of size 220345
Number of clauses of size 317319
Number of clauses of size 46552
Number of clauses of size 515318
Number of clauses of size over 567272

Solver Data 

13.64/14.01	c COMMAND LINE: portfolio_solver.py -t 5000 -s 1824729102 HOME/instance-3450156-1307062783.cnf
13.64/14.01	c    tmpdir         WORKING-DIR
13.64/14.01	c    timelimit      5000
13.64/14.01	c    seed           1824729102
13.64/14.01	c    verbosity      0
13.64/14.01	c Parsed command line and set default values...
13.64/14.01	c Starting *WALL CLOCK* TIMER
13.64/14.01	c Found WORKING-DIR/coach-executables-test-SUCCESS.txt
13.64/14.01	c   indicating coach-executables-test.sh was run successfully earlier
13.64/14.01	c Making sure all necessary files and folders are present...
13.64/14.01	c   Checking for ./features                            OK
13.64/14.01	c   Checking for COACH/coach                           OK
13.64/14.01	c   Checking for preprocessors/SatELite_v1.0_linux     OK
13.64/14.01	c   Checking for solvers/adaptg2wsat2009               OK
13.64/14.01	c   Checking for solvers/adaptg2wsat2009++             OK
13.64/14.01	c   Checking for solvers/clasp-1.3.6-x86-linux         OK
13.64/14.01	c   Checking for solvers/cryptominisat                 OK
13.64/14.01	c   Checking for solvers/glucose_static                OK
13.64/14.01	c   Checking for solvers/gnovelty+2                    OK
13.64/14.01	c   Checking for solvers/gnovelty+2-H                  OK
13.64/14.01	c   Checking for solvers/hybridGM3                     OK
13.64/14.01	c   Checking for solvers/kcnfs04SAT07                  OK
13.64/14.01	c   Checking for solvers/lingeling                     OK
13.64/14.01	c   Checking for solvers/LySATc                        OK
13.64/14.01	c   Checking for solvers/LySATi                        OK
13.64/14.01	c   Checking for solvers/march_hi                      OK
13.64/14.01	c   Checking for solvers/march_nn                      OK
13.64/14.01	c   Checking for solvers/minisat_static                OK
13.64/14.01	c   Checking for solvers/mxc-sat09                     OK
13.64/14.01	c   Checking for solvers/picosat                       OK
13.64/14.01	c   Checking for solvers/precosat                      OK
13.64/14.01	c   Checking for solvers/SATenstein                    OK
13.64/14.01	c   Checking for solvers/TNM                           OK
13.64/14.01	c   Checking for solvers/ubcsatOrig                    OK
13.64/14.01	c   Checking for utilities/timerun                     OK
13.64/14.01	c   Checking for folder COACH/DATA                     OK
13.64/14.01	c   Checking for file unif-k3-r4.2-v18000-c75600-S914323646-060.cnf OK
13.64/14.01	c Check successful
13.64/14.01	c TIMER: 0.0 sec total, 0.0 sec since previous report
13.64/14.01	c Computing instance features...
13.64/14.01	c    ./features HOME/instance-3450156-1307062783.cnf
13.64/14.01	c    Features found: 7394 125326 0.0589981329 0.00083208785 3.3008599 2.39375708e-05 0.0146657517 1.60346214 0.000789584799 0.609074311 0.000270489586 0.00608601569 2.24095433 0.799881908 0.463037918 0 1 0.718864629 0.257195001 0.264080217 0 0.99527745 1.27718518 0 0.15362335 0.288910521 0.000728730298 3.68126276 1.59583805e-05 0.0146178766 1.54898232 0.947808116 0.000214380558 0.767454736 0.000151604615 0.00118092016 0.202589928 -1 -0 -1 0 -1 -1 -0 -1 0 -0 -1
13.64/14.01	c TIMER: 13.64 sec total, 13.64 sec since previous report
13.64/14.01	c Computing most promising solver to run...
13.64/14.01	c    COACH/coach 7394 125326 0.0589981329 0.00083208785 3.3008599 2.39375708e-05 0.0146657517 1.60346214 0.000789584799 0.609074311 0.000270489586 0.00608601569 2.24095433 0.799881908 0.463037918 0 1 0.718864629 0.257195001 0.264080217 0 0.99527745 1.27718518 0 0.15362335 0.288910521 0.000728730298 3.68126276 1.59583805e-05 0.0146178766 1.54898232 0.947808116 0.000214380558 0.767454736 0.000151604615 0.00118092016 0.202589928 -1 -0 -1 0 -1 -1 -0 -1 0 -0 -1 COACH/DATA/ 0
13.64/14.01	c    PORTFOLIO-SUGGESTION SOLVER cryptominisat 21 0
13.64/14.01	c    PORTFOLIO-SUGGESTION SOLVER adaptg2wsat2009 4 0
13.64/14.01	c    PORTFOLIO-SUGGESTION SOLVER precosat 128 0
13.64/14.01	c    PORTFOLIO-SUGGESTION SOLVER march_hi 121 0
13.64/14.01	c    PORTFOLIO-SUGGESTION SOLVER hybridGM3 34 0
13.64/14.01	c    PORTFOLIO-SUGGESTION SOLVER lingeling 4 0
13.64/14.01	c    PORTFOLIO-SUGGESTION SOLVER gnovelty+2 38 0
13.64/14.01	c    PORTFOLIO-SUGGESTION SOLVER TNM 62 0
13.64/14.01	c    PORTFOLIO-SUGGESTION SOLVER AshiHgen 8 0
13.64/14.01	c    PORTFOLIO-SUGGESTION SOLVER mxc-sat09 4 0
13.64/14.01	c    PORTFOLIO-SUGGESTION SOLVER lingeling 100000 1
13.64/14.01	c TIMER: 13.97 sec total, 0.34 sec since previous report
13.64/14.01	c Preprocessing ON (for solvers that need to use it)
13.64/14.01	c Solvers and corresponding runtimes to be used, and whether on the preprocessed instance:
13.64/14.01	c    cryptominisat   	             21 	False
13.64/14.01	c    adaptg2wsat2009 	              4 	False
34.06/34.15	c    precosat        	            128 	False
34.06/34.15	c    march_hi        	            121 	False
34.06/34.15	c    hybridGM3       	             34 	False
34.06/34.15	c    lingeling       	              4 	False
34.06/34.15	c    gnovelty+2      	             38 	False
34.06/34.15	c    TNM             	             62 	False
34.06/34.15	c    AshiHgen        	              8 	False
34.06/34.15	c    mxc-sat09       	              4 	False
34.06/34.15	c    lingeling       	         100000 	True
34.06/34.15	c Default solver to fall back on, in case everything fails:
34.06/34.15	c    lingeling       	       no limit 	False
34.06/34.15	c Running cryptominisat for 21 seconds on HOME/instance-3450156-1307062783.cnf
34.06/34.15	c    utilities/timerun 21 solvers/cryptominisat HOME/instance-3450156-1307062783.cnf
34.06/34.15	c TIMER: 34.11 sec total, 20.14 sec since previous report
34.06/34.15	c Instance solved!
34.06/34.15	s SATISFIABLE
34.06/34.15	v -1 -2 -3 -4 -5 6 -7 -8 -9 -10 -11 12 13 -14 -15 -16 -17 -18 -19 -20
34.06/34.15	v -21 -22 -23 -24 25 -26 -27 28 -29 -30 -31 -32 -33 -34 35 36 -37 38 -39 40
34.06/34.15	v 41 42 -43 -44 45 46 47 -48 -49 -50 -51 -52 -53 54 -55 -56 57 -58 -59 -60
34.06/34.15	v -61 -62 63 -64 -65 -66 67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 79 80
34.06/34.15	v 81 -82 -83 84 85 86 -87 -88 89 -90 -91 -92 93 94 -95 -96 -97 -98 -99 -100
34.06/34.15	v -101 -102 -103 -104 -105 -106 -107 -108 109 -110 -111 112 113 -114 -115 -116 117 118 119 120
34.06/34.15	v 121 122 -123 124 125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 139 -140
34.06/34.15	v -141 -142 143 -144 -145 -146 147 -148 149 -150 -151 -152 -153 154 155 156 157 -158 -159 160
34.06/34.15	v 161 -162 163 164 -165 -166 167 168 -169 -170 171 172 173 -174 175 176 177 -178 179 180
34.06/34.15	v -181 182 183 184 185 186 187 -188 -189 -190 -191 192 -193 -194 -195 -196 197 -198 -199 -200
34.06/34.15	v -201 202 -203 204 205 206 -207 208 209 -210 211 212 213 214 215 -216 217 218 219 -220
34.06/34.15	v 221 222 -223 -224 225 226 227 228 -229 230 -231 -232 -233 -234 235 -236 -237 -238 -239 -240
34.06/34.15	v 241 -242 243 -244 245 -246 -247 -248 249 250 251 252 253 254 255 256 -257 258 259 260
34.06/34.15	v 261 -262 263 264 -265 -266 267 268 -269 -270 -271 -272 -273 -274 -275 276 -277 -278 279 -280
34.06/34.15	v -281 282 283 -284 -285 -286 -287 288 289 290 291 -292 -293 -294 -295 -296 -297 -298 -299 -300
34.06/34.15	v 301 -302 -303 304 305 306 307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320
34.06/34.15	v -321 -322 -323 -324 -325 -326 -327 328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340
34.06/34.15	v -341 -342 -343 -344 -345 -346 -347 348 349 350 351 352 353 -354 -355 -356 -357 -358 -359 -360
34.06/34.15	v -361 -362 -363 -364 365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380
34.06/34.15	v -381 -382 -383 -384 385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400
34.06/34.15	v -401 402 403 404 405 406 -407 -408 -409 -410 -411 -412 -413 -414 415 416 -417 -418 -419 -420
34.06/34.15	v -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440
34.06/34.15	v -441 -442 443 -444 -445 -446 -447 -448 -449 -450 -451 452 453 -454 -455 -456 -457 -458 -459 -460
34.06/34.15	v -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 471 472 473 474 475 476 477 -478 -479 -480
34.06/34.15	v -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 494 -495 -496 -497 -498 -499 -500
34.06/34.15	v -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 513 -514 -515 -516 -517 -518 -519 -520
34.06/34.15	v -521 -522 523 524 525 526 527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540
34.06/34.15	v 541 542 543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560
34.06/34.15	v -561 -562 -563 564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580
34.06/34.15	v -581 -582 -583 -584 -585 586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 600
34.06/34.15	v -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 615 -616 -617 -618 -619 -620
34.06/34.15	v -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 632 633 -634 -635 -636 -637 -638 -639 -640
34.06/34.15	v -641 -642 -643 -644 -645 -646 -647 -648 649 650 651 652 -653 -654 -655 -656 -657 -658 -659 -660
34.06/34.15	v -661 -662 -663 -664 -665 -666 667 668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680
34.06/34.15	v -681 -682 -683 -684 685 686 687 688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700
34.06/34.15	v -701 -702 -703 -704 705 706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720
34.06/34.15	v -721 -722 -723 -724 -725 726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740
34.06/34.15	v -741 742 743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 759 760
34.06/34.15	v 761 762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 776 777 -778 -779 -780
34.06/34.15	v -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 797 -798 -799 -800
34.06/34.15	v -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 813 -814 -815 -816 -817 -818 -819 -820
34.06/34.15	v -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 831 832 -833 -834 -835 -836 -837 -838 -839 -840
34.06/34.15	v -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 852 -853 -854 -855 -856 -857 -858 -859 -860
34.06/34.15	v -861 -862 -863 -864 865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880
34.06/34.15	v -881 -882 -883 -884 885 -886 -887 -888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900
34.06/34.15	v -901 -902 903 904 905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920
34.06/34.15	v -921 922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 940
34.06/34.15	v -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960
34.06/34.15	v -961 -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980
34.06/34.15	v -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000
34.06/34.15	v -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020
34.06/34.15	v -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040
34.06/34.15	v -1041 -1042 -1043 -1044 1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060
34.06/34.15	v -1061 -1062 -1063 -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080
34.06/34.15	v -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100
34.06/34.15	v -1101 -1102 -1103 -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120
34.06/34.15	v -1121 -1122 -1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140
34.06/34.15	v -1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150 -1151 -1152 1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160
34.06/34.15	v -1161 -1162 -1163 -1164 -1165 -1166 -1167 -1168 -1169 -1170 1171 -1172 -1173 -1174 -1175 -1176 -1177 -1178 -1179 -1180
34.06/34.15	v -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200
34.06/34.15	v -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220
34.06/34.15	v -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240
34.06/34.15	v -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260
34.06/34.15	v -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280
34.06/34.15	v -1281 -1282 -1283 -1284 -1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300
34.06/34.15	v -1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320
34.06/34.15	v -1321 -1322 -1323 -1324 -1325 -1326 -1327 -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340
34.06/34.15	v -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360
34.06/34.15	v -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380
34.06/34.15	v -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400
34.06/34.15	v -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420
34.06/34.15	v -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440
34.06/34.15	v -1441 -1442 -1443 1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460
34.06/34.15	v -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480
34.06/34.15	v -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500
34.06/34.15	v -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520
34.06/34.15	v -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540
34.06/34.15	v -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560
34.06/34.15	v -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580
34.06/34.15	v -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 -1589 1590 1591 1592 1593 1594 -1595 -1596 -1597 -1598 -1599 -1600
34.06/34.15	v -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620
34.06/34.15	v -1621 -1622 -1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630 1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640
34.06/34.15	v -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660
34.06/34.15	v -1661 1662 1663 1664 1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680
34.06/34.15	v -1681 1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700
34.06/34.15	v 1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720
34.06/34.15	v -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740
34.06/34.15	v -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751 1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760
34.06/34.15	v -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 1774 -1775 -1776 -1777 -1778 -1779 -1780
34.06/34.15	v -1781 -1782 -1783 -1784 -1785 -1786 -1787 1788 -1789 -1790 -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800
34.06/34.15	v -1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820
34.06/34.15	v -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830 -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840
34.06/34.15	v -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860
34.06/34.15	v -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880
34.06/34.15	v -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900
34.06/34.15	v -1901 -1902 -1903 -1904 -1905 -1906 -1907 -1908 -1909 -1910 -1911 -1912 1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920
34.06/34.15	v -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940
34.06/34.15	v -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960
34.06/34.15	v -1961 -1962 -1963 -1964 -1965 -1966 1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980
34.06/34.15	v -1981 -1982 -1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000
34.06/34.15	v -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010 -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020
34.06/34.15	v -2021 -2022 -2023 -2024 -2025 -2026 -2027 -2028 -2029 -2030 -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040
34.06/34.15	v -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060
34.06/34.15	v -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 2077 -2078 -2079 -2080
34.06/34.15	v -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100
34.06/34.15	v -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120
34.06/34.15	v -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140
34.06/34.15	v -2141 -2142 -2143 -2144 -2145 -2146 -2147 -2148 2149 -2150 -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160
34.06/34.15	v -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180
34.06/34.15	v -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200
34.06/34.15	v -2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220
34.06/34.15	v -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240
34.06/34.15	v -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260
34.06/34.15	v -2261 -2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 -2270 -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280
34.06/34.15	v -2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290 -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300
34.06/34.15	v -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310 -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320
34.06/34.15	v -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340
34.06/34.15	v -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360
34.06/34.15	v -2361 -2362 -2363 2364 2365 2366 2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380
34.06/34.15	v -2381 -2382 -2383 2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400
34.06/34.15	v -2401 -2402 2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420
34.06/34.15	v -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440
34.06/34.15	v -2441 -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 -2451 -2452 -2453 2454 -2455 -2456 -2457 -2458 -2459 -2460
34.06/34.15	v -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 2476 -2477 -2478 -2479 -2480
34.06/34.15	v -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 2490 -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500
34.06/34.15	v -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520
34.06/34.15	v -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 2540
34.06/34.15	v -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -2560
34.06/34.15	v -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580
34.06/34.15	v -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591 -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600
34.06/34.15	v -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610 2611 2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620
34.06/34.15	v -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 2629 2630 -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640
34.06/34.15	v -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660
34.06/34.15	v -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680
34.06/34.15	v -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700
34.06/34.15	v -2701 -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720
34.06/34.15	v -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740
34.06/34.15	v -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760
34.06/34.15	v -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780
34.06/34.15	v -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800
34.06/34.15	v -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820
34.06/34.15	v -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840
34.06/34.15	v -2841 -2842 -2843 -2844 -2845 -2846 -2847 -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860
34.06/34.15	v -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880
34.06/34.15	v -2881 -2882 -2883 -2884 -2885 -2886 -2887 -2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900
34.06/34.15	v 2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920
34.06/34.15	v -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940
34.06/34.15	v -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951 -2952 -2953 2954 2955 -2956 -2957 -2958 -2959 -2960
34.06/34.15	v -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 2972 2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980
34.06/34.15	v -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000
34.06/34.15	v -3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020
34.06/34.15	v -3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040
34.06/34.15	v -3041 -3042 -3043 -3044 3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060
34.06/34.15	v -3061 -3062 -3063 -3064 -3065 -3066 -3067 3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080
34.06/34.15	v -3081 -3082 -3083 -3084 -3085 -3086 3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 3099 3100
34.06/34.15	v 3101 -3102 -3103 -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 3117 -3118 -3119 -3120
34.06/34.15	v -3121 -3122 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 3138 -3139 -3140
34.06/34.15	v -3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160
34.06/34.15	v -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 -3170 -3171 -3172 -3173 3174 -3175 -3176 -3177 -3178 -3179 -3180
34.06/34.15	v -3181 -3182 -3183 -3184 -3185 -3186 -3187 -3188 3189 -3190 -3191 -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199 -3200
34.06/34.15	v -3201 -3202 -3203 -3204 -3205 -3206 -3207 -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215 -3216 -3217 -3218 -3219 -3220
34.06/34.15	v -3221 -3222 -3223 -3224 -3225 -3226 -3227 -3228 -3229 -3230 -3231 -3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239 -3240
34.06/34.15	v -3241 -3242 -3243 -3244 -3245 -3246 -3247 -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260
34.06/34.15	v -3261 -3262 -3263 -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271 -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280
34.06/34.15	v -3281 -3282 -3283 -3284 -3285 -3286 -3287 -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300
34.06/34.15	v -3301 -3302 -3303 -3304 -3305 -3306 -3307 -3308 -3309 -3310 -3311 -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319 -3320
34.06/34.15	v -3321 -3322 -3323 -3324 -3325 -3326 -3327 -3328 -3329 -3330 -3331 -3332 -3333 -3334 -3335 -3336 -3337 -3338 -3339 -3340
34.06/34.15	v -3341 -3342 -3343 -3344 -3345 -3346 -3347 -3348 -3349 -3350 -3351 -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359 -3360
34.06/34.15	v -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370 -3371 -3372 -3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380
34.06/34.15	v -3381 -3382 -3383 -3384 -3385 -3386 -3387 -3388 -3389 -3390 -3391 -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399 -3400
34.06/34.15	v -3401 -3402 -3403 -3404 -3405 -3406 -3407 -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415 -3416 -3417 -3418 -3419 -3420
34.06/34.15	v -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431 -3432 -3433 -3434 -3435 -3436 -3437 -3438 3439 3440
34.06/34.15	v 3441 -3442 -3443 -3444 -3445 -3446 -3447 -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460
34.06/34.15	v -3461 -3462 -3463 -3464 -3465 -3466 -3467 -3468 -3469 -3470 -3471 -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479 -3480
34.06/34.15	v -3481 -3482 -3483 -3484 -3485 -3486 -3487 -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 -3499 -3500
34.06/34.15	v -3501 -3502 -3503 -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511 -3512 3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520
34.06/34.15	v -3521 -3522 -3523 -3524 -3525 -3526 -3527 -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535 -3536 -3537 -3538 -3539 -3540
34.06/34.15	v -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549 -3550 -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560
34.06/34.15	v -3561 -3562 -3563 -3564 -3565 -3566 -3567 -3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575 -3576 -3577 -3578 -3579 -3580
34.06/34.15	v -3581 -3582 -3583 -3584 3585 -3586 -3587 -3588 -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599 -3600
34.06/34.15	v -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620
34.06/34.15	v -3621 -3622 -3623 3624 -3625 -3626 -3627 -3628 -3629 -3630 -3631 -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639 -3640
34.06/34.15	v -3641 -3642 -3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655 -3656 -3657 -3658 -3659 -3660
34.06/34.15	v -3661 -3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679 -3680
34.06/34.15	v -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695 -3696 -3697 -3698 -3699 -3700
34.06/34.15	v -3701 -3702 -3703 -3704 -3705 -3706 -3707 -3708 -3709 3710 3711 -3712 -3713 -3714 -3715 -3716 -3717 -3718 -3719 -3720
34.06/34.15	v -3721 -3722 -3723 -3724 -3725 -3726 -3727 3728 -3729 -3730 -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740
34.06/34.15	v -3741 -3742 -3743 -3744 -3745 3746 3747 -3748 -3749 -3750 -3751 -3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759 -3760
34.06/34.15	v -3761 -3762 -3763 -3764 3765 -3766 -3767 -3768 -3769 -3770 -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780
34.06/34.15	v -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800
34.06/34.15	v -3801 -3802 -3803 -3804 -3805 -3806 -3807 -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 3819 -3820
34.06/34.15	v -3821 -3822 -3823 -3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831 -3832 -3833 -3834 -3835 3836 3837 -3838 -3839 -3840
34.06/34.15	v -3841 -3842 -3843 -3844 -3845 -3846 -3847 -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860
34.06/34.15	v -3861 -3862 -3863 -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871 -3872 3873 -3874 -3875 -3876 -3877 -3878 -3879 -3880
34.06/34.15	v -3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890 3891 -3892 -3893 -3894 -3895 -3896 -3897 -3898 -3899 -3900
34.06/34.15	v -3901 -3902 -3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911 -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919 -3920
34.06/34.15	v -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940
34.06/34.15	v -3941 -3942 -3943 -3944 3945 -3946 -3947 -3948 -3949 -3950 -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960
34.06/34.15	v -3961 -3962 3963 -3964 -3965 -3966 -3967 -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975 -3976 -3977 -3978 -3979 -3980
34.06/34.15	v -3981 -3982 -3983 -3984 -3985 -3986 -3987 -3988 -3989 -3990 -3991 -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999 -4000
34.06/34.15	v -4001 -4002 -4003 -4004 -4005 -4006 -4007 -4008 -4009 -4010 -4011 -4012 -4013 -4014 4015 4016 -4017 -4018 -4019 -4020
34.06/34.15	v -4021 -4022 -4023 -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031 -4032 4033 4034 4035 4036 -4037 -4038 -4039 -4040
34.06/34.15	v -4041 -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049 -4050 -4051 -4052 4053 4054 -4055 -4056 -4057 -4058 -4059 -4060
34.06/34.15	v -4061 -4062 -4063 -4064 -4065 -4066 -4067 -4068 -4069 -4070 -4071 -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080
34.06/34.15	v -4081 -4082 -4083 -4084 -4085 -4086 -4087 -4088 -4089 4090 -4091 -4092 -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100
34.06/34.15	v -4101 -4102 -4103 -4104 -4105 -4106 4107 4108 -4109 -4110 -4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120
34.06/34.15	v -4121 -4122 -4123 4124 4125 -4126 -4127 -4128 -4129 -4130 -4131 -4132 -4133 -4134 -4135 -4136 -4137 -4138 -4139 -4140
34.06/34.15	v -4141 -4142 -4143 -4144 -4145 -4146 -4147 -4148 -4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160
34.06/34.15	v 4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170 -4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 4179 4180
34.06/34.15	v -4181 -4182 -4183 -4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200
34.06/34.15	v -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 -4209 -4210 -4211 -4212 4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220
34.06/34.15	v -4221 -4222 -4223 -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231 -4232 4233 -4234 -4235 -4236 -4237 -4238 -4239 -4240
34.06/34.15	v -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250 4251 4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260
34.06/34.15	v -4261 -4262 -4263 -4264 -4265 -4266 -4267 -4268 -4269 4270 -4271 -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279 -4280
34.06/34.15	v -4281 -4282 -4283 -4284 -4285 -4286 -4287 4288 -4289 -4290 -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300
34.06/34.15	v -4301 -4302 4303 4304 -4305 -4306 -4307 -4308 -4309 -4310 -4311 -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319 -4320
34.06/34.15	v -4321 -4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340
34.06/34.15	v -4341 -4342 -4343 -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351 -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359 -4360
34.06/34.15	v -4361 -4362 -4363 -4364 -4365 -4366 -4367 -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379 -4380
34.06/34.15	v -4381 -4382 -4383 -4384 -4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392 -4393 4394 -4395 -4396 -4397 -4398 -4399 -4400
34.06/34.15	v -4401 -4402 -4403 -4404 -4405 -4406 -4407 -4408 -4409 -4410 -4411 -4412 -4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420
34.06/34.15	v -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431 -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440
34.06/34.15	v -4441 -4442 -4443 -4444 -4445 -4446 -4447 -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455 -4456 -4457 -4458 -4459 -4460
34.06/34.15	v -4461 -4462 -4463 -4464 -4465 -4466 -4467 -4468 -4469 -4470 -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480
34.06/34.15	v -4481 -4482 4483 -4484 -4485 -4486 -4487 -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500
34.06/34.15	v -4501 -4502 -4503 -4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511 -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519 -4520
34.06/34.15	v -4521 -4522 -4523 -4524 -4525 -4526 -4527 -4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535 -4536 -4537 -4538 -4539 -4540
34.06/34.15	v -4541 -4542 -4543 -4544 -4545 -4546 -4547 -4548 -4549 -4550 -4551 -4552 -4553 -4554 -4555 -4556 -4557 -4558 -4559 -4560
34.06/34.15	v -4561 -4562 -4563 -4564 -4565 -4566 -4567 -4568 -4569 -4570 -4571 -4572 -4573 -4574 4575 4576 -4577 -4578 -4579 -4580
34.06/34.15	v -4581 -4582 -4583 -4584 -4585 -4586 -4587 -4588 -4589 -4590 -4591 -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599 -4600
34.06/34.15	v -4601 -4602 -4603 -4604 -4605 -4606 -4607 -4608 -4609 -4610 -4611 4612 -4613 -4614 -4615 -4616 -4617 -4618 -4619 -4620
34.06/34.15	v -4621 -4622 -4623 -4624 -4625 -4626 -4627 -4628 4629 4630 -4631 -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640
34.06/34.15	v -4641 -4642 -4643 -4644 -4645 4646 4647 -4648 -4649 -4650 -4651 -4652 -4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660
34.06/34.15	v -4661 -4662 -4663 -4664 -4665 -4666 -4667 -4668 -4669 -4670 -4671 -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680
34.06/34.15	v -4681 -4682 4683 -4684 -4685 -4686 -4687 -4688 -4689 -4690 -4691 -4692 -4693 -4694 -4695 -4696 -4697 -4698 -4699 -4700
34.06/34.15	v 4701 4702 -4703 -4704 -4705 -4706 -4707 -4708 -4709 -4710 -4711 -4712 -4713 -4714 -4715 -4716 -4717 -4718 -4719 -4720
34.06/34.15	v -4721 -4722 -4723 -4724 -4725 -4726 -4727 -4728 -4729 -4730 -4731 -4732 -4733 -4734 4735 -4736 -4737 -4738 -4739 -4740
34.06/34.15	v -4741 -4742 -4743 -4744 -4745 -4746 -4747 -4748 -4749 -4750 -4751 -4752 -4753 -4754 4755 -4756 -4757 -4758 -4759 -4760
34.06/34.15	v -4761 -4762 -4763 -4764 -4765 -4766 -4767 -4768 -4769 -4770 -4771 -4772 4773 4774 -4775 -4776 -4777 -4778 -4779 -4780
34.06/34.15	v -4781 -4782 -4783 -4784 -4785 -4786 -4787 -4788 -4789 -4790 -4791 4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799 -4800
34.06/34.15	v -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808 -4809 4810 -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820
34.06/34.15	v -4821 -4822 -4823 -4824 -4825 -4826 -4827 -4828 -4829 -4830 -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840
34.06/34.15	v -4841 -4842 -4843 -4844 -4845 4846 -4847 -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860
34.06/34.15	v -4861 -4862 4863 4864 -4865 -4866 -4867 -4868 -4869 -4870 -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880
34.06/34.15	v 4881 -4882 -4883 -4884 -4885 -4886 -4887 -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899 -4900
34.06/34.15	v -4901 -4902 -4903 -4904 -4905 -4906 -4907 -4908 -4909 -4910 -4911 -4912 -4913 -4914 -4915 -4916 4917 -4918 -4919 -4920
34.06/34.15	v -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930 -4931 -4932 -4933 -4934 4935 4936 -4937 -4938 -4939 -4940
34.06/34.15	v -4941 -4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951 -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 -4960
34.06/34.15	v -4961 -4962 -4963 -4964 -4965 -4966 -4967 -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980
34.06/34.15	v -4981 -4982 -4983 -4984 -4985 -4986 -4987 -4988 4989 -4990 -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000
34.06/34.15	v -5001 -5002 -5003 -5004 -5005 -5006 5007 5008 -5009 -5010 -5011 -5012 -5013 -5014 -5015 -5016 -5017 -5018 -5019 -5020
34.06/34.15	v -5021 -5022 -5023 -5024 -5025 5026 -5027 -5028 -5029 -5030 -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040
34.06/34.15	v -5041 -5042 -5043 5044 -5045 -5046 -5047 -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055 -5056 -5057 -5058 -5059 -5060
34.06/34.15	v -5061 -5062 -5063 -5064 -5065 -5066 -5067 -5068 -5069 -5070 -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079 -5080
34.06/34.15	v -5081 5082 -5083 -5084 -5085 -5086 -5087 -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 -5099 -5100
34.06/34.15	v -5101 -5102 -5103 -5104 -5105 -5106 -5107 -5108 -5109 -5110 -5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120
34.06/34.15	v -5121 -5122 -5123 -5124 -5125 -5126 -5127 -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135 -5136 -5137 -5138 -5139 -5140
34.06/34.15	v -5141 -5142 -5143 -5144 -5145 -5146 -5147 -5148 -5149 -5150 -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160
34.06/34.15	v -5161 -5162 -5163 -5164 -5165 -5166 -5167 -5168 -5169 -5170 -5171 5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180
34.06/34.15	v -5181 -5182 -5183 -5184 -5185 -5186 -5187 -5188 -5189 -5190 -5191 -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199 -5200
34.06/34.15	v -5201 -5202 -5203 -5204 -5205 -5206 -5207 -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220
34.06/34.15	v -5221 -5222 -5223 -5224 -5225 -5226 -5227 -5228 -5229 -5230 -5231 -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239 -5240
34.06/34.15	v -5241 -5242 -5243 -5244 -5245 -5246 -5247 -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260
34.06/34.15	v -5261 -5262 -5263 -5264 -5265 -5266 -5267 -5268 -5269 -5270 -5271 -5272 -5273 -5274 -5275 -5276 -5277 5278 5279 -5280
34.06/34.15	v -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 -5290 -5291 -5292 -5293 -5294 -5295 -5296 -5297 -5298 -5299 -5300
34.06/34.15	v -5301 -5302 -5303 -5304 -5305 -5306 -5307 -5308 -5309 -5310 -5311 -5312 -5313 -5314 5315 -5316 -5317 -5318 -5319 -5320
34.06/34.15	v -5321 -5322 -5323 -5324 -5325 -5326 -5327 -5328 -5329 -5330 -5331 -5332 -5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340
34.06/34.15	v -5341 -5342 -5343 -5344 -5345 -5346 -5347 -5348 -5349 5350 -5351 -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360
34.06/34.15	v -5361 -5362 -5363 -5364 -5365 -5366 -5367 -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380
34.06/34.15	v -5381 -5382 -5383 -5384 -5385 -5386 -5387 -5388 -5389 -5390 -5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400
34.06/34.15	v -5401 -5402 -5403 -5404 -5405 -5406 -5407 -5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420
34.06/34.15	v -5421 5422 5423 -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439 5440
34.06/34.15	v -5441 -5442 -5443 -5444 -5445 -5446 -5447 -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455 -5456 -5457 5458 -5459 -5460
34.06/34.15	v -5461 -5462 -5463 -5464 -5465 -5466 -5467 -5468 -5469 -5470 -5471 -5472 -5473 -5474 5475 -5476 -5477 -5478 -5479 -5480
34.06/34.15	v -5481 -5482 -5483 -5484 -5485 -5486 -5487 -5488 -5489 -5490 -5491 -5492 -5493 -5494 5495 -5496 -5497 -5498 -5499 -5500
34.06/34.15	v -5501 -5502 -5503 -5504 -5505 -5506 -5507 -5508 -5509 -5510 5511 -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520
34.06/34.15	v -5521 -5522 -5523 -5524 -5525 -5526 -5527 -5528 5529 5530 -5531 -5532 -5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540
34.06/34.15	v -5541 -5542 -5543 -5544 -5545 -5546 -5547 -5548 -5549 5550 -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560
34.06/34.15	v -5561 -5562 -5563 -5564 -5565 -5566 -5567 -5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580
34.06/34.15	v -5581 -5582 5583 -5584 -5585 -5586 -5587 -5588 -5589 -5590 -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600
34.06/34.15	v 5601 5602 5603 -5604 -5605 -5606 -5607 -5608 -5609 -5610 -5611 -5612 -5613 -5614 -5615 -5616 -5617 -5618 -5619 5620
34.06/34.15	v -5621 -5622 -5623 -5624 -5625 -5626 -5627 -5628 -5629 -5630 -5631 -5632 -5633 -5634 -5635 -5636 -5637 5638 -5639 -5640
34.06/34.15	v -5641 -5642 -5643 -5644 -5645 -5646 -5647 -5648 -5649 -5650 -5651 -5652 -5653 -5654 -5655 -5656 -5657 -5658 -5659 -5660
34.06/34.15	v -5661 -5662 -5663 -5664 -5665 -5666 -5667 -5668 -5669 -5670 -5671 -5672 5673 -5674 -5675 -5676 -5677 -5678 -5679 -5680
34.06/34.15	v -5681 -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690 5691 -5692 -5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700
34.06/34.15	v -5701 -5702 -5703 -5704 -5705 -5706 -5707 -5708 -5709 -5710 -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720
34.06/34.15	v -5721 -5722 -5723 -5724 -5725 -5726 -5727 -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 -5740
34.06/34.15	v -5741 -5742 -5743 -5744 5745 -5746 -5747 -5748 -5749 -5750 -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760
34.06/34.15	v -5761 -5762 5763 -5764 -5765 -5766 -5767 -5768 -5769 -5770 -5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780
34.06/34.15	v -5781 -5782 -5783 -5784 -5785 -5786 -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799 -5800
34.06/34.15	v -5801 -5802 -5803 -5804 -5805 -5806 -5807 -5808 -5809 -5810 -5811 -5812 -5813 -5814 -5815 -5816 -5817 -5818 -5819 -5820
34.06/34.15	v -5821 -5822 -5823 -5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831 -5832 -5833 -5834 -5835 -5836 -5837 -5838 -5839 -5840
34.06/34.15	v -5841 -5842 -5843 -5844 -5845 -5846 -5847 -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860
34.06/34.15	v -5861 -5862 -5863 -5864 -5865 -5866 -5867 -5868 -5869 -5870 -5871 -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879 -5880
34.06/34.15	v -5881 -5882 -5883 -5884 -5885 -5886 -5887 -5888 -5889 -5890 -5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900
34.06/34.15	v -5901 -5902 -5903 -5904 -5905 -5906 -5907 -5908 5909 -5910 -5911 -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919 -5920
34.06/34.15	v -5921 -5922 -5923 -5924 -5925 -5926 -5927 -5928 -5929 -5930 -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940
34.06/34.15	v -5941 -5942 -5943 -5944 -5945 -5946 -5947 -5948 -5949 -5950 -5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959 -5960
34.06/34.15	v 5961 -5962 -5963 -5964 -5965 -5966 -5967 -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979 -5980
34.06/34.15	v -5981 -5982 -5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991 -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000
34.06/34.15	v -6001 -6002 -6003 -6004 -6005 -6006 -6007 -6008 -6009 -6010 -6011 -6012 -6013 -6014 6015 -6016 -6017 -6018 -6019 -6020
34.06/34.15	v -6021 -6022 -6023 -6024 -6025 -6026 -6027 -6028 -6029 -6030 -6031 -6032 6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040
34.06/34.15	v -6041 -6042 -6043 -6044 -6045 -6046 -6047 -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055 -6056 -6057 -6058 -6059 -6060
34.06/34.15	v -6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070 -6071 -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080
34.06/34.15	v -6081 -6082 -6083 -6084 -6085 -6086 -6087 -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099 -6100
34.06/34.15	v -6101 -6102 -6103 -6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120
34.06/34.15	v -6121 -6122 6123 -6124 -6125 -6126 -6127 -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135 -6136 -6137 -6138 -6139 -6140
34.06/34.15	v 6141 6142 -6143 -6144 -6145 -6146 -6147 -6148 -6149 -6150 -6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 6160
34.06/34.15	v -6161 -6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175 -6176 -6177 6178 -6179 -6180
34.06/34.15	v -6181 -6182 -6183 -6184 -6185 -6186 -6187 -6188 -6189 -6190 -6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200
34.06/34.15	v -6201 -6202 -6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210 -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220
34.06/34.15	v -6221 -6222 -6223 -6224 -6225 -6226 -6227 -6228 -6229 -6230 -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240
34.06/34.15	v -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255 -6256 -6257 -6258 -6259 -6260
34.06/34.15	v -6261 -6262 -6263 -6264 -6265 -6266 -6267 -6268 -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280
34.06/34.15	v -6281 -6282 -6283 -6284 -6285 -6286 -6287 -6288 -6289 -6290 -6291 -6292 -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300
34.06/34.15	v -6301 -6302 -6303 -6304 -6305 -6306 -6307 -6308 -6309 -6310 -6311 -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319 -6320
34.06/34.15	v -6321 -6322 -6323 -6324 -6325 -6326 -6327 -6328 -6329 -6330 -6331 -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340
34.06/34.15	v -6341 -6342 -6343 -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351 -6352 -6353 -6354 -6355 -6356 6357 -6358 -6359 -6360
34.06/34.15	v -6361 -6362 -6363 -6364 -6365 -6366 -6367 -6368 -6369 -6370 -6371 -6372 -6373 -6374 -6375 -6376 -6377 -6378 -6379 -6380
34.06/34.15	v -6381 -6382 -6383 -6384 -6385 -6386 -6387 -6388 -6389 -6390 -6391 -6392 -6393 -6394 -6395 -6396 -6397 -6398 -6399 -6400
34.06/34.15	v -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408 -6409 -6410 -6411 6412 -6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420
34.06/34.15	v -6421 -6422 -6423 -6424 -6425 -6426 -6427 -6428 -6429 6430 -6431 -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439 -6440
34.06/34.15	v -6441 -6442 -6443 -6444 -6445 -6446 -6447 6448 -6449 -6450 -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460
34.06/34.15	v -6461 -6462 6463 -6464 -6465 -6466 -6467 -6468 -6469 -6470 -6471 -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479 -6480
34.06/34.15	v -6481 -6482 -6483 6484 -6485 -6486 -6487 -6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499 -6500
34.06/34.15	v -6501 -6502 -6503 6504 -6505 -6506 -6507 -6508 -6509 -6510 -6511 -6512 -6513 -6514 -6515 -6516 -6517 -6518 -6519 -6520
34.06/34.15	v 6521 -6522 -6523 -6524 -6525 -6526 -6527 -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535 -6536 -6537 -6538 -6539 -6540
34.06/34.15	v 6541 -6542 -6543 -6544 -6545 -6546 -6547 -6548 -6549 -6550 -6551 -6552 -6553 -6554 -6555 -6556 -6557 6558 -6559 -6560
34.06/34.15	v -6561 -6562 -6563 -6564 -6565 -6566 -6567 -6568 -6569 -6570 6571 -6572 -6573 -6574 -6575 -6576 -6577 -6578 -6579 -6580
34.06/34.15	v -6581 -6582 -6583 -6584 -6585 -6586 -6587 -6588 -6589 -6590 -6591 -6592 -6593 -6594 -6595 -6596 -6597 -6598 6599 -6600
34.06/34.15	v -6601 -6602 -6603 -6604 -6605 -6606 -6607 6608 -6609 -6610 -6611 -6612 -6613 -6614 -6615 -6616 -6617 -6618 -6619 -6620
34.06/34.15	v -6621 -6622 -6623 -6624 -6625 -6626 6627 -6628 -6629 -6630 -6631 -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639 -6640
34.06/34.15	v -6641 -6642 -6643 -6644 -6645 -6646 -6647 -6648 -6649 6650 -6651 -6652 -6653 -6654 -6655 -6656 -6657 -6658 -6659 -6660
34.06/34.15	v -6661 -6662 -6663 -6664 -6665 -6666 -6667 -6668 6669 -6670 -6671 -6672 -6673 -6674 -6675 -6676 -6677 -6678 6679 -6680
34.06/34.15	v -6681 -6682 -6683 -6684 -6685 -6686 -6687 -6688 -6689 -6690 -6691 -6692 -6693 -6694 -6695 -6696 6697 -6698 -6699 -6700
34.06/34.15	v -6701 -6702 -6703 -6704 -6705 -6706 -6707 -6708 -6709 -6710 -6711 -6712 -6713 -6714 -6715 -6716 -6717 -6718 -6719 6720
34.06/34.15	v -6721 -6722 -6723 -6724 -6725 -6726 -6727 -6728 -6729 -6730 -6731 -6732 -6733 -6734 -6735 -6736 -6737 -6738 -6739 -6740
34.06/34.15	v -6741 6742 -6743 -6744 -6745 -6746 -6747 -6748 -6749 -6750 -6751 -6752 -6753 -6754 -6755 6756 -6757 -6758 -6759 -6760
34.06/34.15	v -6761 -6762 -6763 -6764 -6765 -6766 -6767 -6768 -6769 -6770 6771 -6772 -6773 -6774 -6775 -6776 -6777 -6778 -6779 -6780
34.06/34.15	v -6781 -6782 -6783 -6784 -6785 -6786 -6787 6788 -6789 -6790 -6791 -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799 -6800
34.06/34.15	v -6801 -6802 -6803 -6804 6805 -6806 -6807 -6808 -6809 -6810 -6811 -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820
34.06/34.15	v -6821 -6822 6823 -6824 -6825 -6826 -6827 -6828 -6829 -6830 -6831 -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839 -6840
34.06/34.15	v 6841 -6842 -6843 -6844 -6845 -6846 -6847 -6848 -6849 -6850 -6851 -6852 -6853 -6854 -6855 -6856 -6857 -6858 -6859 -6860
34.06/34.15	v 6861 -6862 -6863 -6864 -6865 -6866 -6867 -6868 -6869 -6870 -6871 -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879 -6880
34.06/34.15	v -6881 6882 -6883 -6884 -6885 -6886 -6887 -6888 -6889 -6890 -6891 -6892 -6893 -6894 -6895 -6896 -6897 6898 -6899 -6900
34.06/34.15	v -6901 -6902 -6903 -6904 -6905 -6906 -6907 -6908 -6909 -6910 -6911 -6912 -6913 -6914 6915 -6916 -6917 -6918 -6919 -6920
34.06/34.15	v -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928 -6929 -6930 -6931 6932 -6933 -6934 -6935 -6936 -6937 -6938 -6939 -6940
34.06/34.15	v -6941 -6942 -6943 -6944 -6945 -6946 -6947 -6948 -6949 -6950 -6951 -6952 6953 -6954 -6955 -6956 -6957 -6958 -6959 -6960
34.06/34.15	v -6961 -6962 -6963 -6964 -6965 -6966 -6967 -6968 6969 -6970 -6971 -6972 -6973 -6974 -6975 -6976 -6977 -6978 -6979 -6980
34.06/34.15	v -6981 -6982 -6983 -6984 -6985 -6986 6987 -6988 -6989 -6990 -6991 -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999 -7000
34.06/34.15	v -7001 -7002 -7003 -7004 -7005 -7006 -7007 7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015 -7016 -7017 -7018 -7019 -7020
34.06/34.15	v 7021 -7022 -7023 -7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031 -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039 -7040
34.06/34.15	v 7041 -7042 -7043 -7044 -7045 -7046 -7047 -7048 -7049 -7050 -7051 -7052 -7053 -7054 -7055 -7056 -7057 -7058 7059 -7060
34.06/34.15	v -7061 -7062 -7063 -7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071 -7072 -7073 -7074 -7075 -7076 -7077 7078 -7079 -7080
34.06/34.15	v -7081 -7082 -7083 -7084 -7085 -7086 -7087 -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095 7096 -7097 -7098 -7099 -7100
34.06/34.15	v -7101 -7102 -7103 -7104 -7105 -7106 -7107 -7108 -7109 -7110 7111 -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120
34.06/34.15	v -7121 -7122 -7123 -7124 -7125 -7126 -7127 -7128 -7129 -7130 -7131 7132 -7133 -7134 -7135 -7136 -7137 -7138 -7139 -7140
34.06/34.15	v -7141 -7142 -7143 -7144 -7145 -7146 -7147 -7148 -7149 -7150 -7151 -7152 -7153 -7154 -7155 -7156 7157 -7158 -7159 -7160
34.06/34.15	v -7161 -7162 -7163 -7164 -7165 -7166 -7167 -7168 7169 -7170 -7171 -7172 -7173 -7174 -7175 -7176 -7177 -7178 -7179 -7180
34.06/34.15	v -7181 -7182 -7183 -7184 -7185 -7186 -7187 -7188 7189 -7190 -7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200
34.06/34.15	v -7201 -7202 -7203 -7204 -7205 -7206 -7207 -7208 -7209 7210 -7211 -7212 -7213 -7214 -7215 -7216 -7217 -7218 -7219 7220
34.06/34.15	v -7221 -7222 -7223 -7224 -7225 -7226 -7227 -7228 -7229 -7230 -7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239 -7240
34.06/34.15	v -7241 -7242 -7243 -7244 -7245 -7246 7247 -7248 -7249 -7250 -7251 -7252 -7253 -7254 -7255 -7256 7257 -7258 -7259 -7260
34.06/34.15	v -7261 -7262 -7263 -7264 -7265 -7266 -7267 -7268 -7269 -7270 -7271 -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279 -7280
34.06/34.15	v 7281 -7282 -7283 -7284 -7285 -7286 -7287 -7288 -7289 -7290 -7291 -7292 -7293 -7294 -7295 -7296 -7297 7298 -7299 -7300
34.06/34.15	v -7301 -7302 -7303 -7304 -7305 -7306 -7307 -7308 -7309 -7310 -7311 -7312 -7313 -7314 -7315 -7316 7317 -7318 -7319 -7320
34.06/34.15	v -7321 -7322 -7323 -7324 -7325 -7326 -7327 -7328 -7329 -7330 7331 -7332 -7333 -7334 -7335 -7336 -7337 -7338 -7339 -7340
34.06/34.15	v -7341 -7342 -7343 -7344 -7345 -7346 7347 -7348 -7349 -7350 -7351 -7352 -7353 -7354 -7355 -7356 -7357 -7358 -7359 -7360
34.06/34.15	v -7361 -7362 -7363 -7364 -7365 -7366 -7367 7368 -7369 -7370 -7371 -7372 -7373 -7374 -7375 -7376 -7377 -7378 -7379 -7380
34.06/34.15	v -7381 -7382 -7383 -7384 -7385 -7386 -7387 -7388 -7389 7390 -7391 -7392 -7393 -7394 -7395 -7396 -7397 -7398 -7399 -7400
34.06/34.15	v -7401 -7402 -7403 7404 -7405 -7406 -7407 -7408 -7409 -7410 -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 7419 -7420
34.06/34.15	v -7421 -7422 -7423 -7424 -7425 -7426 -7427 -7428 -7429 -7430 -7431 -7432 -7433 -7434 -7435 -7436 7437 -7438 -7439 -7440
34.06/34.15	v -7441 -7442 -7443 -7444 -7445 -7446 -7447 -7448 -7449 -7450 -7451 -7452 -7453 -7454 -7455 7456 -7457 -7458 -7459 -7460
34.06/34.15	v -7461 -7462 -7463 -7464 -7465 -7466 -7467 -7468 -7469 -7470 -7471 7472 -7473 -7474 -7475 -7476 -7477 -7478 -7479 -7480
34.06/34.15	v -7481 -7482 -7483 -7484 -7485 -7486 -7487 -7488 -7489 -7490 -7491 7492 -7493 -7494 -7495 -7496 -7497 -7498 -7499 -7500
34.06/34.16	v -7501 -7502 -7503 -7504 -7505 -7506 -7507 -7508 -7509 7510 -7511 -7512 -7513 -7514 -7515 -7516 -7517 -7518 -7519 -7520
34.06/34.16	v -7521 -7522 -7523 -7524 -7525 -7526 -7527 -7528 -7529 7530 -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539 -7540
34.06/34.16	v -7541 -7542 -7543 -7544 -7545 -7546 7547 -7548 -7549 -7550 -7551 -7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559 -7560
34.06/34.16	v -7561 -7562 -7563 -7564 -7565 7566 -7567 -7568 -7569 -7570 -7571 -7572 -7573 -7574 -7575 -7576 -7577 -7578 -7579 -7580
34.06/34.16	v 7581 -7582 -7583 -7584 -7585 -7586 -7587 -7588 -7589 -7590 -7591 -7592 -7593 -7594 -7595 -7596 -7597 -7598 -7599 -7600
34.06/34.16	v 7601 -7602 -7603 -7604 -7605 -7606 -7607 -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615 -7616 7617 -7618 -7619 -7620
34.06/34.16	v -7621 -7622 -7623 -7624 -7625 -7626 -7627 -7628 -7629 -7630 -7631 -7632 -7633 -7634 -7635 7636 -7637 -7638 -7639 -7640
34.06/34.16	v -7641 -7642 -7643 -7644 -7645 -7646 -7647 -7648 -7649 -7650 -7651 -7652 -7653 -7654 -7655 7656 -7657 -7658 -7659 -7660
34.06/34.16	v -7661 -7662 -7663 -7664 -7665 -7666 -7667 -7668 7669 -7670 -7671 -7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679 -7680
34.06/34.16	v -7681 -7682 -7683 -7684 -7685 -7686 -7687 -7688 7689 -7690 -7691 -7692 -7693 -7694 -7695 -7696 -7697 -7698 -7699 -7700
34.06/34.16	v -7701 -7702 -7703 -7704 -7705 -7706 -7707 -7708 7709 -7710 -7711 -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720
34.06/34.16	v -7721 -7722 -7723 -7724 -7725 7726 -7727 -7728 -7729 -7730 -7731 -7732 -7733 -7734 -7735 -7736 -7737 -7738 -7739 -7740
34.06/34.16	v -7741 -7742 -7743 7744 -7745 -7746 -7747 -7748 -7749 -7750 -7751 -7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759 -7760
34.06/34.16	v -7761 -7762 -7763 -7764 -7765 -7766 -7767 -7768 -7769 7770 7771 7772 7773 7774 7775 7776 -7777 -7778 -7779 -7780
34.06/34.16	v -7781 -7782 7783 7784 7785 7786 7787 7788 7789 7790 7791 7792 7793 7794 0
34.06/34.16	c TIMER: 34.12 sec total, 0.01 sec since previous report

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450156-1307062783/watcher-3450156-1307062783 -o /tmp/evaluation-result-3450156-1307062783/solver-3450156-1307062783 -C 5000 -W 5100 -M 15500 python portfolio_solver.py -t 5000 -s 1824729102 HOME/instance-3450156-1307062783.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.03 2.05 1.97 2/465 5051
/proc/meminfo: memFree=24205716/32951124 swapFree=41830676/67111528
[pid=5051] ppid=5049 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/5051/stat : 5051 (python) S 5049 5051 4773 0 -1 4202496 732 0 0 0 0 0 0 0 23 0 1 0 817876288 15548416 621 33554432000 4194304 5683644 140735357607728 18446744073709551615 228122712064 0 2147483391 16781312 2 18446744071699207358 0 0 17 3 0 0 0
/proc/5051/statm: 3796 621 322 364 0 283 0

[startup+0.0958589 s]
/proc/loadavg: 2.03 2.05 1.97 2/465 5051
/proc/meminfo: memFree=24205716/32951124 swapFree=41830676/67111528
[pid=5051] ppid=5049 vsize=21892 CPUtime=0.01 cores=1,3,5,7
/proc/5051/stat : 5051 (python) S 5049 5051 4773 0 -1 4202496 1515 0 0 0 1 0 0 0 17 0 1 0 817876288 22417408 1349 33554432000 4194304 5683644 140735357607728 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5051/statm: 5473 1349 443 364 0 928 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21892

[startup+0.10082 s]
/proc/loadavg: 2.03 2.05 1.97 2/465 5051
/proc/meminfo: memFree=24205716/32951124 swapFree=41830676/67111528
[pid=5051] ppid=5049 vsize=21892 CPUtime=0.01 cores=1,3,5,7
/proc/5051/stat : 5051 (python) S 5049 5051 4773 0 -1 4202496 1515 0 0 0 1 0 0 0 17 0 1 0 817876288 22417408 1349 33554432000 4194304 5683644 140735357607728 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5051/statm: 5473 1349 443 364 0 928 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21892

[startup+0.300787 s]
/proc/loadavg: 2.03 2.05 1.97 2/465 5051
/proc/meminfo: memFree=24205716/32951124 swapFree=41830676/67111528
[pid=5051] ppid=5049 vsize=21892 CPUtime=0.01 cores=1,3,5,7
/proc/5051/stat : 5051 (python) S 5049 5051 4773 0 -1 4202496 1515 0 0 0 1 0 0 0 17 0 1 0 817876288 22417408 1349 33554432000 4194304 5683644 140735357607728 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5051/statm: 5473 1349 443 364 0 928 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21892

[startup+0.700711 s]
/proc/loadavg: 2.03 2.05 1.97 2/465 5051
/proc/meminfo: memFree=24205716/32951124 swapFree=41830676/67111528
[pid=5051] ppid=5049 vsize=21892 CPUtime=0.01 cores=1,3,5,7
/proc/5051/stat : 5051 (python) S 5049 5051 4773 0 -1 4202496 1515 0 0 0 1 0 0 0 17 0 1 0 817876288 22417408 1349 33554432000 4194304 5683644 140735357607728 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5051/statm: 5473 1349 443 364 0 928 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21892

[startup+1.50057 s]
/proc/loadavg: 2.03 2.05 1.97 3/467 5053
/proc/meminfo: memFree=24193424/32951124 swapFree=41830676/67111528
[pid=5051] ppid=5049 vsize=21892 CPUtime=0.01 cores=1,3,5,7
/proc/5051/stat : 5051 (python) S 5049 5051 4773 0 -1 4202496 1515 0 0 0 1 0 0 0 17 0 1 0 817876288 22417408 1349 33554432000 4194304 5683644 140735357607728 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5051/statm: 5473 1349 443 364 0 928 0
[pid=5053] ppid=5051 vsize=8364 CPUtime=1.45 cores=1,3,5,7
/proc/5053/stat : 5053 (features) R 5051 5051 4773 0 -1 4202496 2645 0 0 0 141 4 0 0 21 0 1 0 817876292 8564736 1528 33554432000 134512640 135907751 4289189248 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/5053/statm: 2091 1528 111 341 0 1747 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30256

[startup+3.10028 s]
/proc/loadavg: 2.02 2.05 1.97 3/467 5053
/proc/meminfo: memFree=24194180/32951124 swapFree=41830676/67111528
[pid=5051] ppid=5049 vsize=21892 CPUtime=0.01 cores=1,3,5,7
/proc/5051/stat : 5051 (python) S 5049 5051 4773 0 -1 4202496 1515 0 0 0 1 0 0 0 17 0 1 0 817876288 22417408 1349 33554432000 4194304 5683644 140735357607728 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5051/statm: 5473 1349 443 364 0 928 0
[pid=5053] ppid=5051 vsize=14684 CPUtime=3.05 cores=1,3,5,7
/proc/5053/stat : 5053 (features) R 5051 5051 4773 0 -1 4202496 5839 0 0 0 297 8 0 0 25 0 1 0 817876292 15036416 2826 33554432000 134512640 135907751 4289189248 18446744073709551615 134518823 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/5053/statm: 3671 2826 112 341 0 3327 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 36576

[startup+6.30071 s]
/proc/loadavg: 2.02 2.05 1.97 3/467 5053
/proc/meminfo: memFree=24188212/32951124 swapFree=41830676/67111528
[pid=5051] ppid=5049 vsize=21892 CPUtime=0.01 cores=1,3,5,7
/proc/5051/stat : 5051 (python) S 5049 5051 4773 0 -1 4202496 1515 0 0 0 1 0 0 0 17 0 1 0 817876288 22417408 1349 33554432000 4194304 5683644 140735357607728 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5051/statm: 5473 1349 443 364 0 928 0
[pid=5053] ppid=5051 vsize=14684 CPUtime=6.25 cores=1,3,5,7
/proc/5053/stat : 5053 (features) R 5051 5051 4773 0 -1 4202496 5839 0 0 0 617 8 0 0 25 0 1 0 817876292 15036416 2826 33554432000 134512640 135907751 4289189248 18446744073709551615 134518776 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/5053/statm: 3671 2826 112 341 0 3327 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 36576

[startup+12.7005 s]
/proc/loadavg: 2.02 2.04 1.97 3/467 5053
/proc/meminfo: memFree=24187612/32951124 swapFree=41830676/67111528
[pid=5051] ppid=5049 vsize=21892 CPUtime=0.01 cores=1,3,5,7
/proc/5051/stat : 5051 (python) S 5049 5051 4773 0 -1 4202496 1515 0 0 0 1 0 0 0 17 0 1 0 817876288 22417408 1349 33554432000 4194304 5683644 140735357607728 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5051/statm: 5473 1349 443 364 0 928 0
[pid=5053] ppid=5051 vsize=14684 CPUtime=12.65 cores=1,3,5,7
/proc/5053/stat : 5053 (features) R 5051 5051 4773 0 -1 4202496 5839 0 0 0 1257 8 0 0 25 0 1 0 817876292 15036416 2826 33554432000 134512640 135907751 4289189248 18446744073709551615 134518813 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/5053/statm: 3671 2826 112 341 0 3327 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 36576

[startup+25.5012 s]
/proc/loadavg: 2.02 2.04 1.97 3/470 5057
/proc/meminfo: memFree=24156344/32951124 swapFree=41830676/67111528
[pid=5051] ppid=5049 vsize=34392 CPUtime=0.03 cores=1,3,5,7
/proc/5051/stat : 5051 (python) S 5049 5051 4773 0 -1 4202496 2169 0 0 0 2 1 0 0 18 0 1 0 817876288 35217408 1408 33554432000 4194304 5683644 140735357607728 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5051/statm: 8598 1408 468 364 0 932 0
[pid=5053] ppid=5051 vsize=0 CPUtime=13.63 cores=1,3,5,7
/proc/5053/stat : 5053 (features) Z 5051 5051 4773 0 -1 4202524 6340 0 0 0 1355 8 0 0 25 0 1 0 817876292 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/5053/statm: 0 0 0 0 0 0 0
[pid=5054] ppid=5051 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/5054/stat : 5054 (coach) Z 5051 5051 4773 0 -1 4202524 3927 0 0 0 32 0 0 0 18 0 1 0 817877656 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 0
/proc/5054/statm: 0 0 0 0 0 0 0
[pid=5055] ppid=5051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5055/stat : 5055 (timerun) S 5051 5051 4773 0 -1 4202496 754 0 0 0 0 0 0 0 17 0 1 0 817877690 8908800 248 33554432000 4194304 4922060 140735450444080 18446744073709551615 228122532997 0 65536 16781316 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/5055/statm: 2175 248 208 178 0 68 0
[pid=5056] ppid=5055 vsize=57444 CPUtime=11.47 cores=1,3,5,7
/proc/5056/stat : 5056 (cryptominisat) R 5055 5051 4773 0 -1 4202496 19396 0 0 0 1144 3 0 0 25 0 1 0 817877690 58822656 11070 33554432000 134512640 134994940 4292827616 18446744073709551615 4258231 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5056/statm: 14361 11070 359 118 0 13546 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 100536

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

[startup+28.7006 s]
/proc/loadavg: 2.02 2.04 1.97 3/470 5057
/proc/meminfo: memFree=24149752/32951124 swapFree=41830676/67111528
[pid=5051] ppid=5049 vsize=34392 CPUtime=0.03 cores=1,3,5,7
/proc/5051/stat : 5051 (python) S 5049 5051 4773 0 -1 4202496 2170 0 0 0 2 1 0 0 18 0 1 0 817876288 35217408 1408 33554432000 4194304 5683644 140735357607728 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5051/statm: 8598 1408 468 364 0 932 0
[pid=5053] ppid=5051 vsize=0 CPUtime=13.63 cores=1,3,5,7
/proc/5053/stat : 5053 (features) Z 5051 5051 4773 0 -1 4202524 6340 0 0 0 1355 8 0 0 25 0 1 0 817876292 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/5053/statm: 0 0 0 0 0 0 0
[pid=5054] ppid=5051 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/5054/stat : 5054 (coach) Z 5051 5051 4773 0 -1 4202524 3927 0 0 0 32 0 0 0 18 0 1 0 817877656 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 0
/proc/5054/statm: 0 0 0 0 0 0 0
[pid=5055] ppid=5051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5055/stat : 5055 (timerun) S 5051 5051 4773 0 -1 4202496 754 0 0 0 0 0 0 0 17 0 1 0 817877690 8908800 248 33554432000 4194304 4922060 140735450444080 18446744073709551615 228122532997 0 65536 16781316 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/5055/statm: 2175 248 208 178 0 68 0
[pid=5056] ppid=5055 vsize=59424 CPUtime=14.66 cores=1,3,5,7
/proc/5056/stat : 5056 (cryptominisat) R 5055 5051 4773 0 -1 4202496 22638 0 0 0 1463 3 0 0 25 0 1 0 817877690 60850176 11366 33554432000 134512640 134994940 4292827616 18446744073709551615 134642373 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5056/statm: 14856 11366 359 118 0 14041 0
Current children cumulated CPU time (s) 28.64
Current children cumulated vsize (KiB) 102516

[startup+31.9171 s]
/proc/loadavg: 2.01 2.04 1.97 3/470 5057
/proc/meminfo: memFree=24150000/32951124 swapFree=41830676/67111528
[pid=5051] ppid=5049 vsize=34392 CPUtime=0.03 cores=1,3,5,7
/proc/5051/stat : 5051 (python) S 5049 5051 4773 0 -1 4202496 2171 0 0 0 2 1 0 0 18 0 1 0 817876288 35217408 1408 33554432000 4194304 5683644 140735357607728 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5051/statm: 8598 1408 468 364 0 932 0
[pid=5053] ppid=5051 vsize=0 CPUtime=13.63 cores=1,3,5,7
/proc/5053/stat : 5053 (features) Z 5051 5051 4773 0 -1 4202524 6340 0 0 0 1355 8 0 0 25 0 1 0 817876292 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/5053/statm: 0 0 0 0 0 0 0
[pid=5054] ppid=5051 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/5054/stat : 5054 (coach) Z 5051 5051 4773 0 -1 4202524 3927 0 0 0 32 0 0 0 18 0 1 0 817877656 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 0
/proc/5054/statm: 0 0 0 0 0 0 0
[pid=5055] ppid=5051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5055/stat : 5055 (timerun) S 5051 5051 4773 0 -1 4202496 754 0 0 0 0 0 0 0 17 0 1 0 817877690 8908800 248 33554432000 4194304 4922060 140735450444080 18446744073709551615 228122532997 0 65536 16781316 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/5055/statm: 2175 248 208 178 0 68 0
[pid=5056] ppid=5055 vsize=65264 CPUtime=17.88 cores=1,3,5,7
/proc/5056/stat : 5056 (cryptominisat) R 5055 5051 4773 0 -1 4202496 25358 0 0 0 1784 4 0 0 25 0 1 0 817877690 66830336 13706 33554432000 134512640 134994940 4292827616 18446744073709551615 134794157 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5056/statm: 16316 13706 359 118 0 15501 0
Current children cumulated CPU time (s) 31.86
Current children cumulated vsize (KiB) 108356

[startup+33.5008 s]
/proc/loadavg: 2.01 2.04 1.97 3/470 5057
/proc/meminfo: memFree=24142684/32951124 swapFree=41830676/67111528
[pid=5051] ppid=5049 vsize=34392 CPUtime=0.03 cores=1,3,5,7
/proc/5051/stat : 5051 (python) S 5049 5051 4773 0 -1 4202496 2171 0 0 0 2 1 0 0 18 0 1 0 817876288 35217408 1408 33554432000 4194304 5683644 140735357607728 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5051/statm: 8598 1408 468 364 0 932 0
[pid=5053] ppid=5051 vsize=0 CPUtime=13.63 cores=1,3,5,7
/proc/5053/stat : 5053 (features) Z 5051 5051 4773 0 -1 4202524 6340 0 0 0 1355 8 0 0 25 0 1 0 817876292 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/5053/statm: 0 0 0 0 0 0 0
[pid=5054] ppid=5051 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/5054/stat : 5054 (coach) Z 5051 5051 4773 0 -1 4202524 3927 0 0 0 32 0 0 0 18 0 1 0 817877656 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 0
/proc/5054/statm: 0 0 0 0 0 0 0
[pid=5055] ppid=5051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5055/stat : 5055 (timerun) S 5051 5051 4773 0 -1 4202496 754 0 0 0 0 0 0 0 17 0 1 0 817877690 8908800 248 33554432000 4194304 4922060 140735450444080 18446744073709551615 228122532997 0 65536 16781316 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/5055/statm: 2175 248 208 178 0 68 0
[pid=5056] ppid=5055 vsize=67204 CPUtime=19.47 cores=1,3,5,7
/proc/5056/stat : 5056 (cryptominisat) R 5055 5051 4773 0 -1 4202496 26798 0 0 0 1943 4 0 0 25 0 1 0 817877690 68816896 14692 33554432000 134512640 134994940 4292827616 18446744073709551615 134642649 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5056/statm: 16801 14692 359 118 0 15986 0
Current children cumulated CPU time (s) 33.45
Current children cumulated vsize (KiB) 110296

[startup+33.9007 s]
/proc/loadavg: 2.01 2.04 1.97 3/470 5057
/proc/meminfo: memFree=24142684/32951124 swapFree=41830676/67111528
[pid=5051] ppid=5049 vsize=34392 CPUtime=0.03 cores=1,3,5,7
/proc/5051/stat : 5051 (python) S 5049 5051 4773 0 -1 4202496 2171 0 0 0 2 1 0 0 18 0 1 0 817876288 35217408 1408 33554432000 4194304 5683644 140735357607728 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5051/statm: 8598 1408 468 364 0 932 0
[pid=5053] ppid=5051 vsize=0 CPUtime=13.63 cores=1,3,5,7
/proc/5053/stat : 5053 (features) Z 5051 5051 4773 0 -1 4202524 6340 0 0 0 1355 8 0 0 25 0 1 0 817876292 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/5053/statm: 0 0 0 0 0 0 0
[pid=5054] ppid=5051 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/5054/stat : 5054 (coach) Z 5051 5051 4773 0 -1 4202524 3927 0 0 0 32 0 0 0 18 0 1 0 817877656 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 0
/proc/5054/statm: 0 0 0 0 0 0 0
[pid=5055] ppid=5051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5055/stat : 5055 (timerun) S 5051 5051 4773 0 -1 4202496 754 0 0 0 0 0 0 0 17 0 1 0 817877690 8908800 248 33554432000 4194304 4922060 140735450444080 18446744073709551615 228122532997 0 65536 16781316 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/5055/statm: 2175 248 208 178 0 68 0
[pid=5056] ppid=5055 vsize=67204 CPUtime=19.86 cores=1,3,5,7
/proc/5056/stat : 5056 (cryptominisat) R 5055 5051 4773 0 -1 4202496 26895 0 0 0 1982 4 0 0 25 0 1 0 817877690 68816896 14789 33554432000 134512640 134994940 4292827616 18446744073709551615 134642018 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5056/statm: 16801 14789 359 118 0 15986 0
Current children cumulated CPU time (s) 33.84
Current children cumulated vsize (KiB) 110296

[startup+34.1177 s]
/proc/loadavg: 2.01 2.04 1.97 3/470 5057
/proc/meminfo: memFree=24140824/32951124 swapFree=41830676/67111528
[pid=5051] ppid=5049 vsize=34392 CPUtime=0.03 cores=1,3,5,7
/proc/5051/stat : 5051 (python) S 5049 5051 4773 0 -1 4202496 2171 0 0 0 2 1 0 0 18 0 1 0 817876288 35217408 1408 33554432000 4194304 5683644 140735357607728 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/5051/statm: 8598 1408 468 364 0 932 0
[pid=5053] ppid=5051 vsize=0 CPUtime=13.63 cores=1,3,5,7
/proc/5053/stat : 5053 (features) Z 5051 5051 4773 0 -1 4202524 6340 0 0 0 1355 8 0 0 25 0 1 0 817876292 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/5053/statm: 0 0 0 0 0 0 0
[pid=5054] ppid=5051 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/5054/stat : 5054 (coach) Z 5051 5051 4773 0 -1 4202524 3927 0 0 0 32 0 0 0 18 0 1 0 817877656 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 7 0 0 0
/proc/5054/statm: 0 0 0 0 0 0 0
[pid=5055] ppid=5051 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/5055/stat : 5055 (timerun) S 5051 5051 4773 0 -1 4202496 754 0 0 0 0 0 0 0 17 0 1 0 817877690 8908800 248 33554432000 4194304 4922060 140735450444080 18446744073709551615 228122532997 0 65536 16781316 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/5055/statm: 2175 248 208 178 0 68 0
[pid=5056] ppid=5055 vsize=67204 CPUtime=20.08 cores=1,3,5,7
/proc/5056/stat : 5056 (cryptominisat) R 5055 5051 4773 0 -1 4202496 26976 0 0 0 2004 4 0 0 25 0 1 0 817877690 68816896 14870 33554432000 134512640 134994940 4292827616 18446744073709551615 134642829 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5056/statm: 16801 14870 359 118 0 15986 0
Current children cumulated CPU time (s) 34.06
Current children cumulated vsize (KiB) 110296

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5051 and gives
#  childrusage.ru_utime.tv_sec=13
#  childrusage.ru_utime.tv_usec=913884
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=102984
# CPU time returned by wait4() is 14.0169
# while last known CPU time is 34.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 34.1612
CPU time (s): 34.06
CPU user time (s): 33.93
CPU system time (s): 0.13
CPU usage (%): 99.7036
Max. virtual memory (cumulated for all children) (KiB): 126004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.9139
system time used= 0.102984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13202
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= 340
involuntary context switches= 46

runsolver used 0.148977 second user time and 0.366944 second system time

The end

Launcher Data 

Begin job on node138 at 2011-06-03 02:59:43
IDJOB=3450156
IDBENCH=83445
IDSOLVER=1635
FILE ID=node138/3450156-1307062783
RUNJOBID= node138-1307058810-4795
PBS_JOBID= 13497848
Free space on /tmp= 70008 MiB

SOLVER NAME= Coach 2011-03-18
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf
COMMAND LINE= python portfolio_solver.py -t TIMELIMIT -s RANDOMSEED  BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450156-1307062783/watcher-3450156-1307062783 -o /tmp/evaluation-result-3450156-1307062783/solver-3450156-1307062783 -C 5000 -W 5100 -M 15500  python portfolio_solver.py -t 5000 -s 1824729102  HOME/instance-3450156-1307062783.cnf

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

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=1824729102

node138.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24205996 kB
Buffers:        273164 kB
Cached:        4687748 kB
SwapCached:      44568 kB
Active:        3105236 kB
Inactive:      5271876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24205996 kB
SwapTotal:    67111528 kB
SwapFree:     41830676 kB
Dirty:           39156 kB
Writeback:          24 kB
AnonPages:     3382812 kB
Mapped:          18532 kB
Slab:           205604 kB
PageTables:      94116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 131468716 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 69972 MiB
End job on node138 at 2011-06-03 03:00:17