Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs 0.3.2 | SAT | 162.711 | 163.389 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 798 |
Name | csp/pseudo/ii/ normalized-ii-32e5.xml |
MD5SUM | faa57d28b443bcfc668a0f40a81e1157 |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 9.32258 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1044 |
Number of constraints | 12158 |
Maximum constraint arity | 32 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 12158 |
Global constraints used (with number of constraints) |
0.00/0.03 c has operations which may create big domains 0.00/0.03 c big-domain mode 0.00/0.03 c Seed is 1032070496 0.00/0.03 c Constructing HOME/instance-2066643-1247705049.xml with 51570 constraints 0.86/0.92 c Solving 798 backtracks 8 restarts 162.59/163.32 s SATISFIABLE 162.59/163.32 c V0=1, V1=0, V2=1, V3=0, V4=0, V5=1, V6=1, V7=0, V8=1, V9=0, V10=1, V11=0, V12=1, V13=0, V14=1, V15=0, V16=1, V17=0, V18=1, V19=0, V20=1, V21=0, V22=1, V23=0, V24=1, V25=0, V26=1, V27=0, V28=1, V29=0, V30=1, V31=0, V32=1, V33=0, V34=1, V35=0, V36=1, V37=0, V38=1, V39=0, V40=1, V41=0, V42=1, V43=0, V44=1, V45=0, V46=1, V47=0, V48=1, V49=0, V50=1, V51=0, V52=1, V53=0, V54=1, V55=0, V56=1, V57=0, V58=1, V59=0, V60=1, V61=0, V62=1, V63=0, V64=1, V65=0, V66=1, V67=0, V68=1, V69=0, V70=1, V71=0, V72=1, V73=0, V74=1, V75=0, V76=1, V77=0, V78=1, V79=0, V80=1, V81=0, V82=1, V83=0, V84=1, V85=0, V86=1, V87=0, V88=1, V89=0, V90=1, V91=0, V92=1, V93=0, V94=1, V95=0, V96=1, V97=0, V98=1, V99=0, V100=1, V101=0, V102=1, V103=0, V104=1, V105=0, V106=1, V107=0, V108=1, V109=0, V110=1, V111=0, V112=0, V113=1, V114=1, V115=0, V116=1, V117=0, V118=1, V119=0, V120=1, V121=0, V122=0, V123=1, V124=1, V125=0, V126=1, V127=0, V128=1, V129=0, V130=1, V131=0, V132=0, V133=1, V134=1, V135=0, V136=1, V137=0, V138=1, V139=0, V140=1, V141=0, V142=1, V143=0, V144=1, V145=0, V146=1, V147=0, V148=0, V149=1, V150=1, V151=0, V152=1, V153=0, V154=0, V155=1, V156=1, V157=0, V158=1, V159=0, V160=1, V161=0, V162=1, V163=0, V164=1, V165=0, V166=1, V167=0, V168=1, V169=0, V170=1, V171=0, V172=1, V173=0, V174=1, V175=0, V176=1, V177=0, V178=1, V179=0, V180=1, V181=0, V182=1, V183=0, V184=1, V185=0, V186=1, V187=0, V188=1, V189=0, V190=1, V191=0, V192=1, V193=0, V194=1, V195=0, V196=1, V197=0, V198=0, V199=1, V200=0, V201=1, V202=1, V203=0, V204=1, V205=0, V206=1, V207=0, V208=0, V209=1, V210=1, V211=0, V212=1, V213=0, V214=1, V215=0, V216=1, V217=0, V218=1, V219=0, V220=1, V221=0, V222=1, V223=0, V224=0, V225=0, V226=1, V227=0, V228=1, V229=0, V230=1, V231=0, V232=1, V233=0, V234=0, V235=0, V236=1, V237=0, V238=1, V239=0, V240=1, V241=0, V242=1, V243=0, V244=1, V245=0, V246=1, V247=0, V248=1, V249=0, V250=1, V251=0, V252=1, V253=0, V254=1, V255=0, V256=1, V257=0, V258=1, V259=0, V260=1, V261=0, V262=1, V263=0, V264=1, V265=0, V266=1, V267=0, V268=1, V269=0, V270=1, V271=0, V272=1, V273=0, V274=1, V275=0, V276=1, V277=0, V278=1, V279=0, V280=1, V281=0, V282=1, V283=0, V284=1, V285=0, V286=1, V287=0, V288=0, V289=1, V290=1, V291=0, V292=0, V293=1, V294=1, V295=0, V296=1, V297=0, V298=1, V299=0, V300=1, V301=0, V302=1, V303=0, V304=1, V305=0, V306=1, V307=0, V308=1, V309=0, V310=1, V311=0, V312=1, V313=0, V314=1, V315=0, V316=1, V317=0, V318=1, V319=0, V320=1, V321=0, V322=1, V323=0, V324=1, V325=0, V326=1, V327=0, V328=1, V329=0, V330=1, V331=0, V332=1, V333=0, V334=1, V335=0, V336=1, V337=0, V338=1, V339=0, V340=1, V341=0, V342=1, V343=0, V344=0, V345=1, V346=1, V347=0, V348=1, V349=0, V350=1, V351=0, V352=1, V353=0, V354=1, V355=0, V356=1, V357=0, V358=1, V359=0, V360=1, V361=0, V362=1, V363=0, V364=1, V365=0, V366=1, V367=0, V368=1, V369=0, V370=1, V371=0, V372=1, V373=0, V374=1, V375=0, V376=1, V377=0, V378=1, V379=0, V380=1, V381=0, V382=1, V383=0, V384=1, V385=0, V386=0, V387=1, V388=0, V389=1, V390=0, V391=1, V392=0, V393=1, V394=1, V395=0, V396=1, V397=0, V398=0, V399=1, V400=0, V401=1, V402=0, V403=0, V404=0, V405=1, V406=1, V407=0, V408=0, V409=1, V410=0, V411=1, V412=1, V413=0, V414=1, V415=0, V416=0, V417=1, V418=0, V419=1, V420=0, V421=1, V422=0, V423=1, V424=1, V425=0, V426=1, V427=0, V428=0, V429=1, V430=0, V431=1, V432=1, V433=0, V434=0, V435=1, V436=0, V437=1, V438=1, V439=0, V440=0, V441=1, V442=0, V443=1, V444=0, V445=1, V446=1, V447=0, V448=0, V449=1, V450=0, V451=1, V452=0, V453=1, V454=1, V455=0, V456=1, V457=0, V458=0, V459=1, V460=0, V461=1, V462=0, V463=1, V464=0, V465=1, V466=1, V467=0, V468=0, V469=1, V470=0, V471=1, V472=1, V473=0, V474=1, V475=0, V476=0, V477=1, V478=0, V479=1, V480=0, V481=1, V482=0, V483=1, V484=1, V485=0, V486=0, V487=1, V488=0, V489=1, V490=1, V491=0, V492=1, V493=0, V494=0, V495=1, V496=0, V497=1, V498=0, V499=1, V500=0, V501=1, V502=1, V503=0, V504=0, V505=1, V506=0, V507=1, V508=1, V509=0, V510=0, V511=1, V512=0, V513=1, V514=1, V515=0, V516=1, V517=0, V518=0, V519=1, V520=0, V521=1, V522=1, V523=0, V524=0, V525=1, V526=0, V527=1, V528=1, V529=0, V530=0, V531=1, V532=0, V533=1, V534=1, V535=0, V536=0, V537=1, V538=0, V539=1, V540=0, V541=1, V542=0, V543=1, V544=1, V545=0, V546=0, V547=1, V548=0, V549=1, V550=1, V551=0, V552=0, V553=1, V554=0, V555=1, V556=1, V557=0, V558=1, V559=0, V560=0, V561=1, V562=0, V563=1, V564=1, V565=0, V566=0, V567=1, V568=0, V569=1, V570=1, V571=0, V572=0, V573=1, V574=0, V575=1, V576=1, V577=0, V578=0, V579=1, V580=0, V581=1, V582=1, V583=0, V584=0, V585=1, V586=0, V587=1, V588=1, V589=0, V590=0, V591=1, V592=0, V593=1, V594=1, V595=0, V596=0, V597=1, V598=0, V599=1, V600=1, V601=0, V602=0, V603=1, V604=0, V605=1, V606=0, V607=1, V608=0, V609=1, V610=1, V611=0, V612=0, V613=1, V614=0, V615=1, V616=1, V617=0, V618=1, V619=0, V620=0, V621=1, V622=0, V623=1, V624=1, V625=0, V626=0, V627=1, V628=0, V629=1, V630=1, V631=0, V632=0, V633=1, V634=0, V635=1, V636=0, V637=1, V638=0, V639=1, V640=1, V641=0, V642=0, V643=1, V644=0, V645=1, V646=1, V647=0, V648=0, V649=1, V650=0, V651=1, V652=1, V653=0, V654=0, V655=1, V656=0, V657=1, V658=1, V659=0, V660=0, V661=1, V662=0, V663=1, V664=1, V665=0, V666=1, V667=0, V668=0, V669=1, V670=0, V671=1, V672=1, V673=0, V674=0, V675=1, V676=0, V677=1, V678=1, V679=0, V680=0, V681=1, V682=0, V683=1, V684=0, V685=1, V686=0, V687=1, V688=1, V689=0, V690=1, V691=0, V692=0, V693=1, V694=0, V695=1, V696=1, V697=0, V698=0, V699=1, V700=0, V701=1, V702=1, V703=0, V704=0, V705=1, V706=0, V707=1, V708=1, V709=0, V710=0, V711=1, V712=0, V713=1, V714=0, V715=1, V716=0, V717=1, V718=1, V719=0, V720=0, V721=1, V722=1, V723=0, V724=0, V725=1, V726=1, V727=0, V728=0, V729=1, V730=0, V731=1, V732=1, V733=0, V734=0, V735=1, V736=0, V737=1, V738=0, V739=1, V740=0, V741=1, V742=1, V743=0, V744=0, V745=1, V746=0, V747=1, V748=1, V749=0, V750=1, V751=0, V752=0, V753=1, V754=0, V755=0, V756=1, V757=0, V758=0, V759=1, V760=0, V761=1, V762=1, V763=0, V764=0, V765=1, V766=0, V767=1, V768=0, V769=1, V770=0, V771=1, V772=1, V773=0, V774=1, V775=0, V776=0, V777=1, V778=0, V779=1, V780=1, V781=0, V782=0, V783=1, V784=0, V785=0, V786=0, V787=1, V788=0, V789=1, V790=1, V791=0, V792=0, V793=1, V794=0, V795=1, V796=1, V797=0, V798=1, V799=0, V800=0, V801=1, V802=0, V803=1, V804=1, V805=0, V806=0, V807=1, V808=0, V809=1, V810=0, V811=1, V812=0, V813=1, V814=1, V815=0, V816=1, V817=0, V818=0, V819=1, V820=0, V821=1, V822=1, V823=0, V824=0, V825=1, V826=0, V827=1, V828=1, V829=0, V830=0, V831=1, V832=0, V833=1, V834=1, V835=0, V836=0, V837=1, V838=0, V839=1, V840=0, V841=1, V842=0, V843=1, V844=1, V845=0, V846=1, V847=0, V848=0, V849=1, V850=0, V851=1, V852=0, V853=1, V854=0, V855=1, V856=1, V857=0, V858=1, V859=0, V860=0, V861=1, V862=0, V863=1, V864=1, V865=0, V866=0, V867=1, V868=0, V869=1, V870=0, V871=1, V872=0, V873=1, V874=1, V875=0, V876=1, V877=0, V878=0, V879=1, V880=0, V881=1, V882=0, V883=1, V884=0, V885=1, V886=1, V887=0, V888=1, V889=0, V890=0, V891=1, V892=0, V893=1, V894=1, V895=0, V896=0, V897=1, V898=0, V899=1, V900=0, V901=1, V902=0, V903=1, V904=1, V905=0, V906=1, V907=0, V908=0, V909=1, V910=0, V911=1, V912=0, V913=1, V914=0, V915=1, V916=1, V917=0, V918=0, V919=1, V920=0, V921=1, V922=1, V923=0, V924=1, V925=0, V926=0, V927=1, V928=0, V929=1, V930=0, V931=1, V932=0, V933=1, V934=1, V935=0, V936=0, V937=1, V938=0, V939=1, V940=1, V941=0, V942=0, V943=1, V944=0, V945=1, V946=1, V947=0, V948=0, V949=1, V950=0, V951=1, V952=1, V953=0, V954=0, V955=1, V956=0, V957=1, V958=1, V959=0, V960=1, V961=0, V962=0, V963=1, V964=0, V965=1, V966=1, V967=0, V968=0, V969=1, V970=0, V971=1, V972=0, V973=1, V974=0, V975=1, V976=1, V977=0, V978=1, V979=0, V980=0, V981=1, V982=0, V983=1, V984=0, V985=1, V986=0, V987=1, V988=1, V989=0, V990=0, V991=1, V992=0, V993=1, V994=1, V995=0, V996=0, V997=1, V998=0, V999=1, V1000=1, V1001=0, V1002=1, V1003=0, V1004=0, V1005=1, V1006=0, V1007=1, V1008=1, V1009=0, V1010=0, V1011=1, V1012=0, V1013=1, V1014=1, V1015=0, V1016=0, V1017=1, V1018=0, V1019=1, V1020=0, V1021=1, V1022=0, V1023=1, V1024=1, V1025=0, V1026=0, V1027=1, V1028=0, V1029=1, V1030=1, V1031=0, V1032=0, V1033=1, V1034=0, V1035=1, V1036=1, V1037=0, V1038=1, V1039=0, V1040=1, V1041=0, V1042=0, V1043=1, 162.59/163.38 v 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 162.59/163.38 d ASSIGNMENTS 798
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2066643-1247705049/watcher-2066643-1247705049 -o /tmp/evaluation-result-2066643-1247705049/solver-2066643-1247705049 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1032070496 HOME/instance-2066643-1247705049.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.44 2.14 2.04 4/82 16050 /proc/meminfo: memFree=1278416/2055920 swapFree=4192812/4192956 [pid=16050] ppid=16048 vsize=18576 CPUtime=0 /proc/16050/stat : 16050 (runsolver) R 16048 16050 14186 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 57572532 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 233632754983 0 0 4096 24578 0 0 0 17 1 0 0 /proc/16050/statm: 4644 284 249 26 0 2626 0 [startup+0.0151071 s] /proc/loadavg: 2.44 2.14 2.04 4/82 16050 /proc/meminfo: memFree=1278416/2055920 swapFree=4192812/4192956 [pid=16050] ppid=16048 vsize=5356 CPUtime=0 /proc/16050/stat : 16050 (pcssolve) S 16048 16050 14186 0 -1 4194304 339 317 0 0 0 0 0 0 19 0 1 0 57572532 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/16050/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.101799 s] /proc/loadavg: 2.44 2.14 2.04 4/82 16050 /proc/meminfo: memFree=1278416/2055920 swapFree=4192812/4192956 [pid=16050] ppid=16048 vsize=5692 CPUtime=0.06 /proc/16050/stat : 16050 (pcs.big) R 16048 16050 14186 0 -1 4194304 1070 826 0 0 6 0 0 0 21 0 1 0 57572532 5828608 679 996147200 134512640 135215973 4294956304 18446744073709551615 4159198288 0 0 4096 0 0 0 0 17 0 0 0 /proc/16050/statm: 1423 679 385 171 0 348 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5692 [startup+0.301832 s] /proc/loadavg: 2.44 2.14 2.04 4/82 16050 /proc/meminfo: memFree=1278416/2055920 swapFree=4192812/4192956 [pid=16050] ppid=16048 vsize=7436 CPUtime=0.26 /proc/16050/stat : 16050 (pcs.big) R 16048 16050 14186 0 -1 4194304 1675 826 0 0 26 0 0 0 22 0 1 0 57572532 7614464 1104 996147200 134512640 135215973 4294956304 18446744073709551615 11091967 0 0 4096 0 0 0 0 17 0 0 0 /proc/16050/statm: 1859 1104 385 171 0 784 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 7436 [startup+0.7019 s] /proc/loadavg: 2.44 2.14 2.04 4/82 16050 /proc/meminfo: memFree=1278416/2055920 swapFree=4192812/4192956 [pid=16050] ppid=16048 vsize=14992 CPUtime=0.65 /proc/16050/stat : 16050 (pcs.big) R 16048 16050 14186 0 -1 4194304 4064 826 0 0 64 1 0 0 25 0 1 0 57572532 15351808 2553 996147200 134512640 135215973 4294956304 18446744073709551615 134761745 0 0 4096 0 0 0 0 17 0 0 0 /proc/16050/statm: 3748 2553 385 171 0 2673 0 Current children cumulated CPU time (s) 0.65 Current children cumulated vsize (KiB) 14992 [startup+1.50203 s] /proc/loadavg: 2.44 2.14 2.04 3/83 16056 /proc/meminfo: memFree=1258184/2055920 swapFree=4192812/4192956 [pid=16050] ppid=16048 vsize=36292 CPUtime=1.46 /proc/16050/stat : 16050 (pcs.big) R 16048 16050 14186 0 -1 4194304 12184 826 0 0 140 6 0 0 25 0 1 0 57572532 37163008 7898 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0 /proc/16050/statm: 9073 7898 406 171 0 7998 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 36292 [startup+3.10129 s] /proc/loadavg: 2.44 2.14 2.04 3/83 16056 /proc/meminfo: memFree=1241160/2055920 swapFree=4192812/4192956 [pid=16050] ppid=16048 vsize=46756 CPUtime=3.05 /proc/16050/stat : 16050 (pcs.big) R 16048 16050 14186 0 -1 4194304 16609 826 0 0 297 8 0 0 25 0 1 0 57572532 47878144 10538 996147200 134512640 135215973 4294956304 18446744073709551615 134982863 0 0 4096 0 0 0 0 17 0 0 0 /proc/16050/statm: 11689 10538 409 171 0 10614 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 46756 [startup+6.30181 s] /proc/loadavg: 2.40 2.14 2.04 3/83 16056 /proc/meminfo: memFree=1227416/2055920 swapFree=4192812/4192956 [pid=16050] ppid=16048 vsize=67460 CPUtime=6.24 /proc/16050/stat : 16050 (pcs.big) R 16048 16050 14186 0 -1 4194304 22962 826 0 0 612 12 0 0 25 0 1 0 57572532 69079040 13042 996147200 134512640 135215973 4294956304 18446744073709551615 4158960101 0 0 4096 0 0 0 0 17 0 0 0 /proc/16050/statm: 16865 13042 409 171 0 15790 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 67460 [startup+12.7028 s] /proc/loadavg: 2.37 2.14 2.04 3/83 16056 /proc/meminfo: memFree=1224096/2055920 swapFree=4192812/4192956 [pid=16050] ppid=16048 vsize=67740 CPUtime=12.61 /proc/16050/stat : 16050 (pcs.big) R 16048 16050 14186 0 -1 4194304 25401 826 0 0 1249 12 0 0 25 0 1 0 57572532 69365760 13881 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 0 0 0 /proc/16050/statm: 16935 13881 409 171 0 15860 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 67740 [startup+25.5019 s] /proc/loadavg: 2.42 2.16 2.04 3/83 16056 /proc/meminfo: memFree=1223648/2055920 swapFree=4192812/4192956 [pid=16050] ppid=16048 vsize=68268 CPUtime=25.35 /proc/16050/stat : 16050 (pcs.big) R 16048 16050 14186 0 -1 4194304 27810 826 0 0 2522 13 0 0 25 0 1 0 57572532 69906432 14010 996147200 134512640 135215973 4294956304 18446744073709551615 135098027 0 0 4096 0 0 0 0 17 0 0 0 /proc/16050/statm: 17067 14010 409 171 0 15992 0 Current children cumulated CPU time (s) 25.35 Current children cumulated vsize (KiB) 68268 [startup+51.1011 s] /proc/loadavg: 2.28 2.15 2.04 3/83 16056 /proc/meminfo: memFree=1222560/2055920 swapFree=4192812/4192956 [pid=16050] ppid=16048 vsize=69568 CPUtime=50.86 /proc/16050/stat : 16050 (pcs.big) R 16048 16050 14186 0 -1 4194304 33388 826 0 0 5070 16 0 0 25 0 1 0 57572532 71237632 14315 996147200 134512640 135215973 4294956304 18446744073709551615 134902573 0 0 4096 0 0 0 0 17 0 0 0 /proc/16050/statm: 17392 14315 409 171 0 16317 0 Current children cumulated CPU time (s) 50.86 Current children cumulated vsize (KiB) 69568 [startup+102.306 s] /proc/loadavg: 2.30 2.17 2.05 3/83 16056 /proc/meminfo: memFree=1219936/2055920 swapFree=4192812/4192956 [pid=16050] ppid=16048 vsize=72260 CPUtime=101.84 /proc/16050/stat : 16050 (pcs.big) R 16048 16050 14186 0 -1 4194304 44268 826 0 0 10164 20 0 0 25 0 1 0 57572532 73994240 14970 996147200 134512640 135215973 4294956304 18446744073709551615 134902562 0 0 4096 0 0 0 0 17 0 0 0 /proc/16050/statm: 18065 14970 409 171 0 16990 0 Current children cumulated CPU time (s) 101.84 Current children cumulated vsize (KiB) 72260 [startup+162.301 s] /proc/loadavg: 2.31 2.21 2.07 3/83 16056 /proc/meminfo: memFree=1215200/2055920 swapFree=4192812/4192956 [pid=16050] ppid=16048 vsize=76656 CPUtime=161.6 /proc/16050/stat : 16050 (pcs.big) R 16048 16050 14186 0 -1 4194304 57415 826 0 0 16135 25 0 0 25 0 1 0 57572532 78495744 16117 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0 /proc/16050/statm: 19164 16117 409 171 0 18089 0 Current children cumulated CPU time (s) 161.6 Current children cumulated vsize (KiB) 76656 Solver just ended. Dumping a history of the last processes samples [startup+163.101 s] /proc/loadavg: 2.31 2.21 2.07 3/83 16056 /proc/meminfo: memFree=1215200/2055920 swapFree=4192812/4192956 [pid=16050] ppid=16048 vsize=77288 CPUtime=162.4 /proc/16050/stat : 16050 (pcs.big) R 16048 16050 14186 0 -1 4194304 57559 826 0 0 16215 25 0 0 25 0 1 0 57572532 79142912 16261 996147200 134512640 135215973 4294956304 18446744073709551615 134600642 0 0 4096 0 0 0 0 17 0 0 0 /proc/16050/statm: 19322 16261 409 171 0 18247 0 Current children cumulated CPU time (s) 162.4 Current children cumulated vsize (KiB) 77288 [startup+163.301 s] /proc/loadavg: 2.31 2.21 2.07 3/83 16056 /proc/meminfo: memFree=1215200/2055920 swapFree=4192812/4192956 [pid=16050] ppid=16048 vsize=78608 CPUtime=162.59 /proc/16050/stat : 16050 (pcs.big) R 16048 16050 14186 0 -1 4194304 58148 826 0 0 16234 25 0 0 25 0 1 0 57572532 80494592 16850 996147200 134512640 135215973 4294956304 18446744073709551615 134604846 0 0 4096 0 0 0 0 17 0 0 0 /proc/16050/statm: 19652 16850 409 171 0 18577 0 Current children cumulated CPU time (s) 162.59 Current children cumulated vsize (KiB) 78608 Child status: 0 Real time (s): 163.389 CPU time (s): 162.711 CPU user time (s): 162.433 CPU system time (s): 0.277957 CPU usage (%): 99.585 Max. virtual memory (cumulated for all children) (KiB): 78608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 162.433 system time used= 0.277957 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58981 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= 20 involuntary context switches= 5384 runsolver used 0.187971 second user time and 0.414936 second system time The end
Begin job on node3 at 2009-07-16 02:44:10 IDJOB=2066643 IDBENCH=54552 IDSOLVER=733 FILE ID=node3/2066643-1247705049 PBS_JOBID= 9521302 Free space on /tmp= 66404 MiB SOLVER NAME= pcs 0.2 BENCH NAME= CPAI08/csp/pseudo/ii/normalized-ii-32e5.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2066643-1247705049/watcher-2066643-1247705049 -o /tmp/evaluation-result-2066643-1247705049/solver-2066643-1247705049 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1032070496 HOME/instance-2066643-1247705049.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= faa57d28b443bcfc668a0f40a81e1157 RANDOM SEED=1032070496 node3.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1278896 kB Buffers: 81288 kB Cached: 426672 kB SwapCached: 0 kB Active: 192928 kB Inactive: 508168 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1278896 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3460 kB Writeback: 0 kB Mapped: 61096 kB Slab: 61048 kB Committed_AS: 672732 kB PageTables: 1852 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66400 MiB End job on node3 at 2009-07-16 02:46:53