Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs-restart 0.3.2 | SAT | 36.0745 | 36.1024 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 109 |
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.04 c Seed is 1255413441 0.00/0.04 c Constructing HOME/instance-2066644-1247705053.xml with 51570 constraints 0.87/0.94 c Solving 109 backtracks 3 restarts 35.95/36.04 s SATISFIABLE 35.95/36.04 c V0=1, V1=0, V2=1, V3=0, V4=1, V5=0, 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=0, V33=1, V34=1, V35=0, V36=0, V37=1, 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=0, V89=1, 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=1, V113=0, V114=1, V115=0, V116=1, V117=0, V118=1, V119=0, V120=1, V121=0, V122=1, V123=0, 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=1, V149=0, V150=1, V151=0, V152=1, V153=0, V154=1, V155=0, 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=1, V199=0, V200=1, V201=0, V202=1, V203=0, V204=1, V205=0, V206=1, V207=0, V208=1, V209=0, 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=1, V225=0, V226=1, V227=0, V228=1, V229=0, V230=1, V231=0, V232=1, V233=0, V234=1, V235=0, V236=1, V237=0, V238=1, V239=0, V240=0, V241=1, V242=1, V243=0, V244=1, V245=0, V246=1, V247=0, V248=1, V249=0, V250=0, V251=1, 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=0, V271=1, V272=1, V273=0, V274=0, V275=1, V276=1, V277=0, V278=1, V279=0, V280=1, V281=0, V282=0, V283=1, V284=1, V285=0, V286=1, V287=0, V288=1, V289=0, V290=1, V291=0, V292=1, V293=0, 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=0, V327=1, 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=1, V345=0, V346=1, V347=0, V348=1, V349=0, V350=0, V351=1, V352=0, V353=1, 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=0, V371=1, 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=0, V385=1, V386=1, V387=0, V388=0, V389=1, V390=1, V391=0, V392=0, V393=1, V394=0, V395=1, V396=0, V397=1, V398=1, V399=0, V400=0, V401=1, V402=0, V403=1, V404=1, V405=0, V406=0, V407=1, V408=1, V409=0, V410=0, V411=1, V412=0, V413=1, V414=0, V415=1, V416=1, V417=0, V418=0, V419=1, V420=1, V421=0, V422=0, V423=1, V424=0, V425=1, V426=0, V427=1, V428=1, V429=0, V430=0, V431=1, V432=0, V433=1, V434=1, V435=0, V436=0, V437=1, V438=0, V439=1, V440=1, V441=0, V442=0, V443=1, V444=0, V445=1, V446=0, V447=1, V448=1, V449=0, V450=1, V451=0, V452=0, V453=1, V454=0, V455=1, V456=0, V457=1, V458=1, V459=0, V460=0, V461=1, V462=1, V463=0, V464=0, V465=1, V466=0, V467=1, V468=1, V469=0, V470=0, V471=1, V472=0, V473=1, V474=0, V475=1, V476=1, V477=0, V478=0, V479=1, V480=1, V481=0, V482=0, V483=1, V484=0, V485=1, V486=1, V487=0, V488=0, V489=1, V490=0, V491=1, V492=0, V493=1, V494=1, V495=0, V496=0, V497=1, V498=1, V499=0, V500=0, V501=1, V502=0, V503=1, V504=1, V505=0, V506=0, V507=1, V508=0, V509=1, V510=1, V511=0, V512=0, V513=1, V514=0, V515=1, V516=0, V517=1, V518=1, V519=0, V520=0, V521=1, V522=0, V523=1, V524=1, V525=0, V526=0, V527=1, V528=0, V529=1, V530=1, V531=0, V532=0, V533=1, V534=0, V535=1, V536=1, V537=0, V538=0, V539=1, V540=1, V541=0, V542=0, V543=1, V544=0, V545=1, V546=1, V547=0, V548=0, V549=1, V550=0, V551=1, V552=1, V553=0, V554=0, V555=1, V556=0, V557=1, V558=0, V559=1, V560=1, V561=0, V562=0, V563=1, V564=0, V565=1, V566=1, V567=0, V568=0, V569=1, V570=0, V571=1, V572=1, V573=0, V574=0, V575=1, V576=0, V577=1, V578=1, V579=0, V580=0, V581=1, V582=0, V583=1, V584=1, V585=0, V586=0, V587=1, V588=0, V589=1, V590=1, V591=0, V592=0, V593=1, V594=0, V595=1, V596=1, V597=0, V598=0, V599=1, V600=0, V601=1, V602=1, V603=0, V604=0, V605=1, V606=1, V607=0, V608=0, V609=1, V610=0, V611=1, V612=1, V613=0, V614=0, V615=1, V616=0, V617=1, V618=0, V619=1, V620=1, V621=0, V622=0, V623=1, V624=0, V625=1, V626=1, V627=0, V628=0, V629=1, V630=0, V631=1, V632=1, V633=0, V634=0, V635=1, V636=1, V637=0, V638=0, V639=1, V640=0, V641=1, V642=1, V643=0, V644=0, V645=1, V646=0, V647=1, V648=1, V649=0, V650=0, V651=1, V652=0, V653=1, V654=1, V655=0, V656=0, V657=1, V658=0, V659=1, V660=1, V661=0, V662=0, V663=1, V664=0, V665=1, V666=0, V667=1, V668=1, V669=0, V670=0, V671=1, V672=0, V673=1, V674=1, V675=0, V676=0, V677=1, V678=0, V679=1, V680=1, V681=0, V682=0, V683=1, V684=1, V685=0, V686=0, V687=1, V688=0, V689=1, V690=0, V691=1, V692=1, V693=0, V694=0, V695=1, V696=0, V697=1, V698=1, V699=0, V700=0, V701=1, V702=0, V703=1, V704=1, V705=0, V706=0, V707=1, V708=0, V709=1, V710=1, V711=0, V712=0, V713=1, V714=1, V715=0, V716=0, V717=1, V718=0, V719=1, V720=0, V721=1, V722=0, V723=1, V724=1, V725=0, V726=0, V727=1, V728=1, V729=0, V730=0, V731=1, V732=0, V733=1, V734=1, V735=0, V736=0, V737=1, V738=1, V739=0, V740=0, V741=1, V742=0, V743=1, V744=1, V745=0, V746=0, V747=1, V748=0, V749=1, V750=0, V751=1, V752=1, V753=0, V754=0, V755=1, V756=0, V757=1, V758=1, V759=0, V760=0, V761=1, V762=0, V763=1, V764=1, V765=0, V766=0, V767=1, V768=1, V769=0, V770=0, V771=1, V772=0, V773=1, V774=0, V775=1, V776=1, V777=0, V778=0, V779=1, V780=1, V781=0, V782=0, V783=1, V784=0, V785=1, V786=1, V787=0, V788=0, V789=1, V790=0, V791=1, V792=1, V793=0, V794=0, V795=1, V796=0, V797=1, V798=0, V799=1, V800=1, V801=0, V802=0, V803=1, V804=0, V805=1, V806=1, V807=0, V808=0, V809=1, V810=1, V811=0, V812=0, V813=1, V814=0, V815=1, V816=0, V817=1, V818=1, V819=0, V820=0, V821=1, V822=0, V823=1, V824=1, V825=0, V826=0, V827=1, V828=0, V829=1, V830=1, V831=0, V832=0, V833=1, V834=0, V835=1, V836=1, V837=0, V838=0, V839=1, V840=1, V841=0, V842=0, V843=1, V844=0, V845=1, V846=0, V847=1, V848=1, V849=0, V850=0, V851=1, V852=1, V853=0, V854=0, V855=1, V856=0, V857=1, V858=0, V859=1, V860=1, V861=0, V862=0, V863=1, V864=0, V865=1, V866=1, V867=0, V868=0, V869=1, V870=1, V871=0, V872=0, V873=1, V874=0, V875=1, V876=0, V877=1, V878=1, V879=0, V880=0, V881=1, V882=1, V883=0, V884=0, V885=1, V886=0, V887=1, V888=0, V889=1, V890=1, V891=0, V892=0, V893=1, V894=0, V895=1, V896=1, V897=0, V898=0, V899=1, V900=1, V901=0, V902=0, V903=1, V904=0, V905=1, V906=0, V907=1, V908=1, V909=0, V910=0, V911=1, V912=1, V913=0, V914=0, V915=1, V916=0, V917=1, V918=1, V919=0, V920=0, V921=1, V922=0, V923=1, V924=0, V925=1, V926=1, V927=0, V928=0, V929=1, V930=1, V931=0, V932=0, V933=1, V934=0, V935=1, V936=1, V937=0, V938=0, V939=1, V940=0, V941=1, V942=1, V943=0, V944=0, V945=1, V946=0, V947=1, V948=1, V949=0, V950=0, V951=1, V952=0, V953=1, V954=1, V955=0, V956=0, V957=1, V958=0, V959=1, V960=0, V961=1, V962=1, V963=0, V964=0, V965=1, V966=0, V967=1, V968=1, V969=0, V970=0, V971=1, V972=1, V973=0, V974=0, V975=1, V976=0, V977=1, V978=0, V979=1, V980=1, V981=0, V982=0, V983=1, V984=1, V985=0, V986=0, V987=1, V988=0, V989=1, V990=1, V991=0, V992=0, V993=1, V994=0, V995=1, V996=1, V997=0, V998=0, V999=1, V1000=0, V1001=1, V1002=0, V1003=1, V1004=1, V1005=0, V1006=0, V1007=1, V1008=0, V1009=1, V1010=1, V1011=0, V1012=0, V1013=1, V1014=0, V1015=1, V1016=1, V1017=0, V1018=0, V1019=1, V1020=1, V1021=0, V1022=0, V1023=1, V1024=0, V1025=1, V1026=0, V1027=1, V1028=0, V1029=1, V1030=1, V1031=0, V1032=1, V1033=0, V1034=0, V1035=1, V1036=0, V1037=1, V1038=0, V1039=1, V1040=1, V1041=0, V1042=0, V1043=1, 35.95/36.09 v 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 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 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 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 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 0 1 0 1 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 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 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 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 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 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 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 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 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 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 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 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 1 0 0 1 1 0 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 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 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 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 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 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 35.95/36.09 d ASSIGNMENTS 109
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2066644-1247705053/watcher-2066644-1247705053 -o /tmp/evaluation-result-2066644-1247705053/solver-2066644-1247705053 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1255413441 HOME/instance-2066644-1247705053.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.42 2.16 1.98 4/83 10920 /proc/meminfo: memFree=1265200/2055920 swapFree=4192812/4192956 [pid=10920] ppid=10918 vsize=18576 CPUtime=0 /proc/10920/stat : 10920 (runsolver) R 10918 10920 9846 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 57570796 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 214945033511 0 0 4096 24578 0 0 0 17 0 0 0 /proc/10920/statm: 4644 284 249 26 0 2626 0 [startup+0.184678 s] /proc/loadavg: 2.42 2.16 1.98 4/83 10920 /proc/meminfo: memFree=1265200/2055920 swapFree=4192812/4192956 [pid=10920] ppid=10918 vsize=6536 CPUtime=0.15 /proc/10920/stat : 10920 (pcs.big) R 10918 10920 9846 0 -1 4194304 1356 826 0 0 14 0 1 0 21 0 1 0 57570796 6692864 850 996147200 134512640 135215973 4294956304 18446744073709551615 4159314573 0 0 4096 0 0 0 0 17 0 0 0 /proc/10920/statm: 1634 850 385 171 0 559 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 6536 [startup+0.201682 s] /proc/loadavg: 2.42 2.16 1.98 4/83 10920 /proc/meminfo: memFree=1265200/2055920 swapFree=4192812/4192956 [pid=10920] ppid=10918 vsize=6664 CPUtime=0.17 /proc/10920/stat : 10920 (pcs.big) R 10918 10920 9846 0 -1 4194304 1392 826 0 0 16 0 1 0 21 0 1 0 57570796 6823936 886 996147200 134512640 135215973 4294956304 18446744073709551615 134744844 0 0 4096 0 0 0 0 17 0 0 0 /proc/10920/statm: 1666 886 385 171 0 591 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 6664 [startup+0.301693 s] /proc/loadavg: 2.42 2.16 1.98 4/83 10920 /proc/meminfo: memFree=1265200/2055920 swapFree=4192812/4192956 [pid=10920] ppid=10918 vsize=7436 CPUtime=0.26 /proc/10920/stat : 10920 (pcs.big) R 10918 10920 9846 0 -1 4194304 1664 826 0 0 25 0 1 0 21 0 1 0 57570796 7614464 1093 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/10920/statm: 1859 1093 385 171 0 784 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 7436 [startup+0.701743 s] /proc/loadavg: 2.42 2.16 1.98 4/83 10920 /proc/meminfo: memFree=1265200/2055920 swapFree=4192812/4192956 [pid=10920] ppid=10918 vsize=15892 CPUtime=0.67 /proc/10920/stat : 10920 (pcs.big) R 10918 10920 9846 0 -1 4194304 4003 826 0 0 64 2 1 0 25 0 1 0 57570796 16273408 2782 996147200 134512640 135215973 4294956304 18446744073709551615 3034664 0 0 4096 0 0 0 0 17 0 0 0 /proc/10920/statm: 3973 2782 385 171 0 2898 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 15892 [startup+1.50183 s] /proc/loadavg: 2.42 2.16 1.98 3/84 10926 /proc/meminfo: memFree=1241248/2055920 swapFree=4192812/4192956 [pid=10920] ppid=10918 vsize=36160 CPUtime=1.46 /proc/10920/stat : 10920 (pcs.big) R 10918 10920 9846 0 -1 4194304 11952 826 0 0 138 7 1 0 25 0 1 0 57570796 37027840 7666 996147200 134512640 135215973 4294956304 18446744073709551615 134908160 0 0 4096 0 0 0 0 17 0 0 0 /proc/10920/statm: 9040 7666 406 171 0 7965 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 36160 [startup+3.10301 s] /proc/loadavg: 2.42 2.16 1.98 3/84 10926 /proc/meminfo: memFree=1228000/2055920 swapFree=4192812/4192956 [pid=10920] ppid=10918 vsize=46632 CPUtime=3.06 /proc/10920/stat : 10920 (pcs.big) R 10918 10920 9846 0 -1 4194304 16127 826 0 0 296 9 1 0 25 0 1 0 57570796 47751168 9936 996147200 134512640 135215973 4294956304 18446744073709551615 134585096 0 0 4096 0 0 0 0 17 0 0 0 /proc/10920/statm: 11658 9936 409 171 0 10583 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 46632 [startup+6.30137 s] /proc/loadavg: 2.38 2.15 1.98 3/84 10926 /proc/meminfo: memFree=1211936/2055920 swapFree=4192812/4192956 [pid=10920] ppid=10918 vsize=67488 CPUtime=6.26 /proc/10920/stat : 10920 (pcs.big) R 10918 10920 9846 0 -1 4194304 23610 826 0 0 612 13 1 0 25 0 1 0 57570796 69107712 13610 996147200 134512640 135215973 4294956304 18446744073709551615 134533360 0 0 4096 0 0 0 0 17 0 0 0 /proc/10920/statm: 16872 13610 409 171 0 15797 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 67488 [startup+12.7011 s] /proc/loadavg: 2.43 2.17 1.99 4/84 10926 /proc/meminfo: memFree=1201128/2055920 swapFree=4192812/4192956 [pid=10920] ppid=10918 vsize=67908 CPUtime=12.66 /proc/10920/stat : 10920 (pcs.big) R 10918 10920 9846 0 -1 4194304 24855 826 0 0 1252 13 1 0 25 0 1 0 57570796 69537792 13695 996147200 134512640 135215973 4294956304 18446744073709551615 135094704 0 0 4096 0 0 0 0 17 0 0 0 /proc/10920/statm: 16977 13695 409 171 0 15902 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 67908 [startup+25.5016 s] /proc/loadavg: 2.42 2.18 1.99 3/84 10926 /proc/meminfo: memFree=1196520/2055920 swapFree=4192812/4192956 [pid=10920] ppid=10918 vsize=68312 CPUtime=25.46 /proc/10920/stat : 10920 (pcs.big) R 10918 10920 9846 0 -1 4194304 26275 826 0 0 2531 14 1 0 25 0 1 0 57570796 69951488 13795 996147200 134512640 135215973 4294956304 18446744073709551615 134591961 0 0 4096 0 0 0 0 17 0 0 0 /proc/10920/statm: 17078 13795 409 171 0 16003 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 68312 Solver just ended. Dumping a history of the last processes samples [startup+25.6016 s] /proc/loadavg: 2.42 2.18 1.99 3/84 10926 /proc/meminfo: memFree=1196520/2055920 swapFree=4192812/4192956 [pid=10920] ppid=10918 vsize=68312 CPUtime=25.56 /proc/10920/stat : 10920 (pcs.big) R 10918 10920 9846 0 -1 4194304 26317 826 0 0 2541 14 1 0 25 0 1 0 57570796 69951488 13797 996147200 134512640 135215973 4294956304 18446744073709551615 134587297 0 0 4096 0 0 0 0 17 0 0 0 /proc/10920/statm: 17078 13797 409 171 0 16003 0 Current children cumulated CPU time (s) 25.56 Current children cumulated vsize (KiB) 68312 [startup+32.0063 s] /proc/loadavg: 2.38 2.17 1.99 4/84 10926 /proc/meminfo: memFree=1190568/2055920 swapFree=4192812/4192956 [pid=10920] ppid=10918 vsize=68448 CPUtime=31.95 /proc/10920/stat : 10920 (pcs.big) R 10918 10920 9846 0 -1 4194304 27035 826 0 0 3180 14 1 0 25 0 1 0 57570796 70090752 13835 996147200 134512640 135215973 4294956304 18446744073709551615 134532660 0 0 4096 0 0 0 0 17 0 0 0 /proc/10920/statm: 17112 13835 409 171 0 16037 0 Current children cumulated CPU time (s) 31.95 Current children cumulated vsize (KiB) 68448 [startup+33.6015 s] /proc/loadavg: 2.38 2.17 1.99 3/84 10926 /proc/meminfo: memFree=1191272/2055920 swapFree=4192812/4192956 [pid=10920] ppid=10918 vsize=68616 CPUtime=33.56 /proc/10920/stat : 10920 (pcs.big) R 10918 10920 9846 0 -1 4194304 27301 826 0 0 3340 15 1 0 25 0 1 0 57570796 70262784 13861 996147200 134512640 135215973 4294956304 18446744073709551615 4158960067 0 0 4096 0 0 0 0 17 0 0 0 /proc/10920/statm: 17154 13861 409 171 0 16079 0 Current children cumulated CPU time (s) 33.56 Current children cumulated vsize (KiB) 68616 [startup+35.2017 s] /proc/loadavg: 2.43 2.19 2.00 3/84 10926 /proc/meminfo: memFree=1188776/2055920 swapFree=4192812/4192956 [pid=10920] ppid=10918 vsize=68616 CPUtime=35.16 /proc/10920/stat : 10920 (pcs.big) R 10918 10920 9846 0 -1 4194304 27479 826 0 0 3500 15 1 0 25 0 1 0 57570796 70262784 13879 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0 /proc/10920/statm: 17154 13879 409 171 0 16079 0 Current children cumulated CPU time (s) 35.16 Current children cumulated vsize (KiB) 68616 [startup+35.6017 s] /proc/loadavg: 2.43 2.19 2.00 3/84 10926 /proc/meminfo: memFree=1188776/2055920 swapFree=4192812/4192956 [pid=10920] ppid=10918 vsize=68616 CPUtime=35.55 /proc/10920/stat : 10920 (pcs.big) R 10918 10920 9846 0 -1 4194304 27481 826 0 0 3539 15 1 0 25 0 1 0 57570796 70262784 13881 996147200 134512640 135215973 4294956304 18446744073709551615 4158960512 0 0 4096 0 0 0 0 17 0 0 0 /proc/10920/statm: 17154 13881 409 171 0 16079 0 Current children cumulated CPU time (s) 35.55 Current children cumulated vsize (KiB) 68616 [startup+36.0018 s] /proc/loadavg: 2.43 2.19 2.00 3/84 10926 /proc/meminfo: memFree=1188776/2055920 swapFree=4192812/4192956 [pid=10920] ppid=10918 vsize=68616 CPUtime=35.95 /proc/10920/stat : 10920 (pcs.big) R 10918 10920 9846 0 -1 4194304 27754 826 0 0 3579 15 1 0 25 0 1 0 57570796 70262784 14114 996147200 134512640 135215973 4294956304 18446744073709551615 134908110 0 0 4096 0 0 0 0 17 0 0 0 /proc/10920/statm: 17154 14114 409 171 0 16079 0 Current children cumulated CPU time (s) 35.95 Current children cumulated vsize (KiB) 68616 Child status: 0 Real time (s): 36.1024 CPU time (s): 36.0745 CPU user time (s): 35.8955 CPU system time (s): 0.178972 CPU usage (%): 99.9229 Max. virtual memory (cumulated for all children) (KiB): 77880 getrusage(RUSAGE_CHILDREN,...) data: user time used= 35.8955 system time used= 0.178972 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28644 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= 22 involuntary context switches= 861 runsolver used 0.045993 second user time and 0.106983 second system time The end
Begin job on node85 at 2009-07-16 02:44:15 IDJOB=2066644 IDBENCH=54552 IDSOLVER=734 FILE ID=node85/2066644-1247705053 PBS_JOBID= 9521149 Free space on /tmp= 126540 MiB SOLVER NAME= pcs-restart 0.2.restart 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-2066644-1247705053/watcher-2066644-1247705053 -o /tmp/evaluation-result-2066644-1247705053/solver-2066644-1247705053 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1255413441 HOME/instance-2066644-1247705053.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= faa57d28b443bcfc668a0f40a81e1157 RANDOM SEED=1255413441 node85.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.220 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.220 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1265688 kB Buffers: 79684 kB Cached: 442828 kB SwapCached: 0 kB Active: 380988 kB Inactive: 336720 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1265688 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3544 kB Writeback: 0 kB Mapped: 215472 kB Slab: 57196 kB Committed_AS: 652588 kB PageTables: 2188 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= 126536 MiB End job on node85 at 2009-07-16 02:44:51