Trace number 3724439

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
toysat 2012-06-01SAT 245.475 245.539

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K72.opb
MD5SUMa155ccc2b565346c70170bfe1c3f5501
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark4.82427
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3960
Total number of constraints4106
Number of constraints which are clauses4034
Number of constraints which are cardinality constraints (but not clauses)72
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint72
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 73
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.09/0.16	c 2012-06-02T15:46:59+0200
0.09/0.16	c arch = x86_64
0.09/0.16	c os = linux
0.09/0.16	c compiler = ghc 7.4
0.09/0.16	c packages:
0.09/0.16	c   OptDir-0.0.1
0.09/0.16	c   array-0.4.0.0
0.09/0.16	c   base-4.5.0.0
0.09/0.16	c   bytestring-0.9.2.1
0.09/0.16	c   containers-0.4.2.1
0.09/0.16	c   deepseq-1.3.0.0
0.09/0.16	c   mtl-2.1.1
0.09/0.16	c   old_locale-1.0.0.4
0.09/0.16	c   parse_dimacs-1.2
0.09/0.16	c   parsec-3.1.2
0.09/0.16	c   queue-0.1.2
0.09/0.16	c   stm-2.3
0.09/0.16	c   time-1.4
0.09/0.16	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724439-1338644819.opb"]
0.09/0.16	c #vars 3960
0.09/0.16	c #constraints 4106
0.09/0.16	c Solving starts ...
7.59/7.61	c learnt constraints deletion: 6322 -> 3161
14.99/15.03	c learnt constraints deletion: 8169 -> 4085
27.69/27.70	c learnt constraints deletion: 9413 -> 4735
32.18/32.23	c learnt constraints deletion: 8745 -> 4373
39.39/39.48	c learnt constraints deletion: 9487 -> 4744
44.58/44.65	c learnt constraints deletion: 9407 -> 4709
50.78/50.83	c learnt constraints deletion: 9949 -> 5032
56.08/56.19	c learnt constraints deletion: 9803 -> 4902
64.47/64.58	c learnt constraints deletion: 11116 -> 5567
71.16/71.27	c learnt constraints deletion: 10592 -> 5303
78.07/78.16	c learnt constraints deletion: 10246 -> 5127
85.97/86.01	c learnt constraints deletion: 11885 -> 6000
92.37/92.47	c learnt constraints deletion: 11300 -> 5677
101.07/101.13	c learnt constraints deletion: 11250 -> 5657
112.66/112.75	c learnt constraints deletion: 12799 -> 6498
125.15/125.27	c learnt constraints deletion: 11612 -> 5848
136.36/136.41	c learnt constraints deletion: 12946 -> 6544
144.76/144.86	c learnt constraints deletion: 13216 -> 6634
151.15/151.27	c learnt constraints deletion: 12346 -> 6248
158.26/158.32	c learnt constraints deletion: 12334 -> 6554
166.54/166.61	c learnt constraints deletion: 12328 -> 6771
178.25/178.32	c learnt constraints deletion: 12921 -> 6990
184.95/185.02	c learnt constraints deletion: 12028 -> 7256
195.34/195.43	c learnt constraints deletion: 15079 -> 7681
202.74/202.81	c learnt constraints deletion: 13520 -> 7923
209.54/209.62	c learnt constraints deletion: 13654 -> 8229
216.14/216.29	c learnt constraints deletion: 13872 -> 8555
222.84/222.90	c learnt constraints deletion: 13855 -> 8859
229.03/229.10	c learnt constraints deletion: 13690 -> 9039
236.23/236.32	c learnt constraints deletion: 14556 -> 9264
241.23/241.36	c learnt constraints deletion: 13232 -> 9523
245.42/245.53	c solving time = 245.312s
245.42/245.53	c #decision = 997761
245.42/245.53	c #conflict = 177740
245.42/245.53	c #restart = 16
245.42/245.53	s SATISFIABLE
245.42/245.53	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
245.42/245.53	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
245.42/245.53	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
245.42/245.53	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
245.42/245.53	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
245.42/245.53	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
245.42/245.53	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
245.42/245.53	v -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80
245.42/245.53	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
245.42/245.53	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
245.42/245.53	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
245.42/245.53	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
245.42/245.53	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
245.42/245.53	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140
245.42/245.53	v x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
245.42/245.53	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
245.42/245.53	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
245.42/245.53	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
245.42/245.53	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
245.42/245.53	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
245.42/245.53	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210
245.42/245.53	v -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220
245.42/245.53	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
245.42/245.53	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
245.42/245.53	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
245.42/245.53	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
245.42/245.53	v -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270
245.42/245.53	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
245.42/245.53	v -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290
245.42/245.53	v x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
245.42/245.53	v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310
245.42/245.53	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
245.42/245.53	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
245.42/245.53	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
245.42/245.53	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
245.42/245.53	v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
245.42/245.53	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
245.42/245.53	v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
245.42/245.53	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
245.42/245.53	v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
245.42/245.53	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410
245.42/245.53	v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
245.42/245.53	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
245.42/245.53	v -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440
245.42/245.53	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
245.42/245.53	v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
245.42/245.53	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
245.42/245.53	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
245.42/245.53	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
245.42/245.53	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
245.42/245.53	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
245.42/245.53	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
245.42/245.53	v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
245.42/245.53	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
245.42/245.53	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
245.42/245.53	v -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560
245.42/245.53	v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
245.42/245.53	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
245.42/245.53	v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
245.42/245.53	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
245.42/245.53	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
245.42/245.53	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
245.42/245.53	v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
245.42/245.53	v -x631 -x632 -x633 -x634 -x635 x636 -x637 x638 -x639 x640
245.42/245.53	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
245.42/245.53	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
245.42/245.53	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
245.42/245.53	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
245.42/245.53	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
245.42/245.53	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
245.42/245.53	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710
245.42/245.53	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
245.42/245.53	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
245.42/245.53	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
245.42/245.53	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
245.42/245.53	v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
245.42/245.53	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770
245.42/245.53	v x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x780
245.42/245.53	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
245.42/245.53	v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
245.42/245.53	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
245.42/245.53	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
245.42/245.53	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
245.42/245.53	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
245.42/245.53	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
245.42/245.53	v -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860
245.42/245.53	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
245.42/245.53	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
245.42/245.53	v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
245.42/245.53	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
245.42/245.53	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910
245.42/245.53	v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
245.42/245.53	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930
245.42/245.53	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
245.42/245.53	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
245.42/245.53	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
245.42/245.53	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
245.42/245.53	v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980
245.42/245.53	v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990
245.42/245.53	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
245.42/245.53	v -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
245.42/245.53	v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
245.42/245.53	v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
245.42/245.53	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
245.42/245.53	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
245.42/245.53	v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060
245.42/245.53	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
245.42/245.53	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
245.42/245.53	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
245.42/245.53	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
245.42/245.53	v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
245.42/245.53	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
245.42/245.53	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130
245.42/245.53	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
245.42/245.53	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
245.42/245.53	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
245.42/245.53	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
245.42/245.53	v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
245.42/245.53	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
245.42/245.53	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
245.42/245.53	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210
245.42/245.53	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220
245.42/245.53	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230
245.42/245.53	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
245.42/245.53	v -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
245.42/245.53	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
245.42/245.53	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270
245.42/245.53	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
245.42/245.53	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
245.42/245.53	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
245.42/245.53	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
245.42/245.53	v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
245.42/245.53	v x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
245.42/245.53	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340
245.42/245.53	v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
245.42/245.53	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
245.42/245.53	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
245.42/245.53	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
245.42/245.53	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
245.42/245.53	v -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
245.42/245.53	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
245.42/245.53	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
245.42/245.53	v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
245.42/245.53	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
245.42/245.53	v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
245.42/245.53	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460
245.42/245.53	v -x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
245.42/245.53	v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480
245.42/245.53	v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
245.42/245.53	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
245.42/245.53	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
245.42/245.53	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
245.42/245.53	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
245.42/245.53	v -x1531 -x1532 -x1533 x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
245.42/245.53	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
245.42/245.53	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560
245.42/245.53	v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
245.42/245.53	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
245.42/245.53	v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
245.42/245.53	v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
245.42/245.53	v -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610
245.42/245.53	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
245.42/245.53	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630
245.42/245.53	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640
245.42/245.53	v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650
245.42/245.53	v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
245.42/245.53	v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
245.42/245.53	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680
245.42/245.53	v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
245.42/245.53	v -x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700
245.42/245.53	v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
245.42/245.53	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
245.42/245.53	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
245.42/245.53	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
245.42/245.53	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750
245.42/245.53	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
245.42/245.53	v -x1761 -x1762 x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
245.42/245.53	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780
245.42/245.53	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
245.42/245.53	v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800
245.42/245.53	v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
245.42/245.53	v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
245.42/245.53	v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830
245.42/245.53	v -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840
245.42/245.53	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850
245.42/245.53	v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
245.42/245.53	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870
245.42/245.53	v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
245.42/245.53	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
245.42/245.53	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
245.42/245.53	v -x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 -x1908 -x1909 -x1910
245.42/245.53	v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
245.42/245.53	v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930
245.42/245.53	v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
245.42/245.53	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950
245.42/245.53	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
245.42/245.53	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970
245.42/245.53	v -x1971 -x1972 -x1973 -x1974 -x1975 x1976 -x1977 -x1978 -x1979 -x1980
245.42/245.53	v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
245.42/245.53	v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000
245.42/245.53	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
245.42/245.53	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020
245.42/245.53	v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
245.42/245.53	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
245.42/245.53	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 x2047 -x2048 -x2049 -x2050
245.42/245.53	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
245.42/245.53	v x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
245.42/245.53	v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
245.42/245.53	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090
245.42/245.53	v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100
245.42/245.53	v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
245.42/245.53	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 x2117 -x2118 -x2119 -x2120
245.42/245.53	v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
245.42/245.53	v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
245.42/245.53	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
245.42/245.53	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160
245.42/245.53	v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170
245.42/245.53	v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180
245.42/245.53	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190
245.42/245.53	v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200
245.42/245.53	v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210
245.42/245.53	v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
245.42/245.53	v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230
245.42/245.53	v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240
245.42/245.53	v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
245.42/245.53	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
245.42/245.53	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270
245.42/245.53	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
245.42/245.53	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290
245.42/245.53	v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300
245.42/245.53	v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310
245.42/245.53	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320
245.42/245.53	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330
245.42/245.53	v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
245.42/245.53	v -x2341 -x2342 x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350
245.42/245.53	v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360
245.42/245.53	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370
245.42/245.53	v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380
245.42/245.53	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390
245.42/245.53	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400
245.42/245.53	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410
245.42/245.53	v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420
245.42/245.53	v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430
245.42/245.53	v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
245.42/245.53	v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450
245.42/245.53	v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460
245.42/245.53	v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470
245.42/245.53	v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480
245.42/245.53	v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490
245.42/245.53	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500
245.42/245.53	v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510
245.42/245.53	v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520
245.42/245.53	v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530
245.42/245.53	v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540
245.42/245.53	v -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550
245.42/245.53	v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560
245.42/245.53	v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
245.42/245.53	v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580
245.42/245.53	v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590
245.42/245.53	v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600
245.42/245.53	v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610
245.42/245.53	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620
245.42/245.53	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
245.42/245.53	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 x2638 -x2639 -x2640
245.42/245.53	v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650
245.42/245.53	v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660
245.42/245.53	v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670
245.42/245.53	v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680
245.42/245.53	v -x2681 -x2682 -x2683 x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690
245.42/245.53	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700
245.42/245.53	v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710
245.42/245.53	v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720
245.42/245.53	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730
245.42/245.53	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740
245.42/245.53	v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750
245.42/245.53	v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760
245.42/245.53	v -x2761 -x2762 -x2763 x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770
245.42/245.53	v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780
245.42/245.53	v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790
245.42/245.53	v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800
245.42/245.53	v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810
245.42/245.53	v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820
245.42/245.53	v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830
245.42/245.53	v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 x2838 -x2839 -x2840
245.42/245.53	v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 -x2849 x2850
245.42/245.53	v -x2851 x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860
245.42/245.53	v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870
245.42/245.53	v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880
245.42/245.53	v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 x2888 -x2889 -x2890
245.42/245.53	v -x2891 -x2892 -x2893 -x2894 -x2895 x2896 -x2897 -x2898 -x2899 -x2900
245.42/245.53	v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910
245.42/245.53	v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920
245.42/245.53	v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930
245.42/245.53	v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940
245.42/245.53	v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950
245.42/245.53	v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960
245.42/245.53	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 x2967 -x2968 -x2969 -x2970
245.42/245.53	v -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980
245.42/245.53	v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990
245.42/245.53	v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000
245.42/245.53	v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010
245.42/245.53	v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
245.42/245.53	v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030
245.42/245.53	v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 x3038 -x3039 -x3040
245.42/245.53	v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050
245.42/245.53	v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060
245.42/245.53	v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070
245.42/245.53	v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080
245.42/245.53	v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090
245.42/245.53	v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100
245.42/245.53	v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 x3109 -x3110
245.42/245.53	v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120
245.42/245.53	v -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130
245.42/245.53	v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140
245.42/245.53	v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150
245.42/245.53	v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160
245.42/245.53	v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170
245.42/245.53	v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 x3180
245.42/245.53	v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190
245.42/245.53	v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200
245.42/245.53	v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210
245.42/245.53	v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220
245.42/245.53	v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230
245.42/245.53	v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240
245.42/245.53	v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250
245.42/245.53	v x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260
245.42/245.53	v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270
245.42/245.53	v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280
245.42/245.53	v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290
245.42/245.53	v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300
245.42/245.53	v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310
245.42/245.53	v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320
245.42/245.53	v -x3321 x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330
245.42/245.53	v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340
245.42/245.53	v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350
245.42/245.53	v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360
245.42/245.53	v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370
245.42/245.53	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380
245.42/245.53	v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390
245.42/245.53	v -x3391 -x3392 x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400
245.42/245.53	v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410
245.42/245.53	v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420
245.42/245.53	v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430
245.42/245.53	v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440
245.42/245.53	v -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450
245.42/245.53	v -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460
245.42/245.53	v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470
245.42/245.53	v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480
245.42/245.53	v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490
245.42/245.53	v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500
245.42/245.53	v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510
245.42/245.53	v x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520
245.42/245.53	v -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530
245.42/245.53	v -x3531 -x3532 -x3533 -x3534 x3535 -x3536 -x3537 -x3538 -x3539 -x3540
245.42/245.53	v -x3541 -x3542 -x3543 -x3544 x3545 -x3546 -x3547 -x3548 -x3549 -x3550
245.42/245.53	v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560
245.42/245.53	v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570
245.42/245.53	v -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580
245.42/245.53	v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590
245.42/245.53	v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600
245.42/245.53	v -x3601 -x3602 -x3603 -x3604 -x3605 x3606 -x3607 -x3608 -x3609 -x3610
245.42/245.53	v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 x3618 -x3619 -x3620
245.42/245.53	v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630
245.42/245.53	v -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640
245.42/245.53	v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650
245.42/245.53	v -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660
245.42/245.53	v -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670
245.42/245.53	v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680
245.42/245.53	v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690
245.42/245.53	v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700
245.42/245.53	v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710
245.42/245.53	v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720
245.42/245.53	v -x3721 -x3722 -x3723 -x3724 x3725 -x3726 -x3727 -x3728 -x3729 -x3730
245.42/245.53	v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740
245.42/245.53	v -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750
245.42/245.53	v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760
245.42/245.53	v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770
245.42/245.53	v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780
245.42/245.53	v -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790
245.42/245.53	v -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800
245.42/245.53	v x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810
245.42/245.53	v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820
245.42/245.53	v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830
245.42/245.53	v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840
245.42/245.53	v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850
245.42/245.53	v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860
245.42/245.53	v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 x3870
245.42/245.53	v -x3871 x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880
245.42/245.53	v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890
245.42/245.53	v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900
245.42/245.53	v -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910
245.42/245.53	v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920
245.42/245.53	v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930
245.42/245.53	v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940
245.42/245.53	v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950
245.42/245.53	v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 x3960
245.42/245.53	c total time = 245.473s

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3724439-1338644819/watcher-3724439-1338644819 -o /tmp/evaluation-result-3724439-1338644819/solver-3724439-1338644819 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724439-1338644819.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15891
/proc/meminfo: memFree=31706624/32873844 swapFree=8656/8656
[pid=15891] ppid=15889 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/15891/stat : 15891 (toysat) R 15889 15891 14738 0 -1 4202496 800 0 0 0 0 0 0 0 20 0 1 0 330610475 6373376 721 33554432000 4194304 8989770 140737363320784 140733852373752 4209325 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15891/statm: 1556 722 428 1171 0 333 0

[startup+0.0888071 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15891
/proc/meminfo: memFree=31706624/32873844 swapFree=8656/8656
[pid=15891] ppid=15889 vsize=12368 CPUtime=0.08 cores=0,2,4,6
/proc/15891/stat : 15891 (toysat) R 15889 15891 14738 0 -1 4202496 2149 0 0 0 8 0 0 0 20 0 1 0 330610475 12664832 2069 33554432000 4194304 8989770 140737363320784 140733852373752 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15891/statm: 3092 2069 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12368

[startup+0.100247 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15891
/proc/meminfo: memFree=31706624/32873844 swapFree=8656/8656
[pid=15891] ppid=15889 vsize=12368 CPUtime=0.09 cores=0,2,4,6
/proc/15891/stat : 15891 (toysat) R 15889 15891 14738 0 -1 4202496 2169 0 0 0 9 0 0 0 20 0 1 0 330610475 12664832 2089 33554432000 4194304 8989770 140737363320784 140733852373752 7857787 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15891/statm: 3092 2095 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368

[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15891
/proc/meminfo: memFree=31706624/32873844 swapFree=8656/8656
[pid=15891] ppid=15889 vsize=15440 CPUtime=0.29 cores=0,2,4,6
/proc/15891/stat : 15891 (toysat) R 15889 15891 14738 0 -1 4202496 3171 0 0 0 29 0 0 0 20 0 1 0 330610475 15810560 3091 33554432000 4194304 8989770 140737363320784 140737363320048 7953280 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15891/statm: 3860 3091 459 1171 0 2637 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15440

[startup+0.700219 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15891
/proc/meminfo: memFree=31706624/32873844 swapFree=8656/8656
[pid=15891] ppid=15889 vsize=16464 CPUtime=0.68 cores=0,2,4,6
/proc/15891/stat : 15891 (toysat) R 15889 15891 14738 0 -1 4202496 3427 0 0 0 68 0 0 0 20 0 1 0 330610475 16859136 3347 33554432000 4194304 8989770 140737363320784 140737363320048 4356036 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15891/statm: 4116 3347 459 1171 0 2893 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 16464

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15892
/proc/meminfo: memFree=31692356/32873844 swapFree=8656/8656
[pid=15891] ppid=15889 vsize=18512 CPUtime=1.48 cores=0,2,4,6
/proc/15891/stat : 15891 (toysat) R 15889 15891 14738 0 -1 4202496 3939 0 0 0 148 0 0 0 20 0 1 0 330610475 18956288 3859 33554432000 4194304 8989770 140737363320784 140737363320280 4472189 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15891/statm: 4628 3859 459 1171 0 3405 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 18512

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15892
/proc/meminfo: memFree=31686172/32873844 swapFree=8656/8656
[pid=15891] ppid=15889 vsize=24656 CPUtime=3.09 cores=0,2,4,6
/proc/15891/stat : 15891 (toysat) R 15889 15891 14738 0 -1 4202496 5323 0 0 0 307 2 0 0 20 0 1 0 330610475 25247744 5243 33554432000 4194304 8989770 140737363320784 140737363320280 4473766 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15891/statm: 6164 5243 459 1171 0 4941 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24656

[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15892
/proc/meminfo: memFree=31670424/32873844 swapFree=8656/8656
[pid=15891] ppid=15889 vsize=33872 CPUtime=6.29 cores=0,2,4,6
/proc/15891/stat : 15891 (toysat) R 15889 15891 14738 0 -1 4202496 7714 0 0 0 626 3 0 0 20 0 1 0 330610475 34684928 7634 33554432000 4194304 8989770 140737363320784 140737363320280 7723232 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/15891/statm: 8468 7634 459 1171 0 7245 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33872

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15892
/proc/meminfo: memFree=31684964/32873844 swapFree=8656/8656
[pid=15891] ppid=15889 vsize=41040 CPUtime=12.68 cores=0,2,4,6
/proc/15891/stat : 15891 (toysat) R 15889 15891 14738 0 -1 4202496 9422 0 0 0 1262 6 0 0 20 0 1 0 330610475 42024960 9342 33554432000 4194304 8989770 140737363320784 140737363319888 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15891/statm: 10260 9342 461 1171 0 9037 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 41040

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15892
/proc/meminfo: memFree=31673992/32873844 swapFree=8656/8656
[pid=15891] ppid=15889 vsize=51280 CPUtime=25.48 cores=0,2,4,6
/proc/15891/stat : 15891 (toysat) R 15889 15891 14738 0 -1 4202496 12133 0 0 0 2538 10 0 0 20 0 1 0 330610475 52510720 12053 33554432000 4194304 8989770 140737363320784 140737363318720 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15891/statm: 12820 12053 461 1171 0 11597 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 51280

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15892
/proc/meminfo: memFree=31662552/32873844 swapFree=8656/8656
[pid=15891] ppid=15889 vsize=54352 CPUtime=51.07 cores=0,2,4,6
/proc/15891/stat : 15891 (toysat) R 15889 15891 14738 0 -1 4202496 13421 0 0 0 5086 21 0 0 20 0 1 0 330610475 55656448 12826 33554432000 4194304 8989770 140737363320784 140737363320280 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15891/statm: 13588 12826 461 1171 0 12365 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 54352

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15892
/proc/meminfo: memFree=31685224/32873844 swapFree=8656/8656
[pid=15891] ppid=15889 vsize=46160 CPUtime=102.27 cores=0,2,4,6
/proc/15891/stat : 15891 (toysat) R 15889 15891 14738 0 -1 4202496 14709 0 0 0 10186 41 0 0 20 0 1 0 330610475 47267840 10778 33554432000 4194304 8989770 140737363320784 140737363320280 4209376 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15891/statm: 11540 10778 461 1171 0 10317 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 46160

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15893
/proc/meminfo: memFree=31656508/32873844 swapFree=8656/8656
[pid=15891] ppid=15889 vsize=46160 CPUtime=162.25 cores=0,2,4,6
/proc/15891/stat : 15891 (toysat) R 15889 15891 14738 0 -1 4202496 22649 0 0 0 16159 66 0 0 20 0 1 0 330610475 47267840 10778 33554432000 4194304 8989770 140737363320784 140737363320280 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15891/statm: 11540 10778 461 1171 0 10317 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 46160

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15896
/proc/meminfo: memFree=31590956/32873844 swapFree=8656/8656
[pid=15891] ppid=15889 vsize=48208 CPUtime=222.23 cores=0,2,4,6
/proc/15891/stat : 15891 (toysat) R 15889 15891 14738 0 -1 4202496 30689 0 0 0 22134 89 0 0 20 0 1 0 330610475 49364992 11135 33554432000 4194304 8989770 140737363320784 140737363320280 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15891/statm: 12052 11135 461 1171 0 10829 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 48208

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

[startup+230.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15896
/proc/meminfo: memFree=31614024/32873844 swapFree=8656/8656
[pid=15891] ppid=15889 vsize=52304 CPUtime=230.23 cores=0,2,4,6
/proc/15891/stat : 15891 (toysat) R 15889 15891 14738 0 -1 4202496 31871 0 0 0 22931 92 0 0 20 0 1 0 330610475 53559296 12314 33554432000 4194304 8989770 140737363320784 140737363320048 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15891/statm: 13076 12314 461 1171 0 11853 0
Current children cumulated CPU time (s) 230.23
Current children cumulated vsize (KiB) 52304

[startup+236.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15896
/proc/meminfo: memFree=31612652/32873844 swapFree=8656/8656
[pid=15891] ppid=15889 vsize=54352 CPUtime=236.63 cores=0,2,4,6
/proc/15891/stat : 15891 (toysat) R 15889 15891 14738 0 -1 4202496 32223 0 0 0 23569 94 0 0 20 0 1 0 330610475 55656448 12666 33554432000 4194304 8989770 140737363320784 140737363303880 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15891/statm: 13588 12666 461 1171 0 12365 0
Current children cumulated CPU time (s) 236.63
Current children cumulated vsize (KiB) 54352

[startup+239.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15896
/proc/meminfo: memFree=31611784/32873844 swapFree=8656/8656
[pid=15891] ppid=15889 vsize=54352 CPUtime=239.83 cores=0,2,4,6
/proc/15891/stat : 15891 (toysat) R 15889 15891 14738 0 -1 4202496 32383 0 0 0 23888 95 0 0 20 0 1 0 330610475 55656448 12826 33554432000 4194304 8989770 140737363320784 140737363320280 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15891/statm: 13588 12826 461 1171 0 12365 0
Current children cumulated CPU time (s) 239.83
Current children cumulated vsize (KiB) 54352

[startup+243.107 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 15896
/proc/meminfo: memFree=31619480/32873844 swapFree=8656/8656
[pid=15891] ppid=15889 vsize=46160 CPUtime=243.04 cores=0,2,4,6
/proc/15891/stat : 15891 (toysat) R 15889 15891 14738 0 -1 4202496 32383 0 0 0 24207 97 0 0 20 0 1 0 330610475 47267840 10778 33554432000 4194304 8989770 140737363320784 140737363320048 7857787 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15891/statm: 11540 10778 461 1171 0 10317 0
Current children cumulated CPU time (s) 243.04
Current children cumulated vsize (KiB) 46160

[startup+244.7 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 15896
/proc/meminfo: memFree=31619480/32873844 swapFree=8656/8656
[pid=15891] ppid=15889 vsize=46160 CPUtime=244.63 cores=0,2,4,6
/proc/15891/stat : 15891 (toysat) R 15889 15891 14738 0 -1 4202496 32383 0 0 0 24366 97 0 0 20 0 1 0 330610475 47267840 10778 33554432000 4194304 8989770 140737363320784 140737363320048 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15891/statm: 11540 10778 461 1171 0 10317 0
Current children cumulated CPU time (s) 244.63
Current children cumulated vsize (KiB) 46160

[startup+245.1 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 15896
/proc/meminfo: memFree=31619480/32873844 swapFree=8656/8656
[pid=15891] ppid=15889 vsize=46160 CPUtime=245.02 cores=0,2,4,6
/proc/15891/stat : 15891 (toysat) R 15889 15891 14738 0 -1 4202496 32383 0 0 0 24405 97 0 0 20 0 1 0 330610475 47267840 10778 33554432000 4194304 8989770 140737363320784 140737363320280 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15891/statm: 11540 10778 461 1171 0 10317 0
Current children cumulated CPU time (s) 245.02
Current children cumulated vsize (KiB) 46160

[startup+245.5 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 15896
/proc/meminfo: memFree=31619480/32873844 swapFree=8656/8656
[pid=15891] ppid=15889 vsize=46160 CPUtime=245.42 cores=0,2,4,6
/proc/15891/stat : 15891 (toysat) R 15889 15891 14738 0 -1 4202496 32383 0 0 0 24445 97 0 0 20 0 1 0 330610475 47267840 10778 33554432000 4194304 8989770 140737363320784 140737363320280 7953280 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/15891/statm: 11540 10778 461 1171 0 10317 0
Current children cumulated CPU time (s) 245.42
Current children cumulated vsize (KiB) 46160

Child status: 0
Real time (s): 245.539
CPU time (s): 245.475
CPU user time (s): 244.494
CPU system time (s): 0.98085
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 61520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.494
system time used= 0.98085
maximum resident set size= 58472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32398
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= 29
involuntary context switches= 319

runsolver used 0.350946 second user time and 1.22781 second system time

The end

Launcher Data 

Begin job on node102 at 2012-06-02 15:46:59
IDJOB=3724439
IDBENCH=90228
IDSOLVER=2308
FILE ID=node102/3724439-1338644819
RUNJOBID= node102-1338631509-14754
PBS_JOBID= 14636478
Free space on /tmp= 71184 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K72.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724439-1338644819/watcher-3724439-1338644819 -o /tmp/evaluation-result-3724439-1338644819/solver-3724439-1338644819 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724439-1338644819.opb

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

MD5SUM BENCH= a155ccc2b565346c70170bfe1c3f5501
RANDOM SEED=565916425

node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31707492 kB
Buffers:          113396 kB
Cached:           195820 kB
SwapCached:         5544 kB
Active:           179088 kB
Inactive:         239704 kB
Active(anon):     106212 kB
Inactive(anon):     5524 kB
Active(file):      72876 kB
Inactive(file):   234180 kB
Unevictable:        8656 kB
Mlocked:            8656 kB
SwapTotal:      67108856 kB
SwapFree:       67097164 kB
Dirty:              7644 kB
Writeback:             8 kB
AnonPages:        113132 kB
Mapped:            10716 kB
Shmem:                 0 kB
Slab:             606772 kB
SReclaimable:      47956 kB
SUnreclaim:       558816 kB
KernelStack:        1472 kB
PageTables:         4500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     227748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71176 MiB
End job on node102 at 2012-06-02 15:51:05