0.00/0.01	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
251.60/251.63	o -38297600000
251.60/251.63	o -42786816000
251.60/251.63	o -43118592000
251.60/251.63	o -43214848000
251.60/251.63	o -43215424000
251.60/251.63	o -43216928000
251.60/251.63	o -43219520000
251.60/251.63	o -43219588500
251.60/251.63	o -43412032000
251.60/251.63	o -43413760000
251.60/251.63	o -43413790000
251.60/251.63	o -43414910000
251.60/251.63	o -64648574000
251.60/251.63	o -69236094000
251.60/251.63	o -69245054000
251.60/251.63	o -69245084000
251.60/251.63	o -111712412000
251.60/251.63	o -111721116000
251.60/251.63	o -111721131000
251.60/251.63	o -117095083000
251.60/251.63	o -117099563000
251.60/251.63	o -117099580500
251.60/251.63	o -117099820500
251.60/251.63	o -117103148500
251.60/251.63	o -117103183500
251.60/251.63	o -117103323500
251.60/251.63	o -144366299500
251.60/251.63	o -160094939500
251.60/251.63	o -160096603500
251.60/251.63	o -160097019500
251.60/251.63	o -160097079500
251.60/251.63	o -160588599500
251.60/251.63	o -160588761500
251.60/251.63	o -160624601500
251.60/251.63	o -162918361500
251.60/251.63	o -181268441500
251.60/251.63	o -181268521500
251.60/251.63	o -181273001500
251.60/251.63	o -181416361500
251.60/251.63	o -181556649500
251.60/251.63	o -181556689500
251.60/251.63	o -181587921500
251.60/251.63	o -182149073500
251.60/251.63	o -182162385500
251.60/251.63	o -182162521500
251.60/251.63	o -182162551500
251.60/251.63	o -187405431500
251.60/251.63	o -187477111500
251.60/251.63	o -187492471500
251.60/251.63	o -187492492000
251.60/251.63	o -187492656000
251.60/251.63	o -187631920000
251.60/251.63	o -188205360000
251.60/251.63	o -188213040000
251.60/251.63	o -188214000000
251.60/251.63	o -188214832000
251.60/251.63	o -188214936000
251.60/251.63	o -188216032000
251.60/251.63	o -188216504000
251.60/251.63	o -188552376000
251.60/251.63	o -206902456000
251.60/251.63	o -228398264000
251.60/251.63	o -228398271500
251.60/251.63	o -228398353500
251.60/251.63	o -228398473500
251.60/251.63	o -232265097500
251.60/251.63	o -232307081500
251.60/251.63	o -234273161500
251.60/251.63	o -234486153500
251.60/251.63	o -234496521500
251.60/251.63	o -234537481500
251.60/251.63	o -234567689500
251.60/251.63	o -235051017500
251.60/251.63	o -235071753500
251.60/251.63	o -236218633500
251.60/251.63	o -236221257500
251.60/251.63	o -236225033500
251.60/251.63	o -236225094500
251.60/251.63	o -236225742500
251.60/251.63	o -236995790500
251.60/251.63	o -236995831500
251.60/251.63	o -236996039500
251.60/251.63	o -236996060000
251.60/251.63	o -237006556000
251.60/251.63	o -237008796000
251.60/251.63	o -237009916000
251.60/251.63	o -237214716000
251.60/251.63	o -237358076000
251.60/251.63	o -237644796000
251.60/251.63	o -237714428000
251.60/251.63	o -237714448000
251.60/251.63	o -238681104000
251.60/251.63	o -238764048000
251.60/251.63	o -238764528000
251.60/251.63	o -238764764000
251.60/251.63	o -239051484000
251.60/251.63	o -239051648000
251.60/251.63	o -239053888000
251.60/251.63	o -239060128000
251.60/251.63	o -239060372000
251.60/251.63	o -241714580000
251.60/251.63	o -241718420000
251.60/251.63	o -241727380000
251.60/251.63	o -241788820000
251.60/251.63	o -241788980000
251.60/251.63	o -241789061000
251.60/251.63	o -241789068500
251.60/251.63	o -241789820500
251.60/251.63	o -241790060500
251.60/251.63	o -241791356500
251.60/251.63	o -241792300500
251.60/251.63	o -241792700500
251.60/251.63	o -241792713500
251.60/251.63	o -241792833500
251.60/251.63	o -241792903500
251.60/251.63	o -241814277594
251.60/251.63	o -241814294594
251.60/251.63	o -241814394594
251.60/251.63	o -241814668594
251.60/251.63	o -241814709594
251.60/251.63	o -241814803594
251.60/251.63	o -241814871594
251.60/251.63	o -241818228594
251.60/251.63	o -241818364594
251.60/251.63	o -241818504594
251.60/251.63	o -241818553594
251.60/251.63	o -241818587594
251.60/251.63	o -241818859594
251.60/251.63	o -241819147594
251.60/251.63	o -241819187594
251.60/251.63	o -241819395594
251.60/251.63	o -241819399594
251.60/251.63	o -242048533594
251.60/251.63	o -242049653594
251.60/251.63	o -242050197594
251.60/251.63	o -242293045594
251.60/251.63	o -242293285594
251.60/251.63	o -242299557594
251.60/251.63	o -242316965594
251.60/251.63	o -242379429594
251.60/251.63	o -242388389594
251.60/251.63	o -242396997594
251.60/251.63	o -242397148594
251.60/251.63	o -242397158594
251.60/251.63	o -242397239594
251.60/251.63	o -242397243594
251.60/251.63	o -242397247594
251.60/251.63	o -242397335594
251.60/251.63	o -242397429594
251.60/251.63	o -242403427594
251.60/251.63	o -242403467594
251.60/251.63	o -242403548594
251.60/251.63	o -242403552594
251.60/251.63	o -242403639594
251.60/251.63	o -242403647594
251.60/251.63	o -242403679594
251.60/251.63	o -242403692594
251.60/251.63	o -242403716594
251.60/251.63	o -242403733594
251.60/251.63	o -242403809594
251.60/251.63	o -242403850594
251.60/251.63	o -242403935594
251.60/251.63	o -242403943594
251.60/251.63	o -242403947594
251.60/251.63	o -242403951594
251.60/251.63	o -242404048594
251.60/251.63	o -242404089594
251.60/251.63	o -242404229594
251.60/251.63	o -242404395594
251.60/251.63	o -242404401594
251.60/251.63	o -242404459594
251.60/251.63	o -242404463594
251.60/251.63	o -242404508594
251.60/251.63	o -242404557594
251.60/251.63	o -242404574594
251.60/251.63	o -242404591594
251.60/251.63	o -242404676594
251.60/251.63	o -242404699594
251.60/251.63	o -242404705594
251.60/251.63	o -242404771594
251.60/251.63	o -242404775594
251.60/251.63	o -242404779594
251.60/251.63	o -242404783594
251.60/251.63	o -242410653594
251.60/251.63	o -242410753594
251.60/251.63	o -242417025594
251.60/251.63	o -242417573594
251.60/251.63	o -242418405594
251.60/251.63	o -242544837594
251.60/251.63	o -242549989594
251.60/251.63	o -242550261594
251.60/251.63	o -242550501594
251.60/251.63	o -242550835594
251.60/251.63	o -242550898594
251.60/251.63	o -242550960594
251.60/251.63	o -242551043594
251.60/251.63	o -242552054594
251.60/251.63	o -242552131594
251.60/251.63	o -242552163594
251.60/251.63	o -242552167594
251.60/251.63	o -242552171594
251.60/251.63	o -242552175594
251.60/251.63	o -242559851594
251.60/251.63	o -242559855594
251.60/251.63	o -242565136594
251.60/251.63	o -242565586594
251.60/251.63	o -242565643594
251.60/251.63	o -242565667594
251.60/251.63	o -242565671594
251.60/251.63	o -242565679594
251.60/251.63	o -242566069594
251.60/251.63	o -242566075594
251.60/251.63	o -242566156594
251.60/251.63	o -242566211594
251.60/251.63	o -242566219594
251.60/251.63	o -242566223594
251.60/251.63	o -242566255594
251.60/251.63	o -250397004819
251.60/251.63	o -250397548819
251.60/251.63	o -250397580819
251.60/251.63	o -250397593819
251.60/251.63	o -250397610819
251.60/251.63	o -250397750819
251.60/251.63	o -250397799819
251.60/251.63	o -250400649819
251.60/251.63	o -250400662819
251.60/251.63	o -250401206819
251.60/251.63	o -250401223819
251.60/251.63	o -250401255819
251.60/251.63	o -250405335819
251.60/251.63	o -250405575819
251.60/251.63	o -250405607819
251.60/251.63	o -250409943819
251.60/251.63	o -250410183819
251.60/251.63	o -250410215819
251.60/251.63	o -250416615819
251.60/251.63	o -250479399819
251.60/251.63	o -250479975819
251.60/251.63	o -250485703819
251.60/251.63	o -250485975819
251.60/251.63	o -250486215819
251.60/251.63	o -250486247819
251.60/251.63	o -250500839819
251.60/251.63	o -250505191819
251.60/251.63	o -250520551819
251.60/251.63	o -250536871819
251.60/251.63	o -250537143819
251.60/251.63	o -250537383819
251.60/251.63	o -250537959819
251.60/251.63	o -250738119819
251.60/251.63	o -250738391819
251.60/251.63	o -250738631819
251.60/251.63	o -250738663819
251.60/251.63	o -250928583819
251.60/251.63	o -250943175819
251.60/251.63	o -250943207819
251.60/251.63	o -250947559819
1800.06/1800.01	>>> Terminate signal received
1800.06/1800.01	o -251122599819
1800.06/1800.01	o -251132455819
1800.06/1800.01	o -251132999819
1800.06/1800.01	o -251133031819
1800.06/1800.01	o -251134647819
1800.06/1800.01	o -251134919819
1800.06/1800.01	o -251134951819
1800.06/1800.01	o -251136487819
1800.06/1800.01	o -251139399819
1800.06/1800.01	o -251139671819
1800.06/1800.01	o -251139911819
1800.06/1800.01	o -251139943819
1800.06/1800.01	o -251145255819
1800.06/1800.01	o -251145527819
1800.06/1800.01	o -251145767819
1800.06/1800.01	o -251146343819
1800.06/1800.01	o -251148263819
1800.06/1800.01	o -256693944498
1800.06/1800.01	o -256694044498
1800.06/1800.01	o -256694055498
1800.06/1800.01	o -256694081498
1800.06/1800.01	o -256694201498
1800.06/1800.01	o -256694216498
1800.06/1800.01	o -256695624498
1800.06/1800.01	o -256695761498
1800.06/1800.01	o -256695771098
1800.06/1800.01	o -256695775898
1800.06/1800.01	o -256695935898
1800.06/1800.01	o -256695997850
1800.06/1800.01	o -256696074650
1800.06/1800.01	o -256696114650
1800.06/1800.01	o -256696125650
1800.06/1800.01	o -256696605650
1800.06/1800.01	o -256696611150
1800.06/1800.01	o -256696851150
1800.06/1800.01	o -256700691150
1800.06/1800.01	o -256700735150
1800.06/1800.01	o -256701695150
1800.06/1800.01	o -256701717150
1800.06/1800.01	o -256701805150
1800.06/1800.01	o -256701886150
1800.06/1800.01	o -256701901638
1800.06/1800.01	o -256703197638
1800.06/1800.01	o -256705389638
1800.06/1800.01	o -256705449638
1800.06/1800.01	o -256709097638
1800.06/1800.01	o -256720937638
1800.06/1800.01	o -256721113638
1800.06/1800.01	o -256721673638
1800.06/1800.01	o -256722001638
1800.06/1800.01	o -256739537638
1800.06/1800.01	o -256778859238
1800.06/1800.01	o -257093432038
1800.06/1800.01	o -257129272038
1800.06/1800.01	o -257129348838
1800.06/1800.01	o -257286635238
1800.06/1800.01	o -257409515238
1800.06/1800.01	o -257411435238
1800.06/1800.01	o -257411915238
1800.06/1800.01	o -257421745638
1800.06/1800.01	o -257472945638
1800.06/1800.01	o -257653169638
1800.06/1800.01	o -260602289638
1800.06/1800.01	o -260607204838
1800.06/1800.01	o -260607243238
1800.06/1800.01	o -260607284238
1800.06/1800.01	o -260609204238
1800.06/1800.01	o -260612020238
1800.06/1800.01	o -260682164238
1800.06/1800.01	o -265597364238
1800.06/1800.01	o -265597364838
1800.06/1800.01	o -265597484838
1800.06/1800.01	o -265597543838
1800.06/1800.01	o -265597546238
1800.06/1800.01	o -265600003838
1800.06/1800.01	o -265600123838
1800.06/1800.01	o -265600285838
1800.06/1800.01	o -265600295438
1800.06/1800.01	o -265600459438
1800.06/1800.01	o -265600494438
1800.06/1800.01	o -265621486438
1800.06/1800.01	o -265631982438
1800.06/1800.01	o -265632622438
1800.06/1800.01	o -265632630182
1800.06/1800.01	o -265634230182
1800.06/1800.01	o -265634725798
1800.06/1800.01	o -265639909798
1800.06/1800.01	o -265642725798
1800.06/1800.01	o -265732837798
1800.06/1800.01	o -265733797798
1800.06/1800.01	o -265733937798
1800.06/1800.01	o -265734019798
1800.06/1800.01	o -265739651798
1800.06/1800.01	o -265740771798
1800.06/1800.01	o -265742339798
1800.06/1800.01	o -265744227798
1800.06/1800.01	o -265760087510
1800.06/1800.01	o -265760149462
1800.06/1800.01	o -266583072950
1800.06/1800.01	o -266644512950
1800.06/1800.01	o -266644592950
1800.06/1800.01	o -266645344950
1800.06/1800.01	o -266891104950
1800.06/1800.01	o -266893664950
1800.06/1800.01	o -266897440950
1800.06/1800.01	o -266898096950
1800.06/1800.01	o -266898158902
1800.06/1800.01	o -266908654902
1800.06/1800.01	o -266953710902
1800.06/1800.01	o -266953958710
1800.06/1800.01	o -266995430710
1800.06/1800.01	o -267026150710
1800.06/1800.01	o -267055334710
1800.06/1800.01	o -267055574710
1800.06/1800.01	o -267137494710
1800.06/1800.01	o -267137774710
1800.06/1800.01	o -267158510710
1800.06/1800.01	o -267158592710
1800.06/1800.01	o -267230272710
1800.06/1800.01	o -267234176710
1800.06/1800.01	o -267236414710
1800.06/1800.01	o -267237374710
1800.06/1800.01	o -267237375678
1800.06/1800.01	o -267238687678
1800.06/1800.01	o -267243775678
1800.06/1800.01	o -267243791166
1800.06/1800.01	o -267243791287
1800.06/1800.01	o -267243853239
1800.06/1800.01	o -267370730935
1800.06/1800.01	o -267370731419
1800.06/1800.01	o -267370761419
1800.06/1800.01	o -268445551819
1800.06/1800.01	o -268445903819
1800.06/1800.01	o -268447407819
1800.06/1800.01	o -268463267531
1800.06/1800.01	o -268463324531
1800.06/1800.01	o -268463354531
1800.06/1800.01	o -268463554531
1800.06/1800.01	o -268471284387
1800.06/1800.01	o -268471372387
1800.06/1800.01	o -268471374323
1800.06/1800.01	o -268471442823
1800.06/1800.01	o -268471450323
1800.06/1800.01	o -268962970323
1800.06/1800.01	o -268962974195
1800.06/1800.01	o -268962994695
1800.06/1800.01	o -268963182695
1800.06/1800.01	o -269024592695
1800.06/1800.01	o -269024622695
1800.06/1800.01	o -269024682695
1800.06/1800.01	o -269024703195
1800.06/1800.01	o -269032383195
1800.06/1800.01	o -269032405195
1800.06/1800.01	o -269032653003
1800.06/1800.01	o -269159530699
1800.06/1800.01	o -269159534571
1800.06/1800.01	o -269159534692
1800.06/1800.01	o -269159569692
1800.06/1800.01	o -269159570176
1800.06/1800.01	o -269159746176
1800.06/1800.01	o -269159777152
1800.06/1800.01	o -269159797152
1800.06/1800.01	o -269159921056
1800.06/1800.01	o -269160625056
1800.06/1800.01	o -269160626992
1800.06/1800.01	o -269160657968
1800.06/1800.01	o -269160661840
1800.06/1800.01	o -269160909648
1800.06/1800.01	o -269160917392
1800.06/1800.01	o -269160917634
1800.06/1800.01	o -269176277634
1800.06/1800.01	o -269187541634
1800.06/1800.01	o -269187545506
1800.06/1800.01	o -269189465506
1800.06/1800.01	o -269205325218
1800.06/1800.01	o -269205325460
1800.06/1800.01	o -269205342960
1800.06/1800.01	o -269237062384
1800.06/1800.01	o -269241027312
1800.06/1800.01	o -269241379312
1800.06/1800.01	o -269241381248
1800.06/1800.01	o -269241382216
1800.06/1800.01	o -269241444168
1800.06/1800.01	o -269242852168
1800.06/1800.01	o -301674379204
1800.06/1800.01	o -301674440204
1800.06/1800.01	o -301678280204
1800.06/1800.01	o -301684552204
1800.06/1800.01	o -302016328204
1800.06/1800.01	o -302016608204
1800.06/1800.01	o -302016623204
1800.06/1800.01	o -302018863204
1800.06/1800.01	o -302019775204
1800.06/1800.01	o -302019835204
1800.06/1800.01	o -302019933204
1800.06/1800.01	o -302081373204
1800.06/1800.01	o -302081413204
1800.06/1800.01	o -302081513204
1800.06/1800.01	o -302112233204
1800.06/1800.01	o -302112263204
1800.06/1800.01	o -302112270704
1800.06/1800.01	o -302112374704
1800.06/1800.01	o -302112392204
1800.06/1800.01	o -302112472204
1800.06/1800.01	o -302112554204
1800.06/1800.01	o -302112584204
1800.06/1800.01	o -302112704204
1800.06/1800.01	o -302119994204
1800.06/1800.01	o -302120053204
1800.06/1800.01	o -302120121704
1800.06/1800.01	o -302120181704
1800.06/1800.01	o -302124533704
1800.06/1800.01	o -302124805704
1800.06/1800.01	o -302131461704
1800.06/1800.01	o -302163181128
1800.06/1800.01	o -302171110984
1800.06/1800.01	o -302179040840
1800.06/1800.01	o -302183005768
1800.06/1800.01	o -302183065768
1800.06/1800.01	o -302183096744
1800.06/1800.01	o -302246535592
1800.06/1800.01	o -302252167592
1800.06/1800.01	o -302256132520
1800.06/1800.01	o -303697924520
1800.06/1800.01	o -303698044520
1800.06/1800.01	o -303729763944
1800.06/1800.01	o -303761483368
1800.06/1800.01	o -303761514344
1800.06/1800.01	o -305203306344
1800.06/1800.01	o -305330184040
1800.06/1800.01	o -305330888040
1800.06/1800.01	o -305331064040
1800.06/1800.01	v -x1 x2 -x3 x4 -x5 -x6 x7 -x8 -x9 x10 -x11 -x12 x13 x14 x15 x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 x45 -x46 x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 x64 -x65 x66 -x67 x68 -x69 -x70 -x71 -x72 x73 -x74 x75 x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 x273 x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 x332 x333 x334 x335 x336 x337 x338 -x339 x340 -x341 x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 x397 x398 x399 x400 x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 x429 -x430 -x431 x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 x452 -x453 -x454 x455 x456 -x457 -x458 -x459 -x460 x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 x692 x693 x694 x695 x696 x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 x705 -x706 -x707 x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 x794 x795 -x796 -x797 -x798 x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 x842 x843 x844 x845 x846 x847 x848 x849 -x850 -x851 x852 x853 x854 -x855 -x856 x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 x902 x903 x904 x905 -x906 x907 x908 x909 x910 x911 x912 x913 x914 x915 x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 x965 x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 x1114 x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 x1203 x1204 -x1205 -x1206 x1207 x1208 x1209 x1210 -x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 x1247 -x1248 -x1249 -x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 x1323 -x1324 -x1325 x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 x1352 x1353 -x1354 x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 x1424 -x1425 -x1426 x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 x1851 -x1852 x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 x1907 x1908 x1909 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 x1970 x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 x1996 -x1997 x1998 -x1999 -x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 x2027 x2028 x2029 x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 x2207 -x2208 -x2209 x2210 -x2211 x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 x2229 -x2230 x2231 -x2232 -x2233 x2234 -x2235 -x2236 x2237 x2238 -x2239 x2240 x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 x2267 x2268 x2269 x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 x2296 -x2297 -x2298 -x2299 -x2300 -x2301 x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 x2358 x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 -x2387 x2388 x2389 x2390 x2391 -x2392 x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 x2418 -x2419 x2420 -x2421 x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 x2522 -x2523 -x2524 -x2525 -x2526 x2527 -x2528 x2529 x2530 -x2531 x2532 x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 -x2552 x2553 x2554 x2555 x2556 x2557 x2558 x2559 x2560 x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 x2582 -x2583 -x2584 x2585 x2586 -x2587 x2588 x2589 x2590 x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 x2614 x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 x2643 x2644 -x2645 x2646 x2647 x2648 -x2649 -x2650 x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 x2672 x2673 x2674 x2675 -x2676 x2677 x2678 -x2679 -x2680 x2681 x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 x2702 x2703 x2704 -x2705 x2706 x2707 x2708 x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 x2731 -x2732 x2733 x2734 x2735 -x2736 -x2737 x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 x2764 x2765 -x2766 x2767 x2768 x2769 x2770 x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 x2793 x2794 -x2795 x2796 x2797 x2798 -x2799 x2800 x2801 x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 x2826 -x2827 -x2828 -x2829 -x2830 x2831 -x2832 -x2833 x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 x2853 x2854 x2855 x2856 x2857 x2858 x2859 x2860 x2861 -x2862 x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 x2883 -x2884 -x2885 x2886 -x2887 x2888 -x2889 -x2890 -x2891 x2892 x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 x2911 x2912 -x2913 -x2914 -x2915 x2916 -x2917 x2918 x2919 x2920 x2921 -x2922 x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 x2943 -x2944 -x2945 x2946 -x2947 x2948 x2949 x2950 x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 x2973 x2974 x2975 -x2976 -x2977 -x2978 x2979 -x2980 -x2981 -x2982 x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 -x3011 -x3012 x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 x3032 x3033 -x3034 x3035 x3036 x3037 x3038 -x3039 x3040 x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 x3063 x3064 x3065 -x3066 -x3067 x3068 x3069 x3070 x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 x3094 x3095 -x3096 -x3097 -x3098 -x3099 x3100 x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 x3123 x3124 x3125 x3126 x3127 x3128 x3129 x3130 -x3131 x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 x3151 x3152 x3153 -x3154 x3155 x3156 x3157 -x3158 x3159 x3160 -x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 x3212 -x3213 x3214 x3215 x3216 x3217 x3218 x3219 x3220 x3221 x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 x3243 -x3244 -x3245 -x3246 x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 x3275 x3276 -x3277 x3278 -x3279 -x3280 -x3281 -x3282 x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 x3301 x3302 x3303 x3304 -x3305 x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 x3391 x3392 x3393 x3394 x3395 -x3396 -x3397 x3398 x3399 -x3400 x3401 x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 x3430 x3431 -x3432 -x3433 x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 x3457 -x3458 x3459 -x3460 x3461 x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 x3483 -x3484 x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 x3511 x3512 -x3513 -x3514 -x3515 -x3516 x3517 -x3518 -x3519 -x3520 -x3521 x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 x3550 -x3551 -x3552 x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 x3572 -x3573 x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 x3603 x3604 -x3605 -x3606 -x3607 x3608 x3609 x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 x3636 x3637 x3638 x3639 x3640 x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 x3661 x3662 x3663 x3664 -x3665 x3666 -x3667 -x3668 -x3669 x3670 x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 x3698 -x3699 x3700 -x3701 -x3702 x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 x3729 -x3730 -x3731 -x3732 x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 x3754 x3755 x3756 x3757 x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 x3783 x3784 -x3785 x3786 x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 x3843 x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 x3879 -x3880 x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 x3963 x3964 x3965 x3966 -x3967 x3968 x3969 -x3970 -x3971 x3972 x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 x3997 x3998 x3999 x4000 x4001 x4002 x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 x4026 x4027 -x4028 -x4029 -x4030 x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 x4058 x4059 x4060 x4061 x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 x4191 -x4192 x4193 x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 

OK	-305331064040

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 /var/tmp/evaluation-result-3496999-1307926267/watcher-3496999-1307926267 -o /var/tmp/evaluation-result-3496999-1307926267/solver-3496999-1307926267 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3496999-1307926267.opb --verbosity=0 --format=opb --randomseed=732475773 

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: 1.92 1.98 1.95 2/177 23791
/proc/meminfo: memFree=5783148/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=7896 CPUtime=0 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 397 0 0 0 0 0 0 0 25 0 1 0 885042200 8085504 350 33554432000 4194304 6957856 140734909543280 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 1974 355 227 675 0 1290 0

[startup+0.0369849 s]
/proc/loadavg: 1.92 1.98 1.95 2/177 23791
/proc/meminfo: memFree=5783148/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=9572 CPUtime=0.03 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 889 0 0 0 3 0 0 0 25 0 1 0 885042200 9801728 818 33554432000 4194304 6957856 140734909543280 18446744073709551615 4768850 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 2393 818 250 675 0 1709 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9572

[startup+0.100999 s]
/proc/loadavg: 1.92 1.98 1.95 2/177 23791
/proc/meminfo: memFree=5783148/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=11296 CPUtime=0.09 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 1324 0 0 0 9 0 0 0 25 0 1 0 885042200 11567104 1253 33554432000 4194304 6957856 140734909543280 18446744073709551615 5934042 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 2824 1253 250 675 0 2140 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11296

[startup+0.300977 s]
/proc/loadavg: 1.92 1.98 1.95 2/177 23791
/proc/meminfo: memFree=5783148/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=23984 CPUtime=0.29 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 5576 0 0 0 29 0 0 0 25 0 1 0 885042200 24559616 4426 33554432000 4194304 6957856 140734909543280 18446744073709551615 5312991 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 5996 4426 266 675 0 5312 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23984

[startup+0.700862 s]
/proc/loadavg: 1.92 1.98 1.95 2/177 23791
/proc/meminfo: memFree=5783148/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=45256 CPUtime=0.69 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 11204 0 0 0 68 1 0 0 25 0 1 0 885042200 46342144 9719 33554432000 4194304 6957856 140734909543280 18446744073709551615 5932541 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 11314 9719 272 675 0 10630 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45256

[startup+1.50072 s]
/proc/loadavg: 1.92 1.98 1.95 3/178 23792
/proc/meminfo: memFree=5745344/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=45256 CPUtime=1.49 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 11204 0 0 0 148 1 0 0 25 0 1 0 885042200 46342144 9719 33554432000 4194304 6957856 140734909543280 18446744073709551615 5922021 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 11314 9719 272 675 0 10630 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45256

[startup+3.10046 s]
/proc/loadavg: 1.93 1.98 1.95 3/178 23792
/proc/meminfo: memFree=5744972/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=45260 CPUtime=3.09 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 11209 0 0 0 308 1 0 0 25 0 1 0 885042200 46346240 9724 33554432000 4194304 6957856 140734909543280 18446744073709551615 5918143 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 11315 9724 276 675 0 10631 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45260

[startup+6.30087 s]
/proc/loadavg: 1.93 1.98 1.95 3/178 23792
/proc/meminfo: memFree=5744840/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=45260 CPUtime=6.29 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 11211 0 0 0 628 1 0 0 25 0 1 0 885042200 46346240 9726 33554432000 4194304 6957856 140734909543280 18446744073709551615 5929116 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 11315 9726 276 675 0 10631 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45260

[startup+12.7007 s]
/proc/loadavg: 1.94 1.98 1.95 3/178 23793
/proc/meminfo: memFree=5744408/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=45260 CPUtime=12.69 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 11223 0 0 0 1268 1 0 0 25 0 1 0 885042200 46346240 9738 33554432000 4194304 6957856 140734909543280 18446744073709551615 5311850 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 11315 9738 276 675 0 10631 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45260

[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.95 3/178 23793
/proc/meminfo: memFree=5744524/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=45260 CPUtime=25.49 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 11246 0 0 0 2548 1 0 0 25 0 1 0 885042200 46346240 9761 33554432000 4194304 6957856 140734909543280 18446744073709551615 5922047 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 11315 9761 276 675 0 10631 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45260

[startup+51.1007 s]
/proc/loadavg: 1.96 1.98 1.95 3/178 23794
/proc/meminfo: memFree=5743816/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=45260 CPUtime=51.09 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 11308 0 0 0 5108 1 0 0 25 0 1 0 885042200 46346240 9823 33554432000 4194304 6957856 140734909543280 18446744073709551615 5932846 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 11315 9823 276 675 0 10631 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 45260

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.95 3/178 23795
/proc/meminfo: memFree=5741808/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=45260 CPUtime=102.29 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 11763 0 0 0 10228 1 0 0 25 0 1 0 885042200 46346240 10273 33554432000 4194304 6957856 140734909543280 18446744073709551615 5922047 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 11315 10273 285 675 0 10631 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 45260

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 23797
/proc/meminfo: memFree=5737444/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=47980 CPUtime=162.29 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 14323 0 0 0 16227 2 0 0 25 0 1 0 885042200 49131520 11383 33554432000 4194304 6957856 140734909543280 18446744073709551615 5385152 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 11995 11383 288 675 0 11311 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 47980

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 23798
/proc/meminfo: memFree=5725760/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=66652 CPUtime=222.3 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 19079 0 0 0 22227 3 0 0 25 0 1 0 885042200 68251648 14278 33554432000 4194304 6957856 140734909543280 18446744073709551615 5387536 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 16663 14278 288 675 0 15979 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 66652

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 23800
/proc/meminfo: memFree=5713940/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=71184 CPUtime=282.3 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 21955 0 0 0 28227 3 0 0 25 0 1 0 885042200 72892416 17150 33554432000 4194304 6957856 140734909543280 18446744073709551615 5314206 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 17796 17150 288 675 0 17112 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 71184

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 23801
/proc/meminfo: memFree=5714024/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=71184 CPUtime=342.3 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 21955 0 0 0 34227 3 0 0 25 0 1 0 885042200 72892416 17150 33554432000 4194304 6957856 140734909543280 18446744073709551615 5917991 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 17796 17150 288 675 0 17112 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 71184

[startup+402.3 s]
/proc/loadavg: 2.06 2.00 1.95 3/178 23803
/proc/meminfo: memFree=5734336/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=48044 CPUtime=402.3 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 21975 0 0 0 40226 4 0 0 25 0 1 0 885042200 49197056 10454 33554432000 4194304 6957856 140734909543280 18446744073709551615 5934082 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 12011 10454 288 675 0 11327 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 48044

[startup+462.3 s]
/proc/loadavg: 2.02 2.00 1.95 3/178 23805
/proc/meminfo: memFree=5716704/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=48044 CPUtime=462.3 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 22117 0 0 0 46226 4 0 0 25 0 1 0 885042200 49197056 10596 33554432000 4194304 6957856 140734909543280 18446744073709551615 5934090 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 12011 10596 288 675 0 11327 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 48044

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 23806
/proc/meminfo: memFree=5676872/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=89932 CPUtime=522.3 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 40343 0 0 0 52224 6 0 0 25 0 1 0 885042200 92090368 20537 33554432000 4194304 6957856 140734909543280 18446744073709551615 5932533 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 22483 20537 288 675 0 21799 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 89932

[startup+582.3 s]
/proc/loadavg: 2.06 2.02 1.96 3/178 23808
/proc/meminfo: memFree=5700892/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=59580 CPUtime=582.31 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 42012 0 0 0 58224 7 0 0 25 0 1 0 885042200 61009920 14404 33554432000 4194304 6957856 140734909543280 18446744073709551615 5924269 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 14895 14404 288 675 0 14211 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 59580

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/178 23823
/proc/meminfo: memFree=5628832/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=170180 CPUtime=822.32 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 166375 0 0 0 82206 26 0 0 25 0 1 0 885042200 174264320 30761 33554432000 4194304 6957856 140734909543280 18446744073709551615 5922121 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 42545 30761 288 675 0 41861 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 170180

[startup+882.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/178 23825
/proc/meminfo: memFree=5680748/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=90040 CPUtime=882.32 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 179049 0 0 0 88204 28 0 0 25 0 1 0 885042200 92200960 17351 33554432000 4194304 6957856 140734909543280 18446744073709551615 4638775 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 22510 17351 288 675 0 21826 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 90040

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 23826
/proc/meminfo: memFree=5665708/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=90260 CPUtime=942.31 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 182794 0 0 0 94203 28 0 0 25 0 1 0 885042200 92426240 21093 33554432000 4194304 6957856 140734909543280 18446744073709551615 5922093 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 22565 21093 288 675 0 21881 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 90260

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 23905
/proc/meminfo: memFree=4953752/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=90260 CPUtime=1002.32 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 182794 0 0 0 100203 29 0 0 25 0 1 0 885042200 92426240 21093 33554432000 4194304 6957856 140734909543280 18446744073709551615 4838132 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 22565 21093 288 675 0 21881 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 90260

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 23907
/proc/meminfo: memFree=4944880/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=90260 CPUtime=1062.32 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 182794 0 0 0 106203 29 0 0 25 0 1 0 885042200 92426240 21093 33554432000 4194304 6957856 140734909543280 18446744073709551615 5929233 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 22565 21093 288 675 0 21881 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 90260

[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/178 23908
/proc/meminfo: memFree=4944376/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=90260 CPUtime=1122.32 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 182801 0 0 0 112203 29 0 0 25 0 1 0 885042200 92426240 21100 33554432000 4194304 6957856 140734909543280 18446744073709551615 5932833 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 22565 21100 288 675 0 21881 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 90260

[startup+1182.3 s]
/proc/loadavg: 2.05 2.02 1.98 3/178 23910
/proc/meminfo: memFree=4927812/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=120608 CPUtime=1182.33 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 203761 0 0 0 118200 33 0 0 25 0 1 0 885042200 123502592 24955 33554432000 4194304 6957856 140734909543280 18446744073709551615 5387648 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 30152 24955 288 675 0 29468 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 120608

[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/178 23911
/proc/meminfo: memFree=4924796/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=120608 CPUtime=1242.32 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 212490 0 0 0 124198 34 0 0 25 0 1 0 885042200 123502592 24955 33554432000 4194304 6957856 140734909543280 18446744073709551615 5922126 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 30152 24955 288 675 0 29468 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 120608

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/178 23913
/proc/meminfo: memFree=4921780/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=120608 CPUtime=1302.33 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 212490 0 0 0 130199 34 0 0 25 0 1 0 885042200 123502592 24955 33554432000 4194304 6957856 140734909543280 18446744073709551615 4838392 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 30152 24955 288 675 0 29468 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 120608

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/178 23915
/proc/meminfo: memFree=4918164/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=120608 CPUtime=1362.33 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 212490 0 0 0 136199 34 0 0 25 0 1 0 885042200 123502592 24955 33554432000 4194304 6957856 140734909543280 18446744073709551615 4871295 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 30152 24955 288 675 0 29468 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 120608

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23916
/proc/meminfo: memFree=4917260/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=120608 CPUtime=1422.34 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 242944 0 0 0 142196 38 0 0 25 0 1 0 885042200 123502592 24955 33554432000 4194304 6957856 140734909543280 18446744073709551615 5319472 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 30152 24955 288 675 0 29468 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 120608

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23918
/proc/meminfo: memFree=4915868/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=120608 CPUtime=1482.34 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 272057 0 0 0 148191 43 0 0 25 0 1 0 885042200 123502592 24955 33554432000 4194304 6957856 140734909543280 18446744073709551615 5313071 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 30152 24955 288 675 0 29468 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 120608

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23919
/proc/meminfo: memFree=4877256/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=169928 CPUtime=1542.34 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 281088 0 0 0 154190 44 0 0 25 0 1 0 885042200 174006272 33984 33554432000 4194304 6957856 140734909543280 18446744073709551615 5319469 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 42482 33984 288 675 0 41798 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 169928

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23921
/proc/meminfo: memFree=4879452/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=169928 CPUtime=1602.34 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 304516 0 0 0 160187 47 0 0 25 0 1 0 885042200 174006272 32967 33554432000 4194304 6957856 140734909543280 18446744073709551615 5934612 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 42482 32967 288 675 0 41798 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 169928

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23923
/proc/meminfo: memFree=4858452/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=200748 CPUtime=1662.34 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 322404 0 0 0 166184 50 0 0 25 0 1 0 885042200 205565952 37449 33554432000 4194304 6957856 140734909543280 18446744073709551615 5917986 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 50187 37449 288 675 0 49503 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 200748

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23924
/proc/meminfo: memFree=4904436/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=120608 CPUtime=1722.34 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 340880 0 0 0 172180 54 0 0 25 0 1 0 885042200 123502592 24955 33554432000 4194304 6957856 140734909543280 18446744073709551615 5934463 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 30152 24955 288 675 0 29468 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 120608

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23926
/proc/meminfo: memFree=4815612/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=200748 CPUtime=1782.34 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 376250 0 0 0 178174 60 0 0 25 0 1 0 885042200 205565952 42786 33554432000 4194304 6957856 140734909543280 18446744073709551615 5311774 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 50187 42786 288 675 0 49503 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 200748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23926
/proc/meminfo: memFree=4841268/32951124 swapFree=67053956/67111528
[pid=23791] ppid=23789 vsize=169928 CPUtime=1800.06 cores=0,2,4,6
/proc/23791/stat : 23791 (minisatid-gmp) R 23789 23791 23058 0 -1 4202496 389417 0 0 0 179943 63 0 0 25 0 1 0 885042200 174006272 36276 33554432000 4194304 6957856 140734909543280 18446744073709551615 5934920 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/23791/statm: 42482 36276 288 675 0 41798 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 169928

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

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

Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1799.43
CPU system time (s): 0.639902
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 200748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.639902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 389420
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= 5
involuntary context switches= 3828

runsolver used 2.75358 second user time and 5.44117 second system time

The end

Begin job on node142 at 2011-06-13 02:51:07
IDJOB=3496999
IDBENCH=2379
IDSOLVER=1990
FILE ID=node142/3496999-1307926267
RUNJOBID= node142-1307919792-23076
PBS_JOBID= 13559637
Free space on /var/tmp= 2904 MiB

SOLVER NAME= MinisatID 2.5.2-gmp
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-israel.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3496999-1307926267/watcher-3496999-1307926267 -o /var/tmp/evaluation-result-3496999-1307926267/solver-3496999-1307926267 -C 1800 -W 1900 -M 15500  HOME/minisatid-gmp HOME/instance-3496999-1307926267.opb --verbosity=0 --format=opb --randomseed=732475773

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

MD5SUM BENCH= eda4269ba1a2bb6f24002a9139c11119
RANDOM SEED=732475773

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       5783452 kB
Buffers:         72872 kB
Cached:       25951692 kB
SwapCached:      10176 kB
Active:       11266812 kB
Inactive:     15068088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       5783452 kB
SwapTotal:    67111528 kB
SwapFree:     67053956 kB
Dirty:            4096 kB
Writeback:           0 kB
AnonPages:      309168 kB
Mapped:          13992 kB
Slab:           769284 kB
PageTables:       5132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   532424 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2872 MiB
End job on node142 at 2011-06-13 03:21:09