Trace number 3400841

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
CryptoMiniSat Strange-Night-2-mt (fixed)SAT 253.914 11.6976

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 benchmark188.113
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 

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

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-3400841-1306902724/watcher-3400841-1306902724 -o /tmp/evaluation-result-3400841-1306902724/solver-3400841-1306902724 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400841-1306902724.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

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


[startup+0 s]
/proc/loadavg: 25.67 29.33 30.76 1/413 27790
/proc/meminfo: memFree=263467272/264257624 swapFree=67044780/67111528
[pid=27790] ppid=27788 vsize=338000 CPUtime=0.83 cores=0-31
/proc/27790/stat : 27790 (strangenight2-m) R 27788 27790 27585 0 -1 4202496 437 0 0 0 83 0 0 0 25 0 32 0 16238433 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398386 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/27790/statm: 84500 376 297 95 0 79482 0
[pid=27790/tid=27791] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27791/stat : 27791 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398380 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27790/tid=27792] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27792/stat : 27792 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398380 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27790/tid=27793] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27793/stat : 27793 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398386 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=27790/tid=27794] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27794/stat : 27794 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398386 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27790/tid=27795] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27795/stat : 27795 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398386 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27790/tid=27796] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27796/stat : 27796 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398386 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=27790/tid=27797] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27797/stat : 27797 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398386 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=27790/tid=27798] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27798/stat : 27798 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398386 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27790/tid=27799] ppid=27788 vsize=338000 CPUtime=0 cores=0-31
/proc/27790/task/27799/stat : 27799 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27790/tid=27800] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27800/stat : 27800 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398386 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=27790/tid=27801] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27801/stat : 27801 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398386 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27790/tid=27802] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27802/stat : 27802 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398380 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=27790/tid=27803] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27803/stat : 27803 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398380 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=27790/tid=27804] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27804/stat : 27804 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398380 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=27790/tid=27805] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27805/stat : 27805 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398380 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27790/tid=27806] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27806/stat : 27806 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398380 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27790/tid=27807] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27807/stat : 27807 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398386 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27790/tid=27808] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27808/stat : 27808 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398386 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=27790/tid=27809] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27809/stat : 27809 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398384 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=27790/tid=27810] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27810/stat : 27810 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398386 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=27790/tid=27811] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27811/stat : 27811 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398380 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27790/tid=27812] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27812/stat : 27812 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398386 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=27790/tid=27813] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27813/stat : 27813 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398384 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=27790/tid=27814] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27814/stat : 27814 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398386 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27790/tid=27815] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27815/stat : 27815 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398386 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=27790/tid=27816] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27816/stat : 27816 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398380 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=27790/tid=27817] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27817/stat : 27817 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398386 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=27790/tid=27818] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27818/stat : 27818 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398380 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=27790/tid=27819] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27819/stat : 27819 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398380 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=27790/tid=27820] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27820/stat : 27820 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398386 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=27790/tid=27821] ppid=27788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27790/task/27821/stat : 27821 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16238434 346112000 376 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398380 0 0 4096 2 0 0 0 -1 29 0 0 0

[startup+0.104787 s]
/proc/loadavg: 25.67 29.33 30.76 1/413 27790
/proc/meminfo: memFree=263467272/264257624 swapFree=67044780/67111528
[pid=27790] ppid=27788 vsize=732440 CPUtime=2.75 cores=0-31
/proc/27790/stat : 27790 (strangenight2-m) D 27788 27790 27585 0 -1 4202496 7685 0 0 0 214 61 0 0 18 0 32 0 16238433 750018560 7529 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/27790/statm: 183110 7529 330 95 0 178092 0
[pid=27790/tid=27791] ppid=27788 vsize=732440 CPUtime=0.08 cores=0-31
/proc/27790/task/27791/stat : 27791 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 225 0 0 0 7 1 0 0 23 0 32 0 16238434 750018560 7537 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27790/tid=27792] ppid=27788 vsize=732440 CPUtime=0.08 cores=0-31
/proc/27790/task/27792/stat : 27792 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 215 0 0 0 7 1 0 0 23 0 32 0 16238434 750018560 7539 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27790/tid=27793] ppid=27788 vsize=732440 CPUtime=0.08 cores=0-31
/proc/27790/task/27793/stat : 27793 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 225 0 0 0 7 1 0 0 23 0 32 0 16238434 750018560 7548 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=27790/tid=27794] ppid=27788 vsize=732440 CPUtime=0.07 cores=0-31
/proc/27790/task/27794/stat : 27794 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 207 0 0 0 6 1 0 0 23 0 32 0 16238434 750018560 7549 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27790/tid=27795] ppid=27788 vsize=732572 CPUtime=0.08 cores=0-31
/proc/27790/task/27795/stat : 27795 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 210 0 0 0 6 2 0 0 23 0 32 0 16238434 750153728 7585 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27790/tid=27796] ppid=27788 vsize=732572 CPUtime=0.08 cores=0-31
/proc/27790/task/27796/stat : 27796 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 256 0 0 0 6 2 0 0 18 0 32 0 16238434 750153728 7585 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=27790/tid=27797] ppid=27788 vsize=732572 CPUtime=0.07 cores=0-31
/proc/27790/task/27797/stat : 27797 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 224 0 0 0 6 1 0 0 23 0 32 0 16238434 750153728 7585 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=27790/tid=27798] ppid=27788 vsize=732572 CPUtime=0.05 cores=0-31
/proc/27790/task/27798/stat : 27798 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 225 0 0 0 4 1 0 0 18 0 32 0 16238434 750153728 7585 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=27790/tid=27799] ppid=27788 vsize=732572 CPUtime=0.03 cores=0-31
/proc/27790/task/27799/stat : 27799 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 212 0 0 0 2 1 0 0 24 0 32 0 16238434 750153728 7586 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27790/tid=27800] ppid=27788 vsize=732572 CPUtime=0.07 cores=0-31
/proc/27790/task/27800/stat : 27800 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 227 0 0 0 6 1 0 0 18 0 32 0 16238434 750153728 7612 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=27790/tid=27801] ppid=27788 vsize=732572 CPUtime=0.07 cores=0-31
/proc/27790/task/27801/stat : 27801 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 212 0 0 0 6 1 0 0 24 0 32 0 16238434 750153728 7612 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27790/tid=27802] ppid=27788 vsize=732572 CPUtime=0.08 cores=0-31
/proc/27790/task/27802/stat : 27802 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 232 0 0 0 6 2 0 0 24 0 32 0 16238434 750153728 7613 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=27790/tid=27803] ppid=27788 vsize=732572 CPUtime=0.08 cores=0-31
/proc/27790/task/27803/stat : 27803 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 201 0 0 0 6 2 0 0 18 0 32 0 16238434 750153728 7665 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=27790/tid=27804] ppid=27788 vsize=732572 CPUtime=0.08 cores=0-31
/proc/27790/task/27804/stat : 27804 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 271 0 0 0 6 2 0 0 18 0 32 0 16238434 750153728 7665 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=27790/tid=27805] ppid=27788 vsize=732572 CPUtime=0.08 cores=0-31
/proc/27790/task/27805/stat : 27805 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 210 0 0 0 6 2 0 0 25 0 32 0 16238434 750153728 7665 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27790/tid=27806] ppid=27788 vsize=732572 CPUtime=0.07 cores=0-31
/proc/27790/task/27806/stat : 27806 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 247 0 0 0 6 1 0 0 25 0 32 0 16238434 750153728 7722 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27790/tid=27807] ppid=27788 vsize=732572 CPUtime=0.08 cores=0-31
/proc/27790/task/27807/stat : 27807 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 250 0 0 0 6 2 0 0 25 0 32 0 16238434 750153728 7731 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27790/tid=27808] ppid=27788 vsize=732572 CPUtime=0.08 cores=0-31
/proc/27790/task/27808/stat : 27808 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 271 0 0 0 6 2 0 0 18 0 32 0 16238434 750153728 7745 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=27790/tid=27809] ppid=27788 vsize=732572 CPUtime=0.08 cores=0-31
/proc/27790/task/27809/stat : 27809 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 232 0 0 0 6 2 0 0 25 0 32 0 16238434 750153728 7787 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=27790/tid=27810] ppid=27788 vsize=732572 CPUtime=0.07 cores=0-31
/proc/27790/task/27810/stat : 27810 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 256 0 0 0 6 1 0 0 25 0 32 0 16238434 750153728 7787 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=27790/tid=27811] ppid=27788 vsize=732572 CPUtime=0.07 cores=0-31
/proc/27790/task/27811/stat : 27811 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 200 0 0 0 6 1 0 0 18 0 32 0 16238434 750153728 7787 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27790/tid=27812] ppid=27788 vsize=732572 CPUtime=0.07 cores=0-31
/proc/27790/task/27812/stat : 27812 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 252 0 0 0 6 1 0 0 25 0 32 0 16238434 750153728 7787 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=27790/tid=27813] ppid=27788 vsize=732572 CPUtime=0.08 cores=0-31
/proc/27790/task/27813/stat : 27813 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 216 0 0 0 6 2 0 0 25 0 32 0 16238434 750153728 7787 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=27790/tid=27814] ppid=27788 vsize=732572 CPUtime=0.08 cores=0-31
/proc/27790/task/27814/stat : 27814 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 251 0 0 0 6 2 0 0 18 0 32 0 16238434 750153728 7787 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27790/tid=27815] ppid=27788 vsize=732572 CPUtime=0.08 cores=0-31
/proc/27790/task/27815/stat : 27815 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 260 0 0 0 6 2 0 0 25 0 32 0 16238434 750153728 7787 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=27790/tid=27816] ppid=27788 vsize=732572 CPUtime=0.08 cores=0-31
/proc/27790/task/27816/stat : 27816 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 204 0 0 0 6 2 0 0 18 0 32 0 16238434 750153728 7787 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=27790/tid=27817] ppid=27788 vsize=732572 CPUtime=0.07 cores=0-31
/proc/27790/task/27817/stat : 27817 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 211 0 0 0 6 1 0 0 18 0 32 0 16238434 750153728 7787 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=27790/tid=27818] ppid=27788 vsize=732572 CPUtime=0.08 cores=0-31
/proc/27790/task/27818/stat : 27818 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 279 0 0 0 6 2 0 0 18 0 32 0 16238434 750153728 7787 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=27790/tid=27819] ppid=27788 vsize=732572 CPUtime=0.07 cores=0-31
/proc/27790/task/27819/stat : 27819 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 202 0 0 0 6 1 0 0 25 0 32 0 16238434 750153728 7787 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=27790/tid=27820] ppid=27788 vsize=732572 CPUtime=0.07 cores=0-31
/proc/27790/task/27820/stat : 27820 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 204 0 0 0 6 1 0 0 18 0 32 0 16238434 750153728 7787 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=27790/tid=27821] ppid=27788 vsize=732572 CPUtime=0.08 cores=0-31
/proc/27790/task/27821/stat : 27821 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 282 0 0 0 6 2 0 0 18 0 32 0 16238434 750153728 7787 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 732440

[startup+0.205571 s]
/proc/loadavg: 25.67 29.33 30.76 1/413 27790
/proc/meminfo: memFree=263467272/264257624 swapFree=67044780/67111528
[pid=27790] ppid=27788 vsize=1514104 CPUtime=4.29 cores=0-31
/proc/27790/stat : 27790 (strangenight2-m) R 27788 27790 27585 0 -1 4202496 19452 0 0 0 277 152 0 0 17 0 32 0 16238433 1550442496 19263 268435456000 4194304 4580107 140736045013184 18446744073709551615 4306901 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/27790/statm: 378526 19273 335 95 0 373508 0
[pid=27790/tid=27791] ppid=27788 vsize=1514104 CPUtime=0.12 cores=0-31
/proc/27790/task/27791/stat : 27791 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 515 0 0 0 9 3 0 0 17 0 32 0 16238434 1550442496 19334 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27790/tid=27792] ppid=27788 vsize=1514244 CPUtime=0.13 cores=0-31
/proc/27790/task/27792/stat : 27792 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 900 0 0 0 9 4 0 0 17 0 32 0 16238434 1550585856 19349 268435456000 4194304 4580107 140736045013184 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27790/tid=27793] ppid=27788 vsize=1514244 CPUtime=0.13 cores=0-31
/proc/27790/task/27793/stat : 27793 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 581 0 0 0 9 4 0 0 17 0 32 0 16238434 1550585856 19355 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=27790/tid=27794] ppid=27788 vsize=1514244 CPUtime=0.13 cores=0-31
/proc/27790/task/27794/stat : 27794 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 591 0 0 0 9 4 0 0 17 0 32 0 16238434 1550585856 19363 268435456000 4194304 4580107 140736045013184 18446744073709551615 258651060958 0 0 4096 2 18446744071566927344 0 0 -1 0 0 0 0
[pid=27790/tid=27795] ppid=27788 vsize=1514244 CPUtime=0.12 cores=0-31
/proc/27790/task/27795/stat : 27795 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 583 0 0 0 8 4 0 0 17 0 32 0 16238434 1550585856 19367 268435456000 4194304 4580107 140736045013184 18446744073709551615 258651060958 0 0 4096 2 18446604575301656032 0 0 -1 24 0 0 0
[pid=27790/tid=27796] ppid=27788 vsize=1514244 CPUtime=0.13 cores=0-31
/proc/27790/task/27796/stat : 27796 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 600 0 0 0 8 5 0 0 17 0 32 0 16238434 1550585856 19408 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=27790/tid=27797] ppid=27788 vsize=1514244 CPUtime=0.13 cores=0-31
/proc/27790/task/27797/stat : 27797 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 587 0 0 0 8 5 0 0 17 0 32 0 16238434 1550585856 19409 268435456000 4194304 4580107 140736045013184 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=27790/tid=27798] ppid=27788 vsize=1514244 CPUtime=0.11 cores=0-31
/proc/27790/task/27798/stat : 27798 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 556 0 0 0 7 4 0 0 17 0 32 0 16238434 1550585856 19415 268435456000 4194304 4580107 140736045013184 18446744073709551615 258651060958 0 0 4096 2 18446604642044403168 0 0 -1 31 0 0 0
[pid=27790/tid=27799] ppid=27788 vsize=1514244 CPUtime=0.07 cores=0-31
/proc/27790/task/27799/stat : 27799 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 545 0 0 0 3 4 0 0 17 0 32 0 16238434 1550585856 19461 268435456000 4194304 4580107 140736045013184 18446744073709551615 4355016 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27790/tid=27800] ppid=27788 vsize=1514244 CPUtime=0.12 cores=0-31
/proc/27790/task/27800/stat : 27800 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 577 0 0 0 7 5 0 0 17 0 32 0 16238434 1550585856 19488 268435456000 4194304 4580107 140736045013184 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=27790/tid=27801] ppid=27788 vsize=1514244 CPUtime=0.12 cores=0-31
/proc/27790/task/27801/stat : 27801 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 528 0 0 0 8 4 0 0 17 0 32 0 16238434 1550585856 19497 268435456000 4194304 4580107 140736045013184 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27790/tid=27802] ppid=27788 vsize=1514244 CPUtime=0.13 cores=0-31
/proc/27790/task/27802/stat : 27802 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 669 0 0 0 8 5 0 0 17 0 32 0 16238434 1550585856 19502 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=27790/tid=27803] ppid=27788 vsize=1514244 CPUtime=0.11 cores=0-31
/proc/27790/task/27803/stat : 27803 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 579 0 0 0 7 4 0 0 17 0 32 0 16238434 1550585856 19507 268435456000 4194304 4580107 140736045013184 18446744073709551615 258651060958 0 0 4096 2 18446744071566932584 0 0 -1 30 0 0 0
[pid=27790/tid=27804] ppid=27788 vsize=1514244 CPUtime=0.13 cores=0-31
/proc/27790/task/27804/stat : 27804 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 691 0 0 0 9 4 0 0 17 0 32 0 16238434 1550585856 19513 268435456000 4194304 4580107 140736045013184 18446744073709551615 258651060958 0 0 4096 2 18446744071566931384 0 0 -1 26 0 0 0
[pid=27790/tid=27805] ppid=27788 vsize=1514244 CPUtime=0.13 cores=0-31
/proc/27790/task/27805/stat : 27805 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 588 0 0 0 8 5 0 0 17 0 32 0 16238434 1550585856 19521 268435456000 4194304 4580107 140736045013184 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27790/tid=27806] ppid=27788 vsize=1514244 CPUtime=0.12 cores=0-31
/proc/27790/task/27806/stat : 27806 (strangenight2-m) D 27788 27790 27585 0 -1 4202560 608 0 0 0 8 4 0 0 17 0 32 0 16238434 1550585856 19525 268435456000 4194304 4580107 140736045013184 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27790/tid=27807] ppid=27788 vsize=1514244 CPUtime=0.13 cores=0-31

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

/proc/27790/task/27814/stat : 27814 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 14499 0 0 0 668 46 0 0 25 0 32 0 16238434 3196649472 335873 268435456000 4194304 4580107 140736045013184 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27790/tid=27815] ppid=27788 vsize=3121728 CPUtime=6.41 cores=0-31
/proc/27790/task/27815/stat : 27815 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 12551 0 0 0 610 31 0 0 22 0 32 0 16238434 3196649472 335873 268435456000 4194304 4580107 140736045013184 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=27790/tid=27816] ppid=27788 vsize=3121728 CPUtime=7.33 cores=0-31
/proc/27790/task/27816/stat : 27816 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 14176 0 0 0 690 43 0 0 25 0 32 0 16238434 3196649472 335874 268435456000 4194304 4580107 140736045013184 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27790/tid=27817] ppid=27788 vsize=3121728 CPUtime=6.65 cores=0-31
/proc/27790/task/27817/stat : 27817 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 16588 0 0 0 613 52 0 0 22 0 32 0 16238434 3196649472 335874 268435456000 4194304 4580107 140736045013184 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=27790/tid=27818] ppid=27788 vsize=3121728 CPUtime=7.26 cores=0-31
/proc/27790/task/27818/stat : 27818 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 14731 0 0 0 682 44 0 0 25 0 32 0 16238434 3196649472 335874 268435456000 4194304 4580107 140736045013184 18446744073709551615 4306352 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=27790/tid=27819] ppid=27788 vsize=3121728 CPUtime=7.23 cores=0-31
/proc/27790/task/27819/stat : 27819 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 14503 0 0 0 674 49 0 0 25 0 32 0 16238434 3196649472 335874 268435456000 4194304 4580107 140736045013184 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=27790/tid=27820] ppid=27788 vsize=3121728 CPUtime=7.16 cores=0-31
/proc/27790/task/27820/stat : 27820 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 14328 0 0 0 668 48 0 0 25 0 32 0 16238434 3196649472 335874 268435456000 4194304 4580107 140736045013184 18446744073709551615 4321248 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=27790/tid=27821] ppid=27788 vsize=3121728 CPUtime=7.05 cores=0-31
/proc/27790/task/27821/stat : 27821 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 8115 0 0 0 682 23 0 0 22 0 32 0 16238434 3196649472 335874 268435456000 4194304 4580107 140736045013184 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 222.54
Current children cumulated vsize (KiB) 3121728

[startup+10.4018 s]
/proc/loadavg: 26.28 29.33 30.74 33/445 27824
/proc/meminfo: memFree=262100336/264257624 swapFree=67044780/67111528
[pid=27790] ppid=27788 vsize=3122208 CPUtime=248.11 cores=0-31
/proc/27790/stat : 27790 (strangenight2-m) R 27788 27790 27585 0 -1 4202496 463795 0 0 0 23467 1344 0 0 25 0 32 0 16238433 3197140992 345181 268435456000 4194304 4580107 140736045013184 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/27790/statm: 780552 345181 378 95 0 775534 0
[pid=27790/tid=27791] ppid=27788 vsize=3122208 CPUtime=7.29 cores=0-31
/proc/27790/task/27791/stat : 27791 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 14379 0 0 0 691 38 0 0 25 0 32 0 16238434 3197140992 345181 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397977 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=27790/tid=27792] ppid=27788 vsize=3122208 CPUtime=8.62 cores=0-31
/proc/27790/task/27792/stat : 27792 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 15606 0 0 0 828 34 0 0 25 0 32 0 16238434 3197140992 345181 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182373572 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27790/tid=27793] ppid=27788 vsize=3122208 CPUtime=7.74 cores=0-31
/proc/27790/task/27793/stat : 27793 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 13554 0 0 0 728 46 0 0 25 0 32 0 16238434 3197140992 345181 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397971 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=27790/tid=27794] ppid=27788 vsize=3122208 CPUtime=7.32 cores=0-31
/proc/27790/task/27794/stat : 27794 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 15145 0 0 0 690 42 0 0 18 0 32 0 16238434 3197140992 345181 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397977 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=27790/tid=27795] ppid=27788 vsize=3122208 CPUtime=8.23 cores=0-31
/proc/27790/task/27795/stat : 27795 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 14569 0 0 0 778 45 0 0 25 0 32 0 16238434 3197140992 345181 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397971 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27790/tid=27796] ppid=27788 vsize=3122208 CPUtime=7.18 cores=0-31
/proc/27790/task/27796/stat : 27796 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 13470 0 0 0 686 32 0 0 25 0 32 0 16238434 3197140992 345181 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397981 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=27790/tid=27797] ppid=27788 vsize=3122208 CPUtime=7.19 cores=0-31
/proc/27790/task/27797/stat : 27797 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 13248 0 0 0 681 38 0 0 25 0 32 0 16238434 3197140992 345181 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397977 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=27790/tid=27798] ppid=27788 vsize=3122208 CPUtime=7.21 cores=0-31
/proc/27790/task/27798/stat : 27798 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 14872 0 0 0 684 37 0 0 25 0 32 0 16238434 3197140992 345181 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397977 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=27790/tid=27799] ppid=27788 vsize=3122208 CPUtime=7.23 cores=0-31
/proc/27790/task/27799/stat : 27799 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 15240 0 0 0 688 35 0 0 25 0 32 0 16238434 3197140992 345181 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397977 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27790/tid=27800] ppid=27788 vsize=3122208 CPUtime=7.77 cores=0-31
/proc/27790/task/27800/stat : 27800 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 14129 0 0 0 734 43 0 0 25 0 32 0 16238434 3197140992 345181 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397971 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=27790/tid=27801] ppid=27788 vsize=3122208 CPUtime=7.72 cores=0-31
/proc/27790/task/27801/stat : 27801 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 15419 0 0 0 728 44 0 0 25 0 32 0 16238434 3197140992 345181 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397971 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=27790/tid=27802] ppid=27788 vsize=3122208 CPUtime=8.75 cores=0-31
/proc/27790/task/27802/stat : 27802 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 14774 0 0 0 841 34 0 0 25 0 32 0 16238434 3197140992 345181 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397977 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27790/tid=27803] ppid=27788 vsize=3122208 CPUtime=8.08 cores=0-31
/proc/27790/task/27803/stat : 27803 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 14673 0 0 0 761 47 0 0 25 0 32 0 16238434 3197140992 345181 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397971 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27790/tid=27804] ppid=27788 vsize=3122208 CPUtime=8.21 cores=0-31
/proc/27790/task/27804/stat : 27804 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 15250 0 0 0 780 41 0 0 25 0 32 0 16238434 3197140992 345181 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397977 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27790/tid=27805] ppid=27788 vsize=3122208 CPUtime=7.84 cores=0-31
/proc/27790/task/27805/stat : 27805 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 14662 0 0 0 735 49 0 0 25 0 32 0 16238434 3197140992 345181 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397968 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=27790/tid=27806] ppid=27788 vsize=3122208 CPUtime=7.5 cores=0-31
/proc/27790/task/27806/stat : 27806 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 16023 0 0 0 707 43 0 0 25 0 32 0 16238434 3197140992 345181 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397977 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27790/tid=27807] ppid=27788 vsize=3122208 CPUtime=7.97 cores=0-31
/proc/27790/task/27807/stat : 27807 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 14572 0 0 0 751 46 0 0 18 0 32 0 16238434 3197140992 345181 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397977 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=27790/tid=27808] ppid=27788 vsize=3122208 CPUtime=7.24 cores=0-31
/proc/27790/task/27808/stat : 27808 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 14497 0 0 0 688 36 0 0 25 0 32 0 16238434 3197140992 345182 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397981 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=27790/tid=27809] ppid=27788 vsize=3122208 CPUtime=7.76 cores=0-31
/proc/27790/task/27809/stat : 27809 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 15770 0 0 0 731 45 0 0 25 0 32 0 16238434 3197140992 345182 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397968 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27790/tid=27810] ppid=27788 vsize=3122208 CPUtime=7.77 cores=0-31
/proc/27790/task/27810/stat : 27810 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 14121 0 0 0 732 45 0 0 25 0 32 0 16238434 3197140992 345182 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397977 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=27790/tid=27811] ppid=27788 vsize=3122208 CPUtime=7.15 cores=0-31
/proc/27790/task/27811/stat : 27811 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 13333 0 0 0 684 31 0 0 25 0 32 0 16238434 3197140992 345182 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397977 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=27790/tid=27812] ppid=27788 vsize=3122208 CPUtime=7.9 cores=0-31
/proc/27790/task/27812/stat : 27812 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 14654 0 0 0 742 48 0 0 25 0 32 0 16238434 3197140992 345182 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397977 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=27790/tid=27813] ppid=27788 vsize=3122208 CPUtime=7.37 cores=0-31
/proc/27790/task/27813/stat : 27813 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 15436 0 0 0 697 40 0 0 25 0 32 0 16238434 3197140992 345183 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397977 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=27790/tid=27814] ppid=27788 vsize=3122208 CPUtime=7.94 cores=0-31
/proc/27790/task/27814/stat : 27814 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 14736 0 0 0 748 46 0 0 25 0 32 0 16238434 3197140992 345183 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397977 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27790/tid=27815] ppid=27788 vsize=3122208 CPUtime=7.21 cores=0-31
/proc/27790/task/27815/stat : 27815 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 12842 0 0 0 689 32 0 0 25 0 32 0 16238434 3197140992 345183 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397977 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=27790/tid=27816] ppid=27788 vsize=3122208 CPUtime=8.13 cores=0-31
/proc/27790/task/27816/stat : 27816 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 14375 0 0 0 770 43 0 0 25 0 32 0 16238434 3197140992 345183 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397977 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27790/tid=27817] ppid=27788 vsize=3122208 CPUtime=7.45 cores=0-31
/proc/27790/task/27817/stat : 27817 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 16879 0 0 0 693 52 0 0 25 0 32 0 16238434 3197140992 345183 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397977 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=27790/tid=27818] ppid=27788 vsize=3122208 CPUtime=8.06 cores=0-31
/proc/27790/task/27818/stat : 27818 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 14954 0 0 0 762 44 0 0 18 0 32 0 16238434 3197140992 345183 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397975 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=27790/tid=27819] ppid=27788 vsize=3122208 CPUtime=8.04 cores=0-31
/proc/27790/task/27819/stat : 27819 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 14702 0 0 0 754 50 0 0 18 0 32 0 16238434 3197140992 345183 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397977 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=27790/tid=27820] ppid=27788 vsize=3122208 CPUtime=7.96 cores=0-31
/proc/27790/task/27820/stat : 27820 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 14551 0 0 0 748 48 0 0 25 0 32 0 16238434 3197140992 345183 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397977 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=27790/tid=27821] ppid=27788 vsize=3122208 CPUtime=7.85 cores=0-31
/proc/27790/task/27821/stat : 27821 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 8385 0 0 0 762 23 0 0 18 0 32 0 16238434 3197140992 345183 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182397977 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 248.11
Current children cumulated vsize (KiB) 3122208

[startup+11.203 s]
/proc/loadavg: 26.28 29.33 30.74 3/445 27824
/proc/meminfo: memFree=262070452/264257624 swapFree=67044780/67111528
[pid=27790] ppid=27788 vsize=3187744 CPUtime=252.99 cores=0-31
/proc/27790/stat : 27790 (strangenight2-m) R 27788 27790 27585 0 -1 4202496 465327 0 0 0 23954 1345 0 0 25 0 32 0 16238433 3264249856 346287 268435456000 4194304 4580107 140736045013184 18446744073709551615 258650616986 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/27790/statm: 796936 346287 378 95 0 791918 0
[pid=27790/tid=27791] ppid=27788 vsize=3187744 CPUtime=7.4 cores=0-31
/proc/27790/task/27791/stat : 27791 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 14379 0 0 0 702 38 0 0 25 0 32 0 16238434 3264249856 346288 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604593757281760 0 0 -1 30 0 0 0
[pid=27790/tid=27792] ppid=27788 vsize=3187744 CPUtime=9.42 cores=0-31
/proc/27790/task/27792/stat : 27792 (strangenight2-m) R 27788 27790 27585 0 -1 4202560 15606 0 0 0 908 34 0 0 25 0 32 0 16238434 3264249856 346289 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182373568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27790/tid=27793] ppid=27788 vsize=3187744 CPUtime=7.85 cores=0-31
/proc/27790/task/27793/stat : 27793 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 13554 0 0 0 739 46 0 0 25 0 32 0 16238434 3264249856 346289 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604631504518624 0 0 -1 21 0 0 0
[pid=27790/tid=27794] ppid=27788 vsize=3187744 CPUtime=7.43 cores=0-31
/proc/27790/task/27794/stat : 27794 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 15145 0 0 0 701 42 0 0 18 0 32 0 16238434 3264249856 346289 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446744071566933184 0 0 -1 27 0 0 0
[pid=27790/tid=27795] ppid=27788 vsize=3187744 CPUtime=8.34 cores=0-31
/proc/27790/task/27795/stat : 27795 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 14569 0 0 0 789 45 0 0 25 0 32 0 16238434 3264249856 346290 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604644022713824 0 0 -1 2 0 0 0
[pid=27790/tid=27796] ppid=27788 vsize=3187744 CPUtime=7.29 cores=0-31
/proc/27790/task/27796/stat : 27796 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 13470 0 0 0 697 32 0 0 25 0 32 0 16238434 3264249856 346290 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604605800218080 0 0 -1 18 0 0 0
[pid=27790/tid=27797] ppid=27788 vsize=3187744 CPUtime=7.3 cores=0-31
/proc/27790/task/27797/stat : 27797 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 13248 0 0 0 692 38 0 0 25 0 32 0 16238434 3264249856 346291 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604504258469344 0 0 -1 28 0 0 0
[pid=27790/tid=27798] ppid=27788 vsize=3187744 CPUtime=7.32 cores=0-31
/proc/27790/task/27798/stat : 27798 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 14872 0 0 0 695 37 0 0 25 0 32 0 16238434 3264249856 346291 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604622189936096 0 0 -1 11 0 0 0
[pid=27790/tid=27799] ppid=27788 vsize=3187744 CPUtime=7.34 cores=0-31
/proc/27790/task/27799/stat : 27799 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 15240 0 0 0 699 35 0 0 25 0 32 0 16238434 3264249856 346291 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604493778828768 0 0 -1 6 0 0 0
[pid=27790/tid=27800] ppid=27788 vsize=3187744 CPUtime=7.88 cores=0-31
/proc/27790/task/27800/stat : 27800 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 14129 0 0 0 745 43 0 0 25 0 32 0 16238434 3264249856 346292 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604633930112480 0 0 -1 26 0 0 0
[pid=27790/tid=27801] ppid=27788 vsize=3187744 CPUtime=7.83 cores=0-31
/proc/27790/task/27801/stat : 27801 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 15419 0 0 0 739 44 0 0 25 0 32 0 16238434 3264249856 346293 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604628269342176 0 0 -1 16 0 0 0
[pid=27790/tid=27802] ppid=27788 vsize=3187744 CPUtime=8.86 cores=0-31
/proc/27790/task/27802/stat : 27802 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 14774 0 0 0 852 34 0 0 25 0 32 0 16238434 3264249856 346294 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604476655410656 0 0 -1 14 0 0 0
[pid=27790/tid=27803] ppid=27788 vsize=3187744 CPUtime=8.19 cores=0-31
/proc/27790/task/27803/stat : 27803 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 14673 0 0 0 772 47 0 0 25 0 32 0 16238434 3264249856 346294 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604626088213984 0 0 -1 7 0 0 0
[pid=27790/tid=27804] ppid=27788 vsize=3187744 CPUtime=8.32 cores=0-31
/proc/27790/task/27804/stat : 27804 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 15250 0 0 0 791 41 0 0 25 0 32 0 16238434 3264249856 346294 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604591829499360 0 0 -1 1 0 0 0
[pid=27790/tid=27805] ppid=27788 vsize=3187744 CPUtime=7.95 cores=0-31
/proc/27790/task/27805/stat : 27805 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 14662 0 0 0 746 49 0 0 25 0 32 0 16238434 3264249856 346294 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604642882371040 0 0 -1 19 0 0 0
[pid=27790/tid=27806] ppid=27788 vsize=3187744 CPUtime=7.61 cores=0-31
/proc/27790/task/27806/stat : 27806 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 16023 0 0 0 718 43 0 0 25 0 32 0 16238434 3264249856 346295 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604643378806240 0 0 -1 5 0 0 0
[pid=27790/tid=27807] ppid=27788 vsize=3187744 CPUtime=8.08 cores=0-31
/proc/27790/task/27807/stat : 27807 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 14572 0 0 0 762 46 0 0 18 0 32 0 16238434 3264249856 346295 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604451824434656 0 0 -1 31 0 0 0
[pid=27790/tid=27808] ppid=27788 vsize=3187744 CPUtime=7.35 cores=0-31
/proc/27790/task/27808/stat : 27808 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 14497 0 0 0 699 36 0 0 25 0 32 0 16238434 3264249856 346296 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604625448099296 0 0 -1 8 0 0 0
[pid=27790/tid=27809] ppid=27788 vsize=3187744 CPUtime=7.87 cores=0-31
/proc/27790/task/27809/stat : 27809 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 15770 0 0 0 742 45 0 0 25 0 32 0 16238434 3264249856 346296 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604639563931104 0 0 -1 15 0 0 0
[pid=27790/tid=27810] ppid=27788 vsize=3187744 CPUtime=7.88 cores=0-31
/proc/27790/task/27810/stat : 27810 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 14121 0 0 0 743 45 0 0 25 0 32 0 16238434 3264249856 346296 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604599158808032 0 0 -1 13 0 0 0
[pid=27790/tid=27811] ppid=27788 vsize=3187744 CPUtime=7.26 cores=0-31
/proc/27790/task/27811/stat : 27811 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 13333 0 0 0 695 31 0 0 25 0 32 0 16238434 3264249856 346298 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604473246146016 0 0 -1 20 0 0 0
[pid=27790/tid=27812] ppid=27788 vsize=3187744 CPUtime=8.01 cores=0-31
/proc/27790/task/27812/stat : 27812 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 14654 0 0 0 753 48 0 0 25 0 32 0 16238434 3264249856 346298 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604447849291232 0 0 -1 29 0 0 0
[pid=27790/tid=27813] ppid=27788 vsize=3187744 CPUtime=7.48 cores=0-31
/proc/27790/task/27813/stat : 27813 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 15436 0 0 0 708 40 0 0 25 0 32 0 16238434 3264249856 346298 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604623149800928 0 0 -1 10 0 0 0
[pid=27790/tid=27814] ppid=27788 vsize=3187744 CPUtime=8.05 cores=0-31
/proc/27790/task/27814/stat : 27814 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 14736 0 0 0 759 46 0 0 25 0 32 0 16238434 3264249856 346299 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604596113440224 0 0 -1 4 0 0 0
[pid=27790/tid=27815] ppid=27788 vsize=3187744 CPUtime=7.32 cores=0-31
/proc/27790/task/27815/stat : 27815 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 12842 0 0 0 700 32 0 0 25 0 32 0 16238434 3264249856 346299 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604588001246688 0 0 -1 9 0 0 0
[pid=27790/tid=27816] ppid=27788 vsize=3187744 CPUtime=8.24 cores=0-31
/proc/27790/task/27816/stat : 27816 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 14375 0 0 0 781 43 0 0 25 0 32 0 16238434 3264249856 346299 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604635097423328 0 0 -1 24 0 0 0
[pid=27790/tid=27817] ppid=27788 vsize=3187744 CPUtime=7.56 cores=0-31
/proc/27790/task/27817/stat : 27817 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 16879 0 0 0 704 52 0 0 25 0 32 0 16238434 3264249856 346299 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604589901856224 0 0 -1 23 0 0 0
[pid=27790/tid=27818] ppid=27788 vsize=3187744 CPUtime=8.17 cores=0-31
/proc/27790/task/27818/stat : 27818 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 14954 0 0 0 773 44 0 0 18 0 32 0 16238434 3264249856 346300 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604592565403104 0 0 -1 25 0 0 0
[pid=27790/tid=27819] ppid=27788 vsize=3187744 CPUtime=8.15 cores=0-31
/proc/27790/task/27819/stat : 27819 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 14702 0 0 0 765 50 0 0 18 0 32 0 16238434 3264249856 346301 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604644020133344 0 0 -1 17 0 0 0
[pid=27790/tid=27820] ppid=27788 vsize=3187744 CPUtime=8.07 cores=0-31
/proc/27790/task/27820/stat : 27820 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 14551 0 0 0 759 48 0 0 25 0 32 0 16238434 3264249856 346302 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604615023869408 0 0 -1 12 0 0 0
[pid=27790/tid=27821] ppid=27788 vsize=3187744 CPUtime=7.95 cores=0-31
/proc/27790/task/27821/stat : 27821 (strangenight2-m) S 27788 27790 27585 0 -1 4202560 8385 0 0 0 772 23 0 0 18 0 32 0 16238434 3264249856 346302 268435456000 4194304 4580107 140736045013184 18446744073709551615 47209182398004 0 0 4096 2 18446604642108071392 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 252.99
Current children cumulated vsize (KiB) 3187744

[startup+11.603 s]
/proc/loadavg: 26.28 29.33 30.74 3/445 27824
/proc/meminfo: memFree=262070452/264257624 swapFree=67044780/67111528
[pid=27790] ppid=27788 vsize=0 CPUtime=253.81 cores=0-31
/proc/27790/stat : 27790 (strangenight2-m) Z 27788 27790 27585 0 -1 4203548 466473 0 0 0 24031 1350 0 0 25 0 2 0 16238433 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 22 0 0 0
/proc/27790/statm: 0 0 0 0 0 0 0
[pid=27790/tid=27800] ppid=27788 vsize=0 CPUtime=7.9 cores=0-31
/proc/27790/task/27800/stat : 27800 (strangenight2-m) R 27788 27790 27585 0 -1 4203588 14129 0 0 0 745 45 0 0 18 0 2 0 16238434 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 253.81
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 11.6976
CPU time (s): 253.914
CPU user time (s): 240.31
CPU system time (s): 13.6039
CPU usage (%): 2170.66
Max. virtual memory (cumulated for all children) (KiB): 3187744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 240.31
system time used= 13.6039
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466473
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= 446780
involuntary context switches= 7003

runsolver used 0.120981 second user time and 0.377942 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-01 06:32:05
IDJOB=3400841
IDBENCH=83445
IDSOLVER=1886
FILE ID=node200/3400841-1306902724
RUNJOBID= node200-1306902580-27599
PBS_JOBID= 13471403
Free space on /tmp= 61576 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400841-1306902724/watcher-3400841-1306902724 -o /tmp/evaluation-result-3400841-1306902724/solver-3400841-1306902724 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400841-1306902724.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=890442670

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3996.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263467560 kB
Buffers:        173396 kB
Cached:         416324 kB
SwapCached:      29976 kB
Active:         154916 kB
Inactive:       467580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263467560 kB
SwapTotal:    67111528 kB
SwapFree:     67044780 kB
Dirty:            9080 kB
Writeback:           0 kB
AnonPages:       30768 kB
Mapped:           8420 kB
Slab:            75792 kB
PageTables:       4460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   192104 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61572 MiB
End job on node200 at 2011-06-01 06:32:16