Trace number 2698902

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
PB/CT 0.1 fixedMSAT (TO) 1800.06 1800.02

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMbeb1068825018293198184932ec3a150
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark0.741886
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5500
Total number of constraints210
Number of soft constraints72
Number of constraints which are clauses110
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
Top cost 3934
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3933
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.01/0.01	c constraints 64/36 clauses 74/36 units 0
0.01/0.01	c vars 5500
0.19/0.20	c 0.179972 42.4258 50 8373
0.19/0.20	o 578
0.19/0.21	c 0.182972 43.3711 50 9125
0.19/0.21	o 457
0.19/0.22	c 0.186971 43.3711 51 9713
0.19/0.22	o 377
0.19/0.23	c 0.19097 43.3711 51 10399
0.19/0.23	o 372
0.19/0.24	c 0.19297 43.3711 52 10895
0.19/0.24	o 360
0.19/0.25	c 0.19597 43.3711 52 11535
0.19/0.25	o 348
0.19/0.26	c 0.199969 43.3711 52 12186
0.19/0.26	o 338
0.19/0.27	c 0.201969 43.3711 52 12837
0.19/0.27	o 329
0.19/0.28	c 0.205968 43.3711 52 13287
0.19/0.28	o 314
0.29/0.31	c 0.213967 43.3711 153 14972
0.29/0.31	o 308
0.29/0.32	c 0.219966 43.3711 153 15787
0.29/0.32	o 300
0.29/0.33	c 0.222966 43.3711 153 16669
0.29/0.33	o 297
0.29/0.34	c 0.225965 43.3711 153 17462
0.29/0.34	o 285
0.29/0.35	c 0.229965 43.3711 153 18350
0.29/0.35	o 274
0.29/0.36	c 0.233964 43.3711 153 19125
0.29/0.36	o 260
0.29/0.37	c 0.237963 43.3711 153 20060
0.29/0.37	o 257
0.29/0.38	c 0.239963 43.3711 153 20916
0.29/0.38	o 250
0.29/0.39	c 0.241963 43.3711 153 21853
0.29/0.39	o 247
0.29/0.40	c 0.245962 43.3711 153 22822
0.29/0.40	o 244
0.39/0.43	c 0.26096 43.3711 256 24703
0.39/0.43	o 215
0.39/0.44	c 0.264959 43.3711 257 25825
0.39/0.44	o 195
0.39/0.48	c 0.281957 43.5 460 30137
0.39/0.48	o 194
0.49/0.50	c 0.285956 43.5 463 31740
0.49/0.50	o 183
0.49/0.52	c 0.294955 43.6289 565 34603
0.49/0.52	o 170
0.49/0.53	c 0.300954 43.6289 568 36081
0.49/0.53	o 166
0.49/0.54	c 0.305953 43.6289 570 37595
0.49/0.54	o 149
0.49/0.56	c 0.309952 43.6289 575 39399
0.49/0.56	o 148
0.49/0.57	c 0.315951 43.6289 579 40802
0.49/0.57	o 147
0.49/0.58	c 0.320951 43.6289 587 42639
0.49/0.58	o 136
0.59/0.61	c 0.330949 43.7578 691 45505
0.59/0.61	o 128
0.59/0.62	c 0.333949 43.7578 691 46856
0.59/0.62	o 112
0.59/0.63	c 0.337948 43.7578 692 48263
0.59/0.63	o 98
0.59/0.66	c 0.352946 43.8867 796 51670
0.59/0.66	o 89
0.59/0.67	c 0.356945 43.8867 796 53302
0.59/0.67	o 82
0.69/0.70	c 0.366944 44.0156 902 56464
0.69/0.70	o 67
0.69/0.76	c 0.39194 44.2734 1214 63903
0.69/0.76	o 66
0.79/0.87	c 0.448931 44.6602 1732 76894
0.79/0.87	o 59
0.79/0.88	c 0.45393 44.6602 1734 79514
0.79/0.88	o 55
0.89/0.91	c 0.468928 44.7891 1839 84015
0.89/0.91	o 48
0.89/0.98	c 0.497924 45.1758 2243 93042
0.89/0.98	o 36
1.00/1.03	c 0.51992 45.4336 2552 99346
1.00/1.03	o 24
1.89/1.92	c 1.14183 51.4922 2972 140261
1.89/1.92	o 23
2.79/2.89	c 1.71474 51.4922 2148 221787
2.79/2.89	o 15
1800.04/1800.00	s SATISFIABLE
1800.04/1800.00	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 x2748 -x2749 -x2750 -x2751 -x2752 -x2753 x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 x5346 -x5347 -x5348 x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500

Verifier Data 

OK	15

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698902-1278457450/watcher-2698902-1278457450 -o /tmp/evaluation-result-2698902-1278457450/solver-2698902-1278457450 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698902-1278457450.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 3/175 12722
/proc/meminfo: memFree=30095804/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=2136 CPUtime=0
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 246 0 0 0 0 0 0 0 20 0 1 0 13958912 2187264 166 4089446400 134512640 136422188 4288157360 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12722/statm: 534 166 144 467 0 65 0

[startup+0.0148389 s]
/proc/loadavg: 0.00 0.00 0.00 3/175 12722
/proc/meminfo: memFree=30095804/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=2400 CPUtime=0.01
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 329 0 0 0 1 0 0 0 20 0 1 0 13958912 2457600 249 4089446400 134512640 136422188 4288157360 18446744073709551615 135372878 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12722/statm: 600 249 144 467 0 131 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2400

[startup+0.100935 s]
/proc/loadavg: 0.00 0.00 0.00 3/175 12722
/proc/meminfo: memFree=30095804/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=26988 CPUtime=0.09
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 6513 0 0 0 9 0 0 0 20 0 1 0 13958912 27635712 6292 4089446400 134512640 136422188 4288157360 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12722/statm: 6747 6295 193 467 0 6278 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26988

[startup+0.300913 s]
/proc/loadavg: 0.00 0.00 0.00 3/175 12722
/proc/meminfo: memFree=30095804/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=44408 CPUtime=0.29
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 11069 0 0 0 21 8 0 0 20 0 1 0 13958912 45473792 10270 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12722/statm: 11102 10270 237 467 0 10633 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44408

[startup+0.700827 s]
/proc/loadavg: 0.00 0.00 0.00 3/175 12722
/proc/meminfo: memFree=30095804/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=45068 CPUtime=0.69
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 11243 0 0 0 36 33 0 0 21 0 1 0 13958912 46149632 10419 4089446400 134512640 136422188 4288157360 18446744073709551615 134868538 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12722/statm: 11267 10419 237 467 0 10798 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45068

[startup+1.50069 s]
/proc/loadavg: 0.00 0.00 0.00 4/179 12726
/proc/meminfo: memFree=30022648/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=51536 CPUtime=1.49
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 12879 0 0 0 86 63 0 0 23 0 1 0 13958912 52772864 12048 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12722/statm: 12884 12048 237 467 0 12415 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51536

[startup+3.10029 s]
/proc/loadavg: 0.16 0.03 0.01 4/179 12726
/proc/meminfo: memFree=30014836/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=52724 CPUtime=3.09
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 13177 0 0 0 183 126 0 0 25 0 1 0 13958912 53989376 12344 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12722/statm: 13181 12344 237 467 0 12712 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52724

[startup+6.30084 s]
/proc/loadavg: 0.16 0.03 0.01 4/179 12726
/proc/meminfo: memFree=30002708/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=57088 CPUtime=6.29
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 14277 0 0 0 411 218 0 0 25 0 1 0 13958912 58458112 13444 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12722/statm: 14272 13444 237 467 0 13803 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 57088

[startup+12.7007 s]
/proc/loadavg: 0.44 0.10 0.03 4/179 12726
/proc/meminfo: memFree=29995232/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=62016 CPUtime=12.69
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 15518 0 0 0 911 358 0 0 25 0 1 0 13958912 63504384 14685 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12722/statm: 15504 14685 237 467 0 15035 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62016

[startup+25.5004 s]
/proc/loadavg: 0.68 0.16 0.05 3/179 12727
/proc/meminfo: memFree=29989968/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=64532 CPUtime=25.49
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 16144 0 0 0 1836 713 0 0 25 0 1 0 13958912 66080768 15311 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12722/statm: 16133 15311 237 467 0 15664 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 64532

[startup+51.1009 s]
/proc/loadavg: 1.13 0.31 0.10 4/179 12727
/proc/meminfo: memFree=29966420/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=82160 CPUtime=51.09
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 20617 0 0 0 3873 1236 0 0 25 0 1 0 13958912 84131840 19677 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12722/statm: 20540 19677 237 467 0 20071 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 82160

[startup+102.307 s]
/proc/loadavg: 1.65 0.59 0.21 4/179 12729
/proc/meminfo: memFree=29941588/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=100396 CPUtime=102.3
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 25181 0 0 0 7963 2267 0 0 25 0 1 0 13958912 102805504 24241 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 25099 24241 237 467 0 24630 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 100396

[startup+162.301 s]
/proc/loadavg: 1.87 0.84 0.32 3/179 12730
/proc/meminfo: memFree=29922936/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=106108 CPUtime=162.29
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 26605 0 0 0 12739 3490 0 0 25 0 1 0 13958912 108654592 25665 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 26527 25665 237 467 0 26058 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 106108

[startup+222.3 s]
/proc/loadavg: 1.95 1.05 0.42 3/179 12732
/proc/meminfo: memFree=29919052/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=106768 CPUtime=222.29
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 26756 0 0 0 17976 4253 0 0 25 0 1 0 13958912 109330432 25816 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 26692 25816 237 467 0 26223 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 106768

[startup+282.301 s]
/proc/loadavg: 1.98 1.22 0.52 4/179 12733
/proc/meminfo: memFree=29918628/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=106768 CPUtime=282.3
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 26756 0 0 0 22669 5561 0 0 25 0 1 0 13958912 109330432 25816 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 26692 25816 237 467 0 26223 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 106768

[startup+342.301 s]
/proc/loadavg: 1.99 1.36 0.61 3/179 12735
/proc/meminfo: memFree=29909532/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=112836 CPUtime=342.3
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 28553 0 0 0 27556 6674 0 0 25 0 1 0 13958912 115544064 27350 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 28209 27350 237 467 0 27740 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 112836

[startup+402.301 s]
/proc/loadavg: 1.99 1.47 0.69 4/179 12737
/proc/meminfo: memFree=29897088/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=122124 CPUtime=402.3
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 30864 0 0 0 32454 7776 0 0 25 0 1 0 13958912 125054976 29661 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 30531 29661 237 467 0 30062 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 122124

[startup+462.301 s]
/proc/loadavg: 1.99 1.57 0.77 4/179 12738
/proc/meminfo: memFree=29884768/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=125032 CPUtime=462.3
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 31594 0 0 0 37769 8461 0 0 25 0 1 0 13958912 128032768 30391 4089446400 134512640 136422188 4288157360 18446744073709551615 134862404 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 31258 30391 237 467 0 30789 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 125032

[startup+522.3 s]
/proc/loadavg: 1.99 1.64 0.84 3/179 12740
/proc/meminfo: memFree=29871588/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=138156 CPUtime=522.31
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 34856 0 0 0 43231 9000 0 0 25 0 1 0 13958912 141471744 33653 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 34539 33653 237 467 0 34070 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 138156

[startup+582.301 s]
/proc/loadavg: 2.09 1.74 0.92 4/179 12741
/proc/meminfo: memFree=29867820/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=138156 CPUtime=582.3
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 34858 0 0 0 48046 10184 0 0 25 0 1 0 13958912 141471744 33655 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 34539 33655 237 467 0 34070 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 138156

[startup+642.301 s]
/proc/loadavg: 2.03 1.78 0.99 4/179 12743
/proc/meminfo: memFree=29860712/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=138156 CPUtime=642.31
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 34858 0 0 0 53006 11225 0 0 25 0 1 0 13958912 141471744 33655 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 34539 33655 237 467 0 34070 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 138156

[startup+702.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 1.87 1.16 4/179 12748
/proc/meminfo: memFree=29855624/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=142704 CPUtime=822.31
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 36115 0 0 0 68021 14210 0 0 25 0 1 0 13958912 146128896 34794 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 35676 34794 237 467 0 35207 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 142704

[startup+882.3 s]
/proc/loadavg: 2.06 1.91 1.21 3/179 12752
/proc/meminfo: memFree=29848236/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=146196 CPUtime=882.31
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 36962 0 0 0 73001 15230 0 0 25 0 1 0 13958912 149704704 35641 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 36549 35641 237 467 0 36080 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 146196

[startup+942.301 s]
/proc/loadavg: 2.02 1.92 1.26 4/179 12754
/proc/meminfo: memFree=29841420/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=146196 CPUtime=942.31
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 36962 0 0 0 77772 16459 0 0 25 0 1 0 13958912 149704704 35641 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 36549 35641 237 467 0 36080 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 146196

[startup+1002.3 s]
/proc/loadavg: 2.01 1.93 1.30 4/179 12756
/proc/meminfo: memFree=29838412/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=153060 CPUtime=1002.31
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 38684 0 0 0 83141 17090 0 0 25 0 1 0 13958912 156733440 37363 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 38265 37363 237 467 0 37796 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 153060

[startup+1062.3 s]
/proc/loadavg: 2.00 1.94 1.34 3/179 12757
/proc/meminfo: memFree=29832660/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=155084 CPUtime=1062.32
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 39173 0 0 0 88489 17743 0 0 25 0 1 0 13958912 158806016 37852 4089446400 134512640 136422188 4288157360 18446744073709551615 134862334 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 38771 37852 237 467 0 38302 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 155084

[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.38 4/179 12759
/proc/meminfo: memFree=29830520/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=160248 CPUtime=1122.32
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 40455 0 0 0 93955 18277 0 0 25 0 1 0 13958912 164093952 39134 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 40062 39134 237 467 0 39593 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 160248

[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.42 3/179 12760
/proc/meminfo: memFree=29828384/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=162476 CPUtime=1182.32
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 41002 0 0 0 99314 18918 0 0 25 0 1 0 13958912 166375424 39681 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 40619 39681 237 467 0 40150 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 162476

[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.45 3/179 12762
/proc/meminfo: memFree=29824000/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=162476 CPUtime=1242.32
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 41002 0 0 0 104574 19658 0 0 25 0 1 0 13958912 166375424 39681 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 40619 39681 237 467 0 40150 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 162476

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.48 4/179 12764
/proc/meminfo: memFree=29815532/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=167388 CPUtime=1302.33
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 42357 0 0 0 109653 20580 0 0 25 0 1 0 13958912 171405312 40923 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 41847 40923 237 467 0 41378 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 167388

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/179 12765
/proc/meminfo: memFree=29815488/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=167388 CPUtime=1362.32
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 42358 0 0 0 114428 21804 0 0 25 0 1 0 13958912 171405312 40924 4089446400 134512640 136422188 4288157360 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 41847 40924 237 467 0 41378 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 167388

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/179 12767
/proc/meminfo: memFree=29813964/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=167388 CPUtime=1422.34
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 42358 0 0 0 119443 22791 0 0 25 0 1 0 13958912 171405312 40924 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 41847 40924 237 467 0 41378 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 167388

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.57 4/179 12768
/proc/meminfo: memFree=29810696/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=171916 CPUtime=1482.33
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 43454 0 0 0 124459 23774 0 0 25 0 1 0 13958912 176041984 42020 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 42979 42020 237 467 0 42510 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 171916

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/179 12770
/proc/meminfo: memFree=29795900/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=178212 CPUtime=1542.33
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 45039 0 0 0 129875 24358 0 0 25 0 1 0 13958912 182489088 43605 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 44553 43605 237 467 0 44084 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 178212

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.61 4/179 12772
/proc/meminfo: memFree=29795980/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=177156 CPUtime=1602.33
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 45039 0 0 0 134551 25682 0 0 25 0 1 0 13958912 181407744 43353 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 44289 43353 237 467 0 43820 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 177156

[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.64 4/179 12773
/proc/meminfo: memFree=29795076/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=177156 CPUtime=1662.33
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 45041 0 0 0 139613 26620 0 0 25 0 1 0 13958912 181407744 43355 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 44289 43355 237 467 0 43820 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 177156

[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.65 3/179 12775
/proc/meminfo: memFree=29795280/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=177156 CPUtime=1722.33
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 45041 0 0 0 144475 27758 0 0 25 0 1 0 13958912 181407744 43355 4089446400 134512640 136422188 4288157360 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 44289 43355 237 467 0 43820 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 177156

[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.67 4/179 12776
/proc/meminfo: memFree=29789540/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=182936 CPUtime=1782.34
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 46471 0 0 0 149843 28391 0 0 25 0 1 0 13958912 187326464 44785 4089446400 134512640 136422188 4288157360 18446744073709551615 134862312 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 45734 44785 237 467 0 45265 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 182936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 1.97 1.68 3/179 12777
/proc/meminfo: memFree=29789532/32950928 swapFree=67111528/67111528
[pid=12722] ppid=12719 vsize=183204 CPUtime=1800.04
/proc/12722/stat : 12722 (pbct) R 12719 12722 12672 0 -1 4202496 46509 0 0 0 151406 28598 0 0 25 0 1 0 13958912 187600896 44823 4089446400 134512640 136422188 4288157360 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/12722/statm: 45801 44823 237 467 0 45332 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 183204

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

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

Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1514.06
CPU system time (s): 285.994
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 183204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1514.06
system time used= 285.994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46510
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= 1
involuntary context switches= 4530

runsolver used 3.24951 second user time and 5.83111 second system time

The end

Launcher Data 

Begin job on node123 at 2010-07-07 01:04:10
IDJOB=2698902
IDBENCH=78668
IDSOLVER=1212
FILE ID=node123/2698902-1278457450
PBS_JOBID= 11233746
Free space on /tmp= 73752 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698902-1278457450/watcher-2698902-1278457450 -o /tmp/evaluation-result-2698902-1278457450/solver-2698902-1278457450 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2698902-1278457450.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= beb1068825018293198184932ec3a150
RANDOM SEED=1597189402

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30096844 kB
Buffers:        103756 kB
Cached:        2550896 kB
SwapCached:          0 kB
Active:         689068 kB
Inactive:      2027384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30096844 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3892 kB
Writeback:           0 kB
AnonPages:       61720 kB
Mapped:          14364 kB
Slab:            73676 kB
PageTables:       5272 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   185496 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73748 MiB
End job on node123 at 2010-07-07 01:34:12