Trace number 2698932

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.08 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM21fdc20540498ec370dabc0ec726c40e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.137978
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3600
Total number of constraints170
Number of soft constraints63
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
Top cost 3157
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3156
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
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.00/0.01	c constraints 48/32 clauses 59/31 units 0
0.00/0.01	c vars 3600
0.09/0.13	c 0.116982 28.4766 50 5580
0.09/0.13	o 343
0.09/0.13	c 0.119981 28.9258 51 6041
0.09/0.13	o 313
0.09/0.14	c 0.123981 28.9258 51 6548
0.09/0.14	o 305
0.09/0.15	c 0.13098 28.9258 90 7054
0.09/0.15	o 293
0.09/0.18	c 0.150977 28.9258 293 9618
0.09/0.18	o 268
0.09/0.19	c 0.154976 28.9258 295 10579
0.09/0.19	o 261
0.19/0.20	c 0.160975 28.9258 297 11895
0.19/0.20	o 235
0.19/0.21	c 0.167974 28.9258 298 12854
0.19/0.21	o 214
0.19/0.22	c 0.178972 28.9258 407 14663
0.19/0.22	o 204
0.19/0.23	c 0.181972 28.9258 409 15547
0.19/0.23	o 196
0.19/0.24	c 0.189971 28.9258 413 16541
0.19/0.24	o 179
0.19/0.25	c 0.19597 28.9258 414 17356
0.19/0.25	o 159
0.19/0.27	c 0.210967 29.0547 517 19820
0.19/0.27	o 129
0.29/0.31	c 0.239963 29.3125 832 23875
0.29/0.31	o 123
0.29/0.32	c 0.244962 29.3125 833 25149
0.29/0.32	o 109
0.29/0.33	c 0.250961 29.3125 858 26762
0.29/0.33	o 107
0.29/0.36	c 0.273958 29.4414 997 30033
0.29/0.36	o 101
0.29/0.37	c 0.281957 29.4414 1015 31666
0.29/0.37	o 100
0.29/0.38	c 0.286956 29.4414 1022 33085
0.29/0.38	o 77
0.39/0.40	c 0.301954 29.5703 1130 36729
0.39/0.40	o 65
0.39/0.41	c 0.306953 29.5703 1133 38069
0.39/0.41	o 63
0.39/0.41	c 0.313952 29.5703 1138 39548
0.39/0.41	o 62
0.39/0.42	c 0.320951 29.5703 1144 41461
0.39/0.42	o 58
0.39/0.45	c 0.336948 29.6992 1247 45107
0.39/0.45	o 52
0.49/0.57	c 0.431934 30.4727 2330 57201
0.49/0.57	o 49
0.59/0.60	c 0.45793 30.6016 2574 60606
0.59/0.60	o 48
0.59/0.61	c 0.462929 30.6016 1292 62158
0.59/0.61	o 38
0.69/0.75	c 0.577912 30.9883 1400 72033
0.69/0.75	o 32
0.69/0.77	c 0.594909 30.9883 1504 75648
0.69/0.77	o 28
0.69/0.78	c 0.601908 30.9883 1508 77851
0.69/0.78	o 27
0.79/0.87	c 0.671897 30.9883 2310 85770
0.79/0.87	o 25
0.79/0.89	c 0.682896 30.9883 2418 89063
0.79/0.89	o 23
0.99/1.04	c 0.817875 31.2461 2592 98217
0.99/1.04	o 20
0.99/1.08	c 0.847871 31.375 1553 103435
0.99/1.08	o 19
1.10/1.12	c 0.875866 31.375 1897 107379
1.10/1.12	o 9
1.10/1.14	c 0.889864 31.375 2007 110528
1.10/1.14	o 7
1.39/1.47	c 1.15682 31.5039 1533 135035
1.39/1.47	o 6
1.69/1.78	c 1.41578 32.5352 1998 150145
1.69/1.78	o 3
1800.06/1800.00	s SATISFIABLE
1800.06/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

Verifier Data 

OK	3

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698932-1278457451/watcher-2698932-1278457451 -o /tmp/evaluation-result-2698932-1278457451/solver-2698932-1278457451 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698932-1278457451.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 4/178 12704
/proc/meminfo: memFree=29178668/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=2136 CPUtime=0
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 248 0 0 0 0 0 0 0 24 0 1 0 13959863 2187264 167 4089446400 134512640 136422188 4288885296 18446744073709551615 135818582 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12704/statm: 534 167 144 467 0 65 0

[startup+0.05484 s]
/proc/loadavg: 0.00 0.00 0.00 4/178 12704
/proc/meminfo: memFree=29178668/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=15704 CPUtime=0.05
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 3614 0 0 0 5 0 0 0 24 0 1 0 13959863 16080896 3533 4089446400 134512640 136422188 4288885296 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 3926 3540 193 467 0 3457 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15704

[startup+0.100832 s]
/proc/loadavg: 0.00 0.00 0.00 4/178 12704
/proc/meminfo: memFree=29178668/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=27556 CPUtime=0.09
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 6605 0 0 0 9 0 0 0 24 0 1 0 13959863 28217344 6370 4089446400 134512640 136422188 4288885296 18446744073709551615 135809905 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 6889 6370 203 467 0 6420 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27556

[startup+0.300805 s]
/proc/loadavg: 0.00 0.00 0.00 4/178 12704
/proc/meminfo: memFree=29178668/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=29880 CPUtime=0.29
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 7247 0 0 0 22 7 0 0 25 0 1 0 13959863 30597120 6999 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 7470 6999 237 467 0 7001 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29880

[startup+0.700718 s]
/proc/loadavg: 0.00 0.00 0.00 4/178 12704
/proc/meminfo: memFree=29178668/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=31332 CPUtime=0.69
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 7621 0 0 0 53 16 0 0 18 0 1 0 13959863 32083968 7359 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 7833 7359 237 467 0 7364 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31332

[startup+1.50056 s]
/proc/loadavg: 0.16 0.03 0.01 3/179 12705
/proc/meminfo: memFree=29148288/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=32256 CPUtime=1.49
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 7856 0 0 0 117 32 0 0 18 0 1 0 13959863 33030144 7584 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 8064 7584 237 467 0 7595 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32256

[startup+3.10027 s]
/proc/loadavg: 0.16 0.03 0.01 3/179 12705
/proc/meminfo: memFree=29145464/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=35952 CPUtime=3.09
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 8788 0 0 0 255 54 0 0 20 0 1 0 13959863 36814848 8515 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 8988 8515 237 467 0 8519 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35952

[startup+6.30066 s]
/proc/loadavg: 0.31 0.07 0.02 3/179 12705
/proc/meminfo: memFree=29137528/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=38728 CPUtime=6.29
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 9450 0 0 0 522 107 0 0 25 0 1 0 13959863 39657472 9177 4089446400 134512640 136422188 4288885296 18446744073709551615 134868881 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 9682 9177 237 467 0 9213 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38728

[startup+12.7004 s]
/proc/loadavg: 0.44 0.10 0.03 3/179 12705
/proc/meminfo: memFree=29130424/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=44144 CPUtime=12.69
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 10813 0 0 0 1082 187 0 0 25 0 1 0 13959863 45203456 10540 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 11036 10540 237 467 0 10567 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44144

[startup+25.501 s]
/proc/loadavg: 0.79 0.19 0.06 3/179 12706
/proc/meminfo: memFree=29121220/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=50352 CPUtime=25.49
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 12369 0 0 0 2219 330 0 0 25 0 1 0 13959863 51560448 12096 4089446400 134512640 136422188 4288885296 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 12588 12096 237 467 0 12119 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50352

[startup+51.1011 s]
/proc/loadavg: 1.28 0.35 0.12 3/179 12707
/proc/meminfo: memFree=29116960/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=52476 CPUtime=51.1
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 12889 0 0 0 4464 646 0 0 25 0 1 0 13959863 53735424 12616 4089446400 134512640 136422188 4288885296 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 13119 12616 237 467 0 12650 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 52476

[startup+102.306 s]
/proc/loadavg: 1.69 0.60 0.21 3/179 12708
/proc/meminfo: memFree=29102184/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=60936 CPUtime=102.3
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 15053 0 0 0 9070 1160 0 0 25 0 1 0 13959863 62398464 14734 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 15234 14734 237 467 0 14765 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 60936

[startup+162.301 s]
/proc/loadavg: 1.88 0.85 0.32 3/179 12709
/proc/meminfo: memFree=29084288/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=73640 CPUtime=162.3
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 18232 0 0 0 14563 1667 0 0 25 0 1 0 13959863 75407360 17913 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 18410 17913 237 467 0 17941 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 73640

[startup+222.301 s]
/proc/loadavg: 1.95 1.06 0.42 3/179 12711
/proc/meminfo: memFree=29082252/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=73192 CPUtime=222.3
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 18233 0 0 0 19862 2368 0 0 25 0 1 0 13959863 74948608 17806 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 18298 17806 237 467 0 17829 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 73192

[startup+282.301 s]
/proc/loadavg: 1.98 1.23 0.52 3/179 12713
/proc/meminfo: memFree=29074788/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=74644 CPUtime=282.3
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 18577 0 0 0 25240 2990 0 0 25 0 1 0 13959863 76435456 18150 4089446400 134512640 136422188 4288885296 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 18661 18150 237 467 0 18192 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 74644

[startup+342.301 s]
/proc/loadavg: 1.99 1.37 0.61 3/179 12714
/proc/meminfo: memFree=29066948/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=80956 CPUtime=342.3
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 20988 0 0 0 30612 3618 0 0 25 0 1 0 13959863 82898944 19745 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 20239 19745 237 467 0 19770 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 80956

[startup+402.3 s]
/proc/loadavg: 1.99 1.48 0.69 3/179 12716
/proc/meminfo: memFree=29050796/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=95924 CPUtime=402.3
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 24699 0 0 0 36220 4010 0 0 25 0 1 0 13959863 98226176 23456 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 23981 23456 237 467 0 23512 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 95924

[startup+462.301 s]
/proc/loadavg: 1.99 1.57 0.77 3/179 12717
/proc/meminfo: memFree=29050264/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=95100 CPUtime=462.31
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 24699 0 0 0 41505 4726 0 0 25 0 1 0 13959863 97382400 23278 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 23775 23278 237 467 0 23306 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 95100

[startup+522.3 s]
/proc/loadavg: 1.99 1.65 0.85 3/179 12719
/proc/meminfo: memFree=29048752/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=95100 CPUtime=522.31
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 24699 0 0 0 46906 5325 0 0 25 0 1 0 13959863 97382400 23278 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 23775 23278 237 467 0 23306 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 95100

[startup+582.301 s]
/proc/loadavg: 1.99 1.71 0.92 3/179 12721
/proc/meminfo: memFree=29045740/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=95100 CPUtime=582.31
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 24699 0 0 0 52461 5770 0 0 25 0 1 0 13959863 97382400 23278 4089446400 134512640 136422188 4288885296 18446744073709551615 134862312 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 23775 23278 237 467 0 23306 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 95100

[startup+642.301 s]
/proc/loadavg: 1.99 1.76 0.98 3/179 12722
/proc/meminfo: memFree=29041620/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=95100 CPUtime=642.32
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 24699 0 0 0 57798 6434 0 0 25 0 1 0 13959863 97382400 23278 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 23775 23278 237 467 0 23306 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 95100

[startup+702.3 s]

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

[startup+822.3 s]
/proc/loadavg: 1.99 1.86 1.15 3/179 12727
/proc/meminfo: memFree=29017956/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=112160 CPUtime=822.32
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 29094 0 0 0 74367 7865 0 0 25 0 1 0 13959863 114851840 27539 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 28040 27539 237 467 0 27571 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 112160

[startup+882.301 s]
/proc/loadavg: 1.99 1.88 1.20 3/179 12732
/proc/meminfo: memFree=29018088/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=112160 CPUtime=882.33
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 29094 0 0 0 80027 8206 0 0 25 0 1 0 13959863 114851840 27539 4089446400 134512640 136422188 4288885296 18446744073709551615 134862338 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 28040 27539 237 467 0 27571 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 112160

[startup+942.301 s]
/proc/loadavg: 1.99 1.90 1.25 3/179 12733
/proc/meminfo: memFree=29017976/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=112080 CPUtime=942.32
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 29281 0 0 0 85556 8676 0 0 25 0 1 0 13959863 114769920 27520 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 28020 27520 237 467 0 27551 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 112080

[startup+1002.3 s]
/proc/loadavg: 1.99 1.92 1.29 3/179 12735
/proc/meminfo: memFree=29012236/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=112080 CPUtime=1002.33
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 29281 0 0 0 90910 9323 0 0 25 0 1 0 13959863 114769920 27520 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 28020 27520 237 467 0 27551 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 112080

[startup+1062.3 s]
/proc/loadavg: 1.99 1.93 1.33 3/179 12736
/proc/meminfo: memFree=29012448/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=112080 CPUtime=1062.33
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 29281 0 0 0 96259 9974 0 0 25 0 1 0 13959863 114769920 27520 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 28020 27520 237 467 0 27551 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 112080

[startup+1122.3 s]
/proc/loadavg: 1.99 1.94 1.37 3/179 12738
/proc/meminfo: memFree=29008456/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=116376 CPUtime=1122.33
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 30406 0 0 0 101782 10451 0 0 25 0 1 0 13959863 119169024 28591 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 29094 28591 237 467 0 28625 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 116376

[startup+1182.3 s]
/proc/loadavg: 2.06 1.96 1.41 3/179 12740
/proc/meminfo: memFree=29008544/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=116376 CPUtime=1182.34
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 30406 0 0 0 107116 11118 0 0 25 0 1 0 13959863 119169024 28591 4089446400 134512640 136422188 4288885296 18446744073709551615 134862325 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 29094 28591 237 467 0 28625 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 116376

[startup+1242.3 s]
/proc/loadavg: 2.02 1.97 1.45 3/179 12741
/proc/meminfo: memFree=29008140/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=116376 CPUtime=1242.34
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 30406 0 0 0 112468 11766 0 0 25 0 1 0 13959863 119169024 28591 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 29094 28591 237 467 0 28625 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 116376

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.48 3/179 12743
/proc/meminfo: memFree=29008352/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=116376 CPUtime=1302.35
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 30407 0 0 0 118056 12179 0 0 25 0 1 0 13959863 119169024 28592 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 29094 28592 237 467 0 28625 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 116376

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/179 12744
/proc/meminfo: memFree=29006208/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=118328 CPUtime=1362.34
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 30951 0 0 0 123651 12583 0 0 25 0 1 0 13959863 121167872 29079 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 29582 29079 237 467 0 29113 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 118328

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/179 12746
/proc/meminfo: memFree=29006292/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=118328 CPUtime=1422.35
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 30951 0 0 0 128983 13252 0 0 25 0 1 0 13959863 121167872 29079 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 29582 29079 237 467 0 29113 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 118328

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.56 3/179 12748
/proc/meminfo: memFree=29006256/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=118328 CPUtime=1482.34
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 30951 0 0 0 134359 13875 0 0 25 0 1 0 13959863 121167872 29079 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 29582 29079 237 467 0 29113 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 118328

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/179 12749
/proc/meminfo: memFree=29002980/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=121784 CPUtime=1542.35
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 31789 0 0 0 139997 14238 0 0 25 0 1 0 13959863 124706816 29917 4089446400 134512640 136422188 4288885296 18446744073709551615 134862233 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 30446 29917 237 467 0 29977 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 121784

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.61 3/179 12751
/proc/meminfo: memFree=29002064/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=121784 CPUtime=1602.35
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 31799 0 0 0 145325 14910 0 0 25 0 1 0 13959863 124706816 29927 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 30446 29927 237 467 0 29977 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 121784

[startup+1662.3 s]
/proc/loadavg: 2.04 1.99 1.64 3/179 12752
/proc/meminfo: memFree=29002024/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=121784 CPUtime=1662.35
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 31799 0 0 0 150714 15521 0 0 25 0 1 0 13959863 124706816 29927 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 30446 29927 237 467 0 29977 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 121784

[startup+1722.3 s]
/proc/loadavg: 2.01 1.99 1.66 3/179 12754
/proc/meminfo: memFree=28999872/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=124056 CPUtime=1722.36
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 32345 0 0 0 156221 16015 0 0 25 0 1 0 13959863 127033344 30473 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 31014 30473 237 467 0 30545 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 124056

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.67 3/179 12756
/proc/meminfo: memFree=28987180/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=136340 CPUtime=1782.36
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 35447 0 0 0 161803 16433 0 0 25 0 1 0 13959863 139612160 33575 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 34085 33575 237 467 0 33616 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 136340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.92 1.97 1.67 2/177 12757
/proc/meminfo: memFree=29063452/32950928 swapFree=67111528/67111528
[pid=12704] ppid=12702 vsize=136116 CPUtime=1800.06
/proc/12704/stat : 12704 (pbct) R 12702 12704 12668 0 -1 4202496 35448 0 0 0 163470 16536 0 0 25 0 1 0 13959863 139382784 33522 4089446400 134512640 136422188 4288885296 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12704/statm: 34029 33522 237 467 0 33560 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 136116

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.01
CPU time (s): 1800.08
CPU user time (s): 1634.71
CPU system time (s): 165.371
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 136340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1634.71
system time used= 165.371
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35449
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= 3
involuntary context switches= 2947

runsolver used 2.94855 second user time and 6.03308 second system time

The end

Launcher Data 

Begin job on node114 at 2010-07-07 01:04:11
IDJOB=2698932
IDBENCH=78682
IDSOLVER=1212
FILE ID=node114/2698932-1278457451
PBS_JOBID= 11233765
Free space on /tmp= 73380 MiB

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

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

MD5SUM BENCH= 21fdc20540498ec370dabc0ec726c40e
RANDOM SEED=2062037662

node114.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.824
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.64
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.824
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.824
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.83
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.824
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.81
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.824
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
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.824
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.824
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29179196 kB
Buffers:        104680 kB
Cached:        3434872 kB
SwapCached:          0 kB
Active:        1064316 kB
Inactive:      2557400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29179196 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3904 kB
Writeback:           0 kB
AnonPages:       82368 kB
Mapped:          15144 kB
Slab:            86676 kB
PageTables:       4492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   221892 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= 73380 MiB
End job on node114 at 2010-07-07 01:34:13