Trace number 352786

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16SAT (TO)63 1800.03 1800.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-exam.pi.opb
MD5SUMc7b7ba2fb8a9fff5b9677d5bbd1edc0f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark63
Best CPU time to get the best result obtained on this benchmark171.161
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 63
Optimality of the best value was proved YES
Number of variables4676
Total number of constraints509
Number of constraints which are clauses509
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint166
Number of terms in the objective function 4676
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4676
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4676
Number of bits of the biggest sum of numbers13
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 (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/352786-1176641558/instance-352786-1176641558.opb
0.00/0.00	c File size is 266563 bytes.
0.00/0.05	c Highest Coefficient sum: 4676
0.00/0.05	c Parsing was ok!!
0.00/0.05	c Total parsing time: 0.051 s
0.00/0.05	c Var: 4676 Constr: 509 509/0/0 Lit: 25694 Watch. Lit: 1018
0.00/0.05	c Obj. Vars: 4676 (100 % of total variables)
0.08/0.16	c Formula reductions applied at preprocessing
0.08/0.16	c Pre-processing Time: 0.166 s
0.28/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.37	c        0   1113      458    23440   51      916     152      0      0 0.17
0.28/0.37	c Initial Lower Bound: 60
0.28/0.37	c Initial Path Cost: 0
0.28/0.37	o 88	0.369
0.99/1.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.05	c        0   1113      459    24553   53     1943    1152      1      0 0.37
0.99/1.05	o 66	1.05 * 
2.09/2.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.11	c        0   1113      460    25666   55     2992    2152      2      0 1.05
2.09/2.11	o 64	2.111 * 
62.57/62.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.57/62.63	c        0   1113      461    26779   58     4043    3152      3      0 2.11
62.57/62.63	c      100   1113      661    33885   51     4443    3468    203     13 7.17
62.57/62.63	c      350   1113     1161    51705   44     5443    3815    703     20 17.21
62.57/62.63	c      825   1113     2111    92448   43     7343    4197   1653     22 36.20
62.57/62.63	c     1638   1113     3737   165295   44    10595    4617   3279     27 59.54
62.57/62.63	o 63	62.611 * 
1799.91/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.91/1800.60	c     1755   1113     3972   175823   44    12115    3152   3514     28 62.61
1799.91/1800.60	c     1855   1113     4172   182883   43    12515    3468   3714     27 68.55
1799.91/1800.60	c     2105   1113     4672   199118   42    13515    3815   4214     26 79.67
1799.91/1800.60	c     2580   1113     5622   234184   41    15415    4197   5164     26 98.46
1799.91/1800.60	c     3393   1113     7248   297148   40    18667    4617   6790     25 133.13
1799.91/1800.60	c     4713   1113     3990   150983   37     9030    5079   3532     24 196.19
1799.91/1800.60	c     6794   1113     8152   301443   36    17354    5587   7694     23 283.56
1799.91/1800.60	c    10017   1113     8166   328757   40    17382    6146   7708     24 415.41
1799.91/1800.60	c    14953   1113     4700   172293   36    10450    6761   4242     25 579.79
1799.91/1800.60	c    22459   1113     5722   227867   39    12494    7438   5264     25 874.26
1799.91/1800.60	c    33820   1113     6476   238928   36    14002    8182   6018     26 1275.48
1799.91/1800.60	c Resources Exceeded
1800.02/1800.60	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
1800.02/1800.60	v -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
1800.02/1800.60	v -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
1800.02/1800.60	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.02/1800.60	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.02/1800.60	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.02/1800.60	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.02/1800.60	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.02/1800.60	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1800.02/1800.60	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.02/1800.60	v -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.02/1800.60	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.02/1800.60	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.02/1800.60	v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1800.02/1800.60	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.02/1800.60	v -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.02/1800.60	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378
1800.02/1800.60	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.02/1800.60	v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1800.02/1800.60	v -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.02/1800.60	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.02/1800.60	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.02/1800.60	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1800.02/1800.60	v -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1800.02/1800.60	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1800.02/1800.60	v -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1800.02/1800.60	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1800.02/1800.60	v -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.02/1800.60	v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1800.02/1800.60	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651
1800.02/1800.60	v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1800.02/1800.60	v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
1800.02/1800.60	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714
1800.02/1800.60	v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 -x735
1800.02/1800.60	v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756
1800.02/1800.60	v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777
1800.02/1800.60	v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798
1800.02/1800.60	v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819
1800.02/1800.60	v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1800.02/1800.60	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
1800.02/1800.60	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882
1800.02/1800.60	v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903
1800.02/1800.60	v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924
1800.02/1800.60	v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
1800.02/1800.60	v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966
1800.02/1800.60	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
1800.02/1800.60	v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1800.02/1800.60	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023
1800.02/1800.60	v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1800.02/1800.60	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1800.02/1800.60	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1800.02/1800.60	v -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092
1800.02/1800.60	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109
1800.02/1800.60	v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126
1800.02/1800.60	v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143
1800.02/1800.60	v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
1800.02/1800.60	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177
1800.02/1800.60	v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194
1800.02/1800.60	v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211
1800.02/1800.60	v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228
1800.02/1800.60	v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245
1800.02/1800.60	v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262
1800.02/1800.60	v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279
1800.02/1800.60	v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296
1800.02/1800.60	v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313
1800.02/1800.60	v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
1800.02/1800.60	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347
1800.02/1800.60	v x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364
1800.02/1800.60	v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381
1800.02/1800.60	v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398
1800.02/1800.60	v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415
1800.02/1800.60	v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432
1800.02/1800.60	v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449
1800.02/1800.60	v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466
1800.02/1800.60	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483
1800.02/1800.60	v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
1800.02/1800.60	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517
1800.02/1800.60	v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534
1800.02/1800.60	v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551
1800.02/1800.60	v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568
1800.02/1800.60	v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585
1800.02/1800.60	v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602
1800.02/1800.60	v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619
1800.02/1800.60	v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636
1800.02/1800.60	v -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653
1800.02/1800.60	v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
1800.02/1800.60	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687
1800.02/1800.60	v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704
1800.02/1800.60	v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721
1800.02/1800.60	v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738
1800.02/1800.60	v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755
1800.02/1800.60	v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772
1800.02/1800.60	v -x1773 -x1774 -x1775 -x1776 x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789
1800.02/1800.60	v -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806
1800.02/1800.60	v -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823
1800.02/1800.60	v -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840
1800.02/1800.60	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857
1800.02/1800.60	v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874
1800.02/1800.60	v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891
1800.02/1800.60	v -x1892 -x1893 -x1894 -x1895 -x1896 x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908
1800.02/1800.60	v -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925
1800.02/1800.60	v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942
1800.02/1800.60	v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959
1800.02/1800.60	v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976
1800.02/1800.60	v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993
1800.02/1800.60	v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
1800.02/1800.60	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027
1800.02/1800.60	v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044
1800.02/1800.60	v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061
1800.02/1800.60	v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078
1800.02/1800.60	v -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095
1800.02/1800.60	v -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112
1800.02/1800.60	v -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129
1800.02/1800.60	v -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146
1800.02/1800.60	v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163
1800.02/1800.60	v -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180
1800.02/1800.60	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197
1800.02/1800.60	v -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 x2211 -x2212 -x2213 -x2214
1800.02/1800.60	v -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231
1800.02/1800.60	v -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248
1800.02/1800.60	v -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265
1800.02/1800.60	v -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282
1800.02/1800.60	v -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299
1800.02/1800.60	v -x2300 -x2301 -x2302 -x2303 -x2304 x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316
1800.02/1800.60	v -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333
1800.02/1800.60	v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350
1800.02/1800.60	v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367
1800.02/1800.60	v -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384
1800.02/1800.60	v x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401
1800.02/1800.60	v -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418
1800.02/1800.60	v -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435
1800.02/1800.60	v -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452
1800.02/1800.60	v -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469
1800.02/1800.60	v -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486
1800.02/1800.60	v -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503
1800.02/1800.60	v -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520
1800.02/1800.60	v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537
1800.02/1800.60	v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 x2553 -x2554 -x2555
1800.02/1800.60	v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572
1800.02/1800.60	v -x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589
1800.02/1800.60	v -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606
1800.02/1800.60	v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623
1800.02/1800.60	v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
1800.02/1800.60	v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657
1800.02/1800.60	v -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674
1800.02/1800.60	v -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691
1800.02/1800.60	v -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708
1800.02/1800.60	v -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725
1800.02/1800.60	v -x2726 x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742
1800.02/1800.60	v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759
1800.02/1800.60	v -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776
1800.02/1800.60	v -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793
1800.02/1800.60	v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810
1800.02/1800.60	v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827
1800.02/1800.60	v -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844
1800.02/1800.60	v -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861
1800.02/1800.60	v -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878
1800.02/1800.60	v -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895
1800.02/1800.60	v -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912
1800.02/1800.60	v -x2913 -x2914 -x2915 x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929
1800.02/1800.60	v -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946
1800.02/1800.60	v -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963
1800.02/1800.60	v -x2964 -x2965 -x2966 x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980
1800.02/1800.60	v -x2981 -x2982 -x2983 x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997
1800.02/1800.60	v -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014
1800.02/1800.60	v -x3015 -x3016 -x3017 -x3018 -x3019 x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031
1800.02/1800.60	v -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048
1800.02/1800.60	v -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065
1800.02/1800.60	v -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082
1800.02/1800.60	v -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099
1800.02/1800.60	v x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116
1800.02/1800.60	v -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133
1800.02/1800.60	v -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150
1800.02/1800.60	v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167
1800.02/1800.60	v -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184
1800.02/1800.60	v -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201
1800.02/1800.60	v -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218
1800.02/1800.60	v -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235
1800.02/1800.60	v -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252
1800.02/1800.60	v -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269
1800.02/1800.60	v -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286
1800.02/1800.60	v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303
1800.02/1800.60	v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320
1800.02/1800.60	v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337
1800.02/1800.60	v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354
1800.02/1800.60	v -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371
1800.02/1800.60	v -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388
1800.02/1800.60	v -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405
1800.02/1800.60	v -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422
1800.02/1800.60	v -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439
1800.02/1800.60	v -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 x3456
1800.02/1800.60	v -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473
1800.02/1800.60	v -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490
1800.02/1800.60	v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507
1800.02/1800.60	v -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524
1800.02/1800.60	v -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541
1800.02/1800.60	v -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558
1800.02/1800.60	v -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575
1800.02/1800.60	v -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592
1800.02/1800.60	v -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609
1800.02/1800.60	v -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626
1800.02/1800.60	v -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643
1800.02/1800.60	v -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660
1800.02/1800.60	v -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677
1800.02/1800.60	v -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694
1800.02/1800.60	v -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711
1800.02/1800.60	v -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728
1800.02/1800.60	v -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745
1800.02/1800.60	v -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762
1800.02/1800.60	v -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779
1800.02/1800.60	v -x3780 x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796
1800.02/1800.60	v -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813
1800.02/1800.60	v -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830
1800.02/1800.60	v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847
1800.02/1800.60	v -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864
1800.02/1800.60	v -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881
1800.02/1800.60	v -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898
1800.02/1800.60	v -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915
1800.02/1800.60	v -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932
1800.02/1800.60	v -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949
1800.02/1800.60	v -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966
1800.02/1800.60	v -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983
1800.02/1800.60	v -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000
1800.02/1800.60	v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017
1800.02/1800.60	v -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034
1800.02/1800.60	v -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051
1800.02/1800.60	v -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068
1800.02/1800.60	v -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085
1800.02/1800.60	v -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102
1800.02/1800.60	v -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119
1800.02/1800.60	v -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136
1800.02/1800.60	v -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153
1800.02/1800.60	v -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170
1800.02/1800.60	v -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187
1800.02/1800.60	v -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204
1800.02/1800.60	v x4205 -x4206 x4207 -x4208 -x4209 -x4210 -x4211 -x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222
1800.02/1800.60	v -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239
1800.02/1800.60	v -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256
1800.02/1800.60	v -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273
1800.02/1800.60	v -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 x4286 -x4287 -x4288 -x4289 -x4290
1800.02/1800.60	v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307
1800.02/1800.60	v -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324
1800.02/1800.60	v -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341
1800.02/1800.60	v -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358
1800.02/1800.60	v -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375
1800.02/1800.60	v -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392
1800.02/1800.60	v -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409
1800.02/1800.60	v -x4410 -x4411 x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426
1800.02/1800.60	v -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443
1800.02/1800.60	v -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460
1800.02/1800.60	v -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477
1800.02/1800.60	v -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494
1800.02/1800.60	v -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511
1800.02/1800.60	v -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528
1800.02/1800.60	v -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545
1800.02/1800.60	v -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562
1800.02/1800.60	v -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579
1800.02/1800.60	v -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596
1800.02/1800.60	v -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613
1800.02/1800.60	v -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630
1800.02/1800.60	v -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647
1800.02/1800.60	v -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664
1800.02/1800.60	v -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676
1800.02/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.60	c   18    45319      4    47553     6374   247366   5916     25 1800.03
1800.02/1800.60	c Objective: 63
1800.02/1800.60	s SATISFIABLE
1800.02/1800.60	c Total time: 1800.03 s

Verifier Data (download as text)

OK	63

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node57/watcher-352786-1176641558 -o ROOT/results/node57/solver-352786-1176641558 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352786-1176641558/instance-352786-1176641558.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 20815
/proc/meminfo: memFree=1670856/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=12000 CPUtime=0
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 105291802 12288000 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3000 335 281 324 0 2003 0

[startup+0.077169 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 20815
/proc/meminfo: memFree=1670856/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=5472 CPUtime=0.06
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 903 0 0 0 6 0 0 0 18 0 1 0 105291802 5603328 718 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 1368 718 306 324 0 437 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5472

[startup+0.10117 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 20815
/proc/meminfo: memFree=1670856/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=5472 CPUtime=0.08
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 913 0 0 0 8 0 0 0 18 0 1 0 105291802 5603328 728 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 1368 728 306 324 0 437 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5472

[startup+0.301187 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 20815
/proc/meminfo: memFree=1670856/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=6588 CPUtime=0.28
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 8179 0 2 0 25 3 0 0 18 0 1 0 105291802 6746112 949 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135468120 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 1647 956 332 324 0 716 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6588

[startup+0.701222 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 20815
/proc/meminfo: memFree=1670856/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=8220 CPUtime=0.68
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 14287 0 2 0 63 5 0 0 21 0 1 0 105291802 8417280 1226 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134700657 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 2055 1226 392 324 0 1124 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8220

[startup+1.50129 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20816
/proc/meminfo: memFree=1667008/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=8320 CPUtime=1.49
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 23067 0 2 0 140 9 0 0 25 0 1 0 105291802 8519680 1300 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135227545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 2080 1300 392 324 0 1149 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8320

[startup+3.10143 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20816
/proc/meminfo: memFree=1666624/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=8520 CPUtime=3.09
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 32915 0 2 0 296 13 0 0 25 0 1 0 105291802 8724480 1275 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313599 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 2130 1275 393 324 0 1199 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8520

[startup+6.30171 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20816
/proc/meminfo: memFree=1666184/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=8520 CPUtime=6.29
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 43245 0 2 0 611 18 0 0 25 0 1 0 105291802 8724480 1257 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7829061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 2130 1257 393 324 0 1199 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8520

[startup+12.7013 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20816
/proc/meminfo: memFree=1666248/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=9064 CPUtime=12.69
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 58684 0 2 0 1243 26 0 0 25 0 1 0 105291802 9281536 1354 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 2266 1354 393 324 0 1335 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9064

[startup+25.5014 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20816
/proc/meminfo: memFree=1665672/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=9388 CPUtime=25.48
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 89043 0 2 0 2507 41 0 0 25 0 1 0 105291802 9613312 1524 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135314372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 2347 1524 393 324 0 1416 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9388

[startup+51.1016 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20816
/proc/meminfo: memFree=1664712/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=10528 CPUtime=51.07
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 135905 0 2 0 5037 70 0 0 25 0 1 0 105291802 10780672 1773 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135326641 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 2632 1773 393 324 0 1701 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 10528

[startup+102.304 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20816
/proc/meminfo: memFree=1662920/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=12404 CPUtime=102.27
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 226989 0 2 0 10105 122 0 0 25 0 1 0 105291802 12701696 2198 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135227452 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3101 2198 393 324 0 2170 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 12404

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20816
/proc/meminfo: memFree=1661448/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=14212 CPUtime=162.24
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 322058 0 2 0 16047 177 0 0 25 0 1 0 105291802 14553088 2574 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135227829 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3553 2575 393 324 0 2622 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 14212

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20816
/proc/meminfo: memFree=1661192/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=13852 CPUtime=222.23
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 413486 0 2 0 21992 231 0 0 25 0 1 0 105291802 14184448 2585 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134688012 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3463 2585 393 324 0 2532 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 13852

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20816
/proc/meminfo: memFree=1661128/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=14224 CPUtime=282.21
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 507953 0 2 0 27938 283 0 0 25 0 1 0 105291802 14565376 2604 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135203138 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3556 2604 393 324 0 2625 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 14224

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20816
/proc/meminfo: memFree=1660552/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=14616 CPUtime=342.2
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 611078 0 2 0 33875 345 0 0 25 0 1 0 105291802 14966784 2708 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134941456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3654 2708 393 324 0 2723 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 14616

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20816
/proc/meminfo: memFree=1660424/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=14748 CPUtime=402.18
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 698142 0 2 0 39822 396 0 0 25 0 1 0 105291802 15101952 2784 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134694879 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3687 2784 393 324 0 2756 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 14748

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 20816
/proc/meminfo: memFree=1660360/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=15124 CPUtime=462.16
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 799095 0 2 0 45758 458 0 0 25 0 1 0 105291802 15486976 2785 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134801502 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3781 2785 393 324 0 2850 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 15124

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 20924
/proc/meminfo: memFree=1659088/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=14720 CPUtime=522.1
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 906724 0 2 0 51687 523 0 0 25 0 1 0 105291802 15073280 2781 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135323043 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3680 2781 393 324 0 2749 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 14720

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21014
/proc/meminfo: memFree=1660104/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=14776 CPUtime=582.04
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 1002557 0 2 0 57623 581 0 0 25 0 1 0 105291802 15130624 2828 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134694892 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3694 2828 393 324 0 2763 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 14776

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21014
/proc/meminfo: memFree=1660040/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=14952 CPUtime=642.03
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 1099778 0 2 0 63565 638 0 0 25 0 1 0 105291802 15310848 2839 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3738 2839 393 324 0 2807 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 14952


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21014
/proc/meminfo: memFree=1660168/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=15156 CPUtime=821.97
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 1391237 0 2 0 81384 813 0 0 25 0 1 0 105291802 15519744 2787 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134688004 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3789 2787 393 324 0 2858 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 15156

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 21014
/proc/meminfo: memFree=1660040/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=15084 CPUtime=881.96
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 1498107 0 2 0 87319 877 0 0 25 0 1 0 105291802 15446016 2822 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135332340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3771 2822 393 324 0 2840 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 15084

[startup+942.301 s]
/proc/loadavg: 1.06 1.00 1.00 2/65 21014
/proc/meminfo: memFree=1659976/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=15336 CPUtime=941.94
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 1600191 0 2 0 93260 934 0 0 25 0 1 0 105291802 15704064 2839 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134690046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3834 2839 393 324 0 2903 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 15336

[startup+1002.3 s]
/proc/loadavg: 1.08 1.02 1.00 2/65 21014
/proc/meminfo: memFree=1659400/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=15484 CPUtime=1001.93
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 1710149 0 2 0 99197 996 0 0 25 0 1 0 105291802 15855616 2983 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3871 2983 393 324 0 2940 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 15484

[startup+1062.3 s]
/proc/loadavg: 1.09 1.03 1.00 2/65 21014
/proc/meminfo: memFree=1659400/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=15316 CPUtime=1061.91
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 1819653 0 2 0 105131 1060 0 0 25 0 1 0 105291802 15683584 2972 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7830606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3940 2974 393 324 0 3009 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 15316

[startup+1122.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 21014
/proc/meminfo: memFree=1659272/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=15764 CPUtime=1121.9
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 1925356 0 2 0 111064 1126 0 0 25 0 1 0 105291802 16142336 3016 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135316298 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3941 3016 393 324 0 3010 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 15764

[startup+1182.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 21014
/proc/meminfo: memFree=1659080/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=15988 CPUtime=1181.88
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2023587 0 2 0 117003 1185 0 0 25 0 1 0 105291802 16371712 3036 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134694920 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3997 3036 393 324 0 3066 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 15988

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 21014
/proc/meminfo: memFree=1659208/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=15792 CPUtime=1241.87
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2116259 0 2 0 122947 1240 0 0 25 0 1 0 105291802 16171008 3031 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135325595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3948 3031 393 324 0 3017 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 15792

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21014
/proc/meminfo: memFree=1659144/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=16000 CPUtime=1301.86
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2207799 0 2 0 128893 1293 0 0 25 0 1 0 105291802 16384000 3018 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134720768 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 4000 3018 393 324 0 3069 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 16000

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21014
/proc/meminfo: memFree=1659016/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=15956 CPUtime=1361.83
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2301802 0 2 0 134839 1344 0 0 25 0 1 0 105291802 16338944 3035 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134694920 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3989 3035 393 324 0 3058 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 15956

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21014
/proc/meminfo: memFree=1658952/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=16020 CPUtime=1421.82
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2394403 0 2 0 140787 1395 0 0 25 0 1 0 105291802 16404480 3068 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134720768 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 4005 3068 393 324 0 3074 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 16020

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21014
/proc/meminfo: memFree=1658952/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=15936 CPUtime=1481.8
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2484322 0 2 0 146733 1447 0 0 25 0 1 0 105291802 16318464 3055 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134700678 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3984 3055 393 324 0 3053 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 15936

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21014
/proc/meminfo: memFree=1659080/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=15992 CPUtime=1541.78
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2576540 0 2 0 152679 1499 0 0 25 0 1 0 105291802 16375808 3043 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3998 3043 393 324 0 3067 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 15992

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21014
/proc/meminfo: memFree=1659080/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=16140 CPUtime=1601.76
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2676058 0 2 0 158622 1554 0 0 25 0 1 0 105291802 16527360 3069 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 4035 3069 393 324 0 3104 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 16140

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21014
/proc/meminfo: memFree=1658760/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=16024 CPUtime=1661.75
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2769880 0 2 0 164563 1612 0 0 25 0 1 0 105291802 16408576 3091 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135331926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 4006 3091 393 324 0 3075 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 16024

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21014
/proc/meminfo: memFree=1658696/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=14432 CPUtime=1721.73
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2862492 0 2 0 170508 1665 0 0 25 0 1 0 105291802 14778368 3075 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 3608 3075 393 324 0 2677 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 14432

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21014
/proc/meminfo: memFree=1658760/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=16284 CPUtime=1781.72
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194304 2954008 0 2 0 176454 1718 0 0 25 0 1 0 105291802 16674816 3110 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135326858 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 4071 3110 393 324 0 3140 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 16284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21014
/proc/meminfo: memFree=1658760/2055920 swapFree=4187472/4192956
[pid=20815] ppid=20813 vsize=0 CPUtime=1800.02
/proc/20815/stat : 20815 (bsolo3.0.16) R 20813 20815 20377 0 -1 4194308 2981015 0 2 0 178270 1732 0 0 25 0 1 0 105291802 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20815/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 0

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.62
CPU time (s): 1800.03
CPU user time (s): 1782.71
CPU system time (s): 17.3224
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 16456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.71
system time used= 17.3224
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2981015
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 2966

runsolver used 1.07384 second user time and 3.90641 second system time

The end

Launcher Data (download as text)

Begin job on node57 on Sun Apr 15 12:52:38 UTC 2007

IDJOB= 352786
IDBENCH= 2044
IDSOLVER= 163
FILE ID= node57/352786-1176641558

PBS_JOBID= 4559833

Free space on /tmp= 66560 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352786-1176641558/instance-352786-1176641558.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node57/watcher-352786-1176641558 -o ROOT/results/node57/solver-352786-1176641558 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352786-1176641558/instance-352786-1176641558.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  c7b7ba2fb8a9fff5b9677d5bbd1edc0f

RANDOM SEED= 797473430

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node57.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1671264 kB
Buffers:         17208 kB
Cached:         245272 kB
SwapCached:       2312 kB
Active:          38448 kB
Inactive:       237084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1671264 kB
SwapTotal:     4192956 kB
SwapFree:      4187472 kB
Dirty:            4640 kB
Writeback:           0 kB
Mapped:          20564 kB
Slab:            95212 kB
Committed_AS:   180796 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB

End job on node57 on Sun Apr 15 13:22:41 UTC 2007