Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs 0.3.2 | SAT | 87.7507 | 88.1918 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 11305 |
Name | csp/pseudo/par/ normalized-par-16-4-c.xml |
MD5SUM | da4e4051861582b53e30c8c888cc77f2 |
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 | 1.36479 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 648 |
Number of constraints | 1616 |
Maximum constraint arity | 3 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1616 |
Global constraints used (with number of constraints) |
0.00/0.01 c has operations which may create big domains 0.00/0.01 c big-domain mode 0.01/0.07 c Seed is 257261623 0.01/0.07 c Constructing HOME/instance-2066104-1247704297.xml with 5050 constraints 0.08/0.11 c Solving 11305 backtracks 14 restarts 87.45/87.95 s SATISFIABLE 87.45/87.95 c V0=1, V1=0, V2=1, V3=0, V4=0, V5=1, V6=1, V7=0, V8=1, V9=0, V10=0, V11=1, V12=1, V13=0, V14=0, V15=1, V16=1, V17=0, V18=0, V19=1, V20=1, V21=0, V22=0, V23=1, V24=1, V25=0, V26=0, V27=1, V28=1, V29=0, V30=0, V31=1, V32=1, V33=0, V34=0, V35=1, V36=1, V37=0, V38=0, V39=1, V40=1, V41=0, V42=0, V43=1, V44=1, V45=0, V46=0, V47=1, V48=1, V49=0, V50=0, V51=1, V52=1, V53=0, V54=0, V55=1, V56=1, V57=0, V58=0, V59=1, V60=1, V61=0, V62=0, V63=1, V64=1, V65=0, V66=0, V67=1, V68=1, V69=0, V70=0, V71=1, V72=1, V73=0, V74=0, V75=1, V76=1, V77=0, V78=0, V79=1, V80=1, V81=0, V82=0, V83=1, V84=1, V85=0, V86=0, V87=1, V88=0, V89=1, V90=1, V91=0, V92=1, V93=0, V94=0, V95=1, V96=0, V97=1, V98=0, V99=1, V100=1, V101=0, V102=0, V103=1, V104=0, V105=1, V106=0, V107=1, V108=1, V109=0, V110=0, V111=1, V112=0, V113=1, V114=0, V115=1, V116=1, V117=0, V118=0, V119=1, V120=0, V121=1, V122=0, V123=1, V124=1, V125=0, V126=0, V127=1, V128=0, V129=1, V130=0, V131=1, V132=1, V133=0, V134=0, V135=1, V136=0, V137=1, V138=0, V139=1, V140=1, V141=0, V142=0, V143=1, V144=0, V145=1, V146=0, V147=1, V148=1, V149=0, V150=0, V151=1, V152=0, V153=1, V154=0, V155=1, V156=1, V157=0, V158=0, V159=1, V160=0, V161=1, V162=0, V163=1, V164=1, V165=0, V166=0, V167=1, V168=0, V169=1, V170=0, V171=1, V172=1, V173=0, V174=0, V175=1, V176=0, V177=1, V178=0, V179=1, V180=1, V181=0, V182=0, V183=1, V184=0, V185=1, V186=0, V187=1, V188=0, V189=1, V190=1, V191=0, V192=1, V193=0, V194=1, V195=0, V196=0, V197=1, V198=0, V199=1, V200=0, V201=1, V202=1, V203=0, V204=0, V205=1, V206=0, V207=1, V208=0, V209=1, V210=0, V211=1, V212=0, V213=1, V214=0, V215=1, V216=0, V217=1, V218=0, V219=1, V220=0, V221=1, V222=0, V223=1, V224=0, V225=1, V226=0, V227=1, V228=0, V229=1, V230=0, V231=1, V232=0, V233=1, V234=0, V235=1, V236=0, V237=1, V238=0, V239=1, V240=0, V241=1, V242=0, V243=1, V244=0, V245=1, V246=0, V247=1, V248=0, V249=1, V250=0, V251=1, V252=0, V253=1, V254=0, V255=1, V256=0, V257=1, V258=0, V259=1, V260=0, V261=1, V262=0, V263=1, V264=0, V265=1, V266=0, V267=1, V268=0, V269=1, V270=0, V271=1, V272=1, V273=0, V274=1, V275=0, V276=0, V277=1, V278=0, V279=1, V280=0, V281=1, V282=0, V283=1, V284=0, V285=1, V286=0, V287=1, V288=0, V289=1, V290=0, V291=1, V292=0, V293=1, V294=1, V295=0, V296=1, V297=0, V298=1, V299=0, V300=0, V301=1, V302=0, V303=1, V304=1, V305=0, V306=0, V307=1, V308=0, V309=1, V310=0, V311=1, V312=0, V313=1, V314=0, V315=1, V316=1, V317=0, V318=1, V319=0, V320=0, V321=1, V322=0, V323=1, V324=0, V325=1, V326=0, V327=1, V328=0, V329=1, V330=1, V331=0, V332=1, V333=0, V334=0, V335=1, V336=0, V337=1, V338=1, V339=0, V340=1, V341=0, V342=1, V343=0, V344=0, V345=1, V346=0, V347=1, V348=0, V349=1, V350=0, V351=1, V352=0, V353=1, V354=0, V355=1, V356=0, V357=1, V358=0, V359=1, V360=0, V361=1, V362=0, V363=1, V364=0, V365=1, V366=1, V367=0, V368=1, V369=0, V370=1, V371=0, V372=1, V373=0, V374=0, V375=1, V376=0, V377=1, V378=0, V379=1, 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=0, V395=1, V396=0, V397=1, V398=0, V399=1, V400=0, V401=1, V402=0, V403=1, V404=0, V405=1, V406=0, V407=1, V408=0, V409=1, V410=0, V411=1, V412=0, V413=1, V414=1, V415=0, V416=1, V417=0, V418=1, V419=0, V420=1, V421=0, V422=0, V423=1, V424=0, V425=1, V426=0, V427=1, V428=0, V429=1, V430=0, V431=1, V432=0, V433=1, 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=0, V447=1, V448=0, V449=1, V450=0, V451=1, V452=1, V453=0, V454=0, V455=1, V456=0, V457=1, V458=0, V459=1, V460=0, V461=1, V462=0, V463=1, V464=1, V465=0, V466=0, V467=1, V468=0, V469=1, V470=0, V471=1, V472=1, V473=0, V474=0, V475=1, V476=0, V477=1, V478=0, V479=1, V480=0, V481=1, V482=1, V483=0, V484=0, V485=1, V486=0, V487=1, V488=0, V489=1, V490=0, V491=1, V492=0, V493=1, V494=0, V495=1, V496=0, V497=1, V498=0, V499=1, V500=0, V501=1, V502=0, V503=1, V504=0, V505=1, V506=0, V507=1, V508=0, V509=1, V510=0, V511=1, V512=0, V513=1, V514=0, V515=1, V516=0, V517=1, V518=0, V519=1, V520=0, V521=1, V522=0, V523=1, V524=0, V525=1, V526=0, V527=1, V528=0, V529=1, V530=1, V531=0, V532=0, V533=1, V534=0, V535=1, V536=0, V537=1, V538=0, V539=1, V540=1, V541=0, V542=1, V543=0, V544=1, V545=0, V546=1, V547=0, V548=1, V549=0, V550=0, V551=1, V552=0, V553=1, V554=0, V555=1, V556=1, V557=0, V558=1, V559=0, V560=1, V561=0, V562=1, V563=0, V564=0, V565=1, V566=0, V567=1, V568=0, V569=1, V570=0, V571=1, V572=0, V573=1, V574=0, V575=1, V576=1, V577=0, V578=1, V579=0, V580=0, V581=1, V582=1, V583=0, V584=0, V585=1, V586=0, V587=1, V588=0, V589=1, V590=0, V591=1, V592=0, V593=1, V594=1, V595=0, V596=0, V597=1, V598=0, V599=1, V600=0, V601=1, 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=0, V617=1, V618=0, V619=1, V620=1, V621=0, V622=1, V623=0, V624=0, V625=1, 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=0, V641=1, V642=0, V643=1, V644=0, V645=1, V646=0, V647=1, 87.64/88.15 v 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 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 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 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 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 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 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 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 0 1 0 1 0 1 0 1 0 1 0 1 0 1 87.64/88.15 d ASSIGNMENTS 11305
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2066104-1247704297/watcher-2066104-1247704297 -o /tmp/evaluation-result-2066104-1247704297/solver-2066104-1247704297 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 257261623 HOME/instance-2066104-1247704297.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.00 2.01 2.00 4/81 8624 /proc/meminfo: memFree=1124208/2055920 swapFree=4191904/4192956 [pid=8624] ppid=8622 vsize=5356 CPUtime=0 /proc/8624/stat : 8624 (pcssolve) R 8622 8624 7368 0 -1 4194304 273 0 0 0 0 0 0 0 19 0 1 0 57492276 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 244276849311 0 65538 4100 65536 0 0 0 17 0 0 0 /proc/8624/statm: 1339 241 200 169 0 50 0 [pid=8625] ppid=8624 vsize=5356 CPUtime=0 /proc/8625/stat : 8625 (pcssolve) R 8624 8624 7368 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 1 0 57492277 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 244276849311 0 65538 4100 65536 0 0 0 17 0 0 0 /proc/8625/statm: 1339 241 200 169 0 50 0 [startup+0.0313809 s] /proc/loadavg: 2.00 2.01 2.00 4/81 8624 /proc/meminfo: memFree=1124208/2055920 swapFree=4191904/4192956 [pid=8624] ppid=8622 vsize=4772 CPUtime=0.01 /proc/8624/stat : 8624 (pcs.big) R 8622 8624 7368 0 -1 4194304 889 826 0 0 1 0 0 0 18 0 1 0 57492276 4886528 498 996147200 134512640 135215973 4294956304 18446744073709551615 134796737 0 0 4096 0 0 0 0 17 0 0 0 /proc/8624/statm: 1193 498 385 171 0 118 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4772 [startup+0.102391 s] /proc/loadavg: 2.00 2.01 2.00 4/81 8624 /proc/meminfo: memFree=1124208/2055920 swapFree=4191904/4192956 [pid=8624] ppid=8622 vsize=5976 CPUtime=0.08 /proc/8624/stat : 8624 (pcs.big) R 8622 8624 7368 0 -1 4194304 1176 826 0 0 8 0 0 0 18 0 1 0 57492276 6119424 752 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/8624/statm: 1494 752 385 171 0 419 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5976 [startup+0.302424 s] /proc/loadavg: 2.00 2.01 2.00 4/81 8624 /proc/meminfo: memFree=1124208/2055920 swapFree=4191904/4192956 [pid=8624] ppid=8622 vsize=8140 CPUtime=0.27 /proc/8624/stat : 8624 (pcs.big) R 8622 8624 7368 0 -1 4194304 1897 826 0 0 27 0 0 0 19 0 1 0 57492276 8335360 1275 996147200 134512640 135215973 4294956304 18446744073709551615 134600145 0 0 4096 0 0 0 0 17 0 0 0 /proc/8624/statm: 2035 1275 409 171 0 960 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 8140 [startup+0.701462 s] /proc/loadavg: 2.00 2.01 2.00 4/81 8624 /proc/meminfo: memFree=1124208/2055920 swapFree=4191904/4192956 [pid=8624] ppid=8622 vsize=9444 CPUtime=0.67 /proc/8624/stat : 8624 (pcs.big) R 8622 8624 7368 0 -1 4194304 2205 826 0 0 67 0 0 0 23 0 1 0 57492276 9670656 1583 996147200 134512640 135215973 4294956304 18446744073709551615 134596224 0 0 4096 0 0 0 0 17 0 0 0 /proc/8624/statm: 2361 1583 409 171 0 1286 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 9444 [startup+1.50155 s] /proc/loadavg: 2.00 2.01 2.00 3/82 8630 /proc/meminfo: memFree=1118248/2055920 swapFree=4191904/4192956 [pid=8624] ppid=8622 vsize=11784 CPUtime=1.47 /proc/8624/stat : 8624 (pcs.big) R 8622 8624 7368 0 -1 4194304 2790 826 0 0 146 1 0 0 25 0 1 0 57492276 12066816 2168 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 0 0 0 /proc/8624/statm: 2946 2168 409 171 0 1871 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 11784 [startup+3.10173 s] /proc/loadavg: 2.00 2.01 2.00 3/82 8630 /proc/meminfo: memFree=1114536/2055920 swapFree=4191904/4192956 [pid=8624] ppid=8622 vsize=16992 CPUtime=3.06 /proc/8624/stat : 8624 (pcs.big) R 8622 8624 7368 0 -1 4194304 4113 826 0 0 305 1 0 0 25 0 1 0 57492276 17399808 3458 996147200 134512640 135215973 4294956304 18446744073709551615 134982845 0 0 4096 0 0 0 0 17 0 0 0 /proc/8624/statm: 4248 3458 409 171 0 3173 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 16992 [startup+6.3011 s] /proc/loadavg: 2.00 2.01 2.00 3/82 8630 /proc/meminfo: memFree=1103912/2055920 swapFree=4191904/4192956 [pid=8624] ppid=8622 vsize=27768 CPUtime=6.24 /proc/8624/stat : 8624 (pcs.big) R 8622 8624 7368 0 -1 4194304 6876 826 0 0 622 2 0 0 25 0 1 0 57492276 28434432 6156 996147200 134512640 135215973 4294956304 18446744073709551615 134902046 0 0 4096 0 0 0 0 17 0 0 0 /proc/8624/statm: 6942 6156 409 171 0 5867 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 27768 [startup+12.7018 s] /proc/loadavg: 2.00 2.01 2.00 3/82 8630 /proc/meminfo: memFree=1082984/2055920 swapFree=4191904/4192956 [pid=8624] ppid=8622 vsize=48124 CPUtime=12.62 /proc/8624/stat : 8624 (pcs.big) R 8622 8624 7368 0 -1 4194304 12053 826 0 0 1256 6 0 0 25 0 1 0 57492276 49278976 11204 996147200 134512640 135215973 4294956304 18446744073709551615 134648325 0 0 4096 0 0 0 0 17 0 0 0 /proc/8624/statm: 12031 11204 409 171 0 10956 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 48124 [startup+25.5023 s] /proc/loadavg: 2.00 2.01 2.00 3/82 8630 /proc/meminfo: memFree=1037544/2055920 swapFree=4191904/4192956 [pid=8624] ppid=8622 vsize=91836 CPUtime=25.35 /proc/8624/stat : 8624 (pcs.big) R 8622 8624 7368 0 -1 4194304 23226 826 0 0 2524 11 0 0 25 0 1 0 57492276 94040064 22055 996147200 134512640 135215973 4294956304 18446744073709551615 4158960148 0 0 4096 0 0 0 0 17 0 0 0 /proc/8624/statm: 22959 22055 409 171 0 21884 0 Current children cumulated CPU time (s) 25.35 Current children cumulated vsize (KiB) 91836 [startup+51.1022 s] /proc/loadavg: 2.00 2.00 2.00 3/82 8630 /proc/meminfo: memFree=963688/2055920 swapFree=4191904/4192956 [pid=8624] ppid=8622 vsize=167380 CPUtime=50.82 /proc/8624/stat : 8624 (pcs.big) R 8622 8624 7368 0 -1 4194304 42506 826 0 0 5062 20 0 0 25 0 1 0 57492276 171397120 40822 996147200 134512640 135215973 4294956304 18446744073709551615 135094450 0 0 4096 0 0 0 0 17 0 0 0 /proc/8624/statm: 41845 40822 409 171 0 40770 0 Current children cumulated CPU time (s) 50.82 Current children cumulated vsize (KiB) 167380 Solver just ended. Dumping a history of the last processes samples [startup+63.9017 s] /proc/loadavg: 2.00 2.00 2.00 3/82 8630 /proc/meminfo: memFree=924968/2055920 swapFree=4191904/4192956 [pid=8624] ppid=8622 vsize=204028 CPUtime=63.56 /proc/8624/stat : 8624 (pcs.big) R 8622 8624 7368 0 -1 4194304 51885 826 0 0 6332 24 0 0 25 0 1 0 57492276 208924672 50201 996147200 134512640 135215973 4294956304 18446744073709551615 135096617 0 0 4096 0 0 0 0 17 0 0 0 /proc/8624/statm: 51007 50201 409 171 0 49932 0 Current children cumulated CPU time (s) 63.56 Current children cumulated vsize (KiB) 204028 [startup+76.7021 s] /proc/loadavg: 2.00 2.00 2.00 3/82 8630 /proc/meminfo: memFree=889704/2055920 swapFree=4191904/4192956 [pid=8624] ppid=8622 vsize=244684 CPUtime=76.29 /proc/8624/stat : 8624 (pcs.big) R 8622 8624 7368 0 -1 4194304 62238 826 0 0 7599 30 0 0 25 0 1 0 57492276 250556416 59529 996147200 134512640 135215973 4294956304 18446744073709551615 134904676 0 0 4096 0 0 0 0 17 0 0 0 /proc/8624/statm: 61171 59529 409 171 0 60096 0 Current children cumulated CPU time (s) 76.29 Current children cumulated vsize (KiB) 244684 [startup+83.1019 s] /proc/loadavg: 2.00 2.00 2.00 3/82 8630 /proc/meminfo: memFree=870120/2055920 swapFree=4191904/4192956 [pid=8624] ppid=8622 vsize=263172 CPUtime=82.66 /proc/8624/stat : 8624 (pcs.big) R 8622 8624 7368 0 -1 4194304 66967 826 0 0 8234 32 0 0 25 0 1 0 57492276 269488128 64258 996147200 134512640 135215973 4294956304 18446744073709551615 12936827 0 0 4096 0 0 0 0 17 0 0 0 /proc/8624/statm: 65793 64258 409 171 0 64718 0 Current children cumulated CPU time (s) 82.66 Current children cumulated vsize (KiB) 263172 [startup+86.3012 s] /proc/loadavg: 2.00 2.00 2.00 3/82 8630 /proc/meminfo: memFree=860072/2055920 swapFree=4191904/4192956 [pid=8624] ppid=8622 vsize=272528 CPUtime=85.84 /proc/8624/stat : 8624 (pcs.big) R 8622 8624 7368 0 -1 4194304 69362 826 0 0 8551 33 0 0 25 0 1 0 57492276 279068672 66653 996147200 134512640 135215973 4294956304 18446744073709551615 134616505 0 0 4096 0 0 0 0 17 0 0 0 /proc/8624/statm: 68132 66653 409 171 0 67057 0 Current children cumulated CPU time (s) 85.84 Current children cumulated vsize (KiB) 272528 [startup+87.1013 s] /proc/loadavg: 2.00 2.00 2.00 3/82 8630 /proc/meminfo: memFree=857000/2055920 swapFree=4191904/4192956 [pid=8624] ppid=8622 vsize=274752 CPUtime=86.64 /proc/8624/stat : 8624 (pcs.big) R 8622 8624 7368 0 -1 4194304 69911 826 0 0 8631 33 0 0 25 0 1 0 57492276 281346048 67202 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0 /proc/8624/statm: 68688 67202 409 171 0 67613 0 Current children cumulated CPU time (s) 86.64 Current children cumulated vsize (KiB) 274752 [startup+87.9014 s] /proc/loadavg: 2.00 2.00 2.00 3/82 8630 /proc/meminfo: memFree=853736/2055920 swapFree=4191904/4192956 [pid=8624] ppid=8622 vsize=277160 CPUtime=87.45 /proc/8624/stat : 8624 (pcs.big) R 8622 8624 7368 0 -1 4194304 70539 826 0 0 8711 34 0 0 25 0 1 0 57492276 283811840 67830 996147200 134512640 135215973 4294956304 18446744073709551615 134904704 0 0 4096 0 0 0 0 17 0 0 0 /proc/8624/statm: 69290 67830 409 171 0 68215 0 Current children cumulated CPU time (s) 87.45 Current children cumulated vsize (KiB) 277160 [startup+88.1014 s] /proc/loadavg: 2.00 2.00 2.00 3/82 8630 /proc/meminfo: memFree=853736/2055920 swapFree=4191904/4192956 [pid=8624] ppid=8622 vsize=276776 CPUtime=87.64 /proc/8624/stat : 8624 (pcs.big) R 8622 8624 7368 0 -1 4194304 70570 826 0 0 8730 34 0 0 25 0 1 0 57492276 283418624 67733 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0 /proc/8624/statm: 69194 67733 409 171 0 68119 0 Current children cumulated CPU time (s) 87.64 Current children cumulated vsize (KiB) 276776 Child status: 0 Real time (s): 88.1918 CPU time (s): 87.7507 CPU user time (s): 87.3657 CPU system time (s): 0.384941 CPU usage (%): 99.4998 Max. virtual memory (cumulated for all children) (KiB): 277160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 87.3657 system time used= 0.384941 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71399 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= 13 involuntary context switches= 2850 runsolver used 0.05999 second user time and 0.272958 second system time The end
Begin job on node63 at 2009-07-16 02:31:37 IDJOB=2066104 IDBENCH=54474 IDSOLVER=733 FILE ID=node63/2066104-1247704297 PBS_JOBID= 9521187 Free space on /tmp= 66200 MiB SOLVER NAME= pcs 0.2 BENCH NAME= CPAI08/csp/pseudo/par/normalized-par-16-4-c.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2066104-1247704297/watcher-2066104-1247704297 -o /tmp/evaluation-result-2066104-1247704297/solver-2066104-1247704297 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 257261623 HOME/instance-2066104-1247704297.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= da4e4051861582b53e30c8c888cc77f2 RANDOM SEED=257261623 node63.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.232 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.232 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: 1124688 kB Buffers: 96440 kB Cached: 674556 kB SwapCached: 260 kB Active: 291520 kB Inactive: 543412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1124688 kB SwapTotal: 4192956 kB SwapFree: 4191904 kB Dirty: 1940 kB Writeback: 0 kB Mapped: 83744 kB Slab: 81352 kB Committed_AS: 600920 kB PageTables: 2020 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66200 MiB End job on node63 at 2009-07-16 02:33:05