Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs 0.3.2 | SAT | 276.2 | 276.304 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 273906 |
Name | csp/QWH-25/ normalized-qwh-25-235-0_ext.xml |
MD5SUM | 31554748f07a2fd0846470dec9671185 |
Bench Category | 2-ARY-EXT (binary constraints in extension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 18.8781 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 625 |
Number of constraints | 9300 |
Maximum constraint arity | 2 |
Maximum domain size | 25 |
Number of constraints which are defined in extension | 9300 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
0.00/0.01 c small-domain mode 0.00/0.01 c Seed is 259223155 0.00/0.01 c Constructing HOME/instance-2058173-1247694239.xml with 56820 constraints 0.18/0.22 c Solving 273906 backtracks 22 restarts 275.77/275.91 s SATISFIABLE 275.77/275.91 c V0=0, V1=10, V2=23, V3=15, V4=4, V5=19, V6=16, V7=17, V8=7, V9=21, V10=24, V11=1, V12=18, V13=22, V14=6, V15=8, V16=13, V17=20, V18=3, V19=5, V20=14, V21=12, V22=9, V23=11, V24=2, V25=18, V26=12, V27=1, V28=6, V29=19, V30=13, V31=0, V32=8, V33=15, V34=23, V35=14, V36=3, V37=9, V38=17, V39=7, V40=22, V41=21, V42=10, V43=4, V44=11, V45=2, V46=20, V47=5, V48=24, V49=16, V50=10, V51=6, V52=8, V53=12, V54=1, V55=22, V56=23, V57=19, V58=0, V59=14, V60=21, V61=11, V62=20, V63=24, V64=2, V65=3, V66=16, V67=18, V68=5, V69=13, V70=7, V71=15, V72=4, V73=17, V74=9, V75=16, V76=24, V77=22, V78=20, V79=9, V80=10, V81=17, V82=14, V83=4, V84=13, V85=2, V86=19, V87=12, V88=8, V89=15, V90=5, V91=7, V92=21, V93=23, V94=3, V95=11, V96=1, V97=6, V98=0, V99=18, V100=24, V101=5, V102=2, V103=14, V104=15, V105=20, V106=10, V107=0, V108=23, V109=6, V110=3, V111=18, V112=1, V113=13, V114=8, V115=9, V116=4, V117=17, V118=16, V119=22, V120=21, V121=7, V122=11, V123=19, V124=12, V125=7, V126=3, V127=4, V128=21, V129=17, V130=23, V131=1, V132=6, V133=9, V134=2, V135=8, V136=12, V137=22, V138=15, V139=0, V140=24, V141=11, V142=14, V143=20, V144=16, V145=10, V146=5, V147=18, V148=13, V149=19, V150=20, V151=4, V152=10, V153=9, V154=0, V155=1, V156=14, V157=2, V158=11, V159=22, V160=13, V161=7, V162=17, V163=6, V164=23, V165=12, V166=19, V167=5, V168=24, V169=18, V170=8, V171=16, V172=3, V173=21, V174=15, V175=8, V176=9, V177=0, V178=18, V179=13, V180=24, V181=7, V182=21, V183=10, V184=17, V185=22, V186=23, V187=16, V188=5, V189=4, V190=14, V191=1, V192=11, V193=15, V194=2, V195=12, V196=19, V197=20, V198=6, V199=3, V200=6, V201=22, V202=18, V203=13, V204=14, V205=12, V206=15, V207=7, V208=3, V209=19, V210=5, V211=4, V212=8, V213=9, V214=20, V215=16, V216=0, V217=2, V218=17, V219=10, V220=1, V221=24, V222=21, V223=23, V224=11, V225=15, V226=13, V227=9, V228=5, V229=18, V230=7, V231=6, V232=16, V233=2, V234=12, V235=10, V236=22, V237=21, V238=4, V239=24, V240=17, V241=8, V242=23, V243=1, V244=19, V245=3, V246=11, V247=0, V248=14, V249=20, V250=3, V251=0, V252=21, V253=10, V254=11, V255=15, V256=18, V257=4, V258=19, V259=16, V260=6, V261=20, V262=5, V263=12, V264=17, V265=13, V266=23, V267=9, V268=14, V269=7, V270=22, V271=2, V272=24, V273=1, V274=8, V275=12, V276=8, V277=24, V278=4, V279=22, V280=2, V281=21, V282=15, V283=18, V284=1, V285=17, V286=6, V287=11, V288=20, V289=3, V290=19, V291=10, V292=13, V293=0, V294=14, V295=16, V296=23, V297=7, V298=9, V299=5, V300=23, V301=2, V302=11, V303=3, V304=8, V305=17, V306=20, V307=9, V308=14, V309=7, V310=4, V311=0, V312=15, V313=10, V314=22, V315=6, V316=5, V317=16, V318=19, V319=12, V320=24, V321=21, V322=1, V323=18, V324=13, V325=17, V326=15, V327=20, V328=11, V329=6, V330=5, V331=8, V332=24, V333=12, V334=4, V335=0, V336=9, V337=23, V338=2, V339=10, V340=18, V341=3, V342=22, V343=7, V344=21, V345=19, V346=13, V347=14, V348=16, V349=1, V350=4, V351=14, V352=17, V353=7, V354=20, V355=11, V356=2, V357=3, V358=16, V359=8, V360=15, V361=21, V362=13, V363=1, V364=9, V365=23, V366=12, V367=19, V368=6, V369=24, V370=18, V371=10, V372=22, V373=5, V374=0, V375=21, V376=11, V377=6, V378=2, V379=16, V380=0, V381=3, V382=23, V383=13, V384=9, V385=7, V386=17, V387=24, V388=19, V389=5, V390=20, V391=14, V392=1, V393=12, V394=4, V395=15, V396=18, V397=10, V398=8, V399=22, V400=9, V401=17, V402=16, V403=23, V404=5, V405=14, V406=22, V407=11, V408=1, V409=24, V410=19, V411=2, V412=6, V413=7, V414=18, V415=21, V416=20, V417=15, V418=13, V419=8, V420=4, V421=0, V422=12, V423=3, V424=10, V425=2, V426=21, V427=5, V428=0, V429=23, V430=18, V431=24, V432=22, V433=6, V434=11, V435=16, V436=15, V437=14, V438=3, V439=19, V440=4, V441=17, V442=12, V443=8, V444=1, V445=20, V446=9, V447=13, V448=10, V449=7, V450=1, V451=16, V452=15, V453=8, V454=12, V455=9, V456=4, V457=5, V458=21, V459=3, V460=18, V461=13, V462=7, V463=23, V464=14, V465=10, V466=2, V467=24, V468=11, V469=6, V470=0, V471=22, V472=19, V473=20, V474=17, V475=19, V476=18, V477=13, V478=1, V479=2, V480=8, V481=11, V482=12, V483=22, V484=20, V485=9, V486=16, V487=3, V488=0, V489=21, V490=7, V491=15, V492=6, V493=10, V494=23, V495=5, V496=14, V497=17, V498=4, V499=24, V500=5, V501=20, V502=19, V503=16, V504=24, V505=21, V506=12, V507=13, V508=17, V509=0, V510=11, V511=10, V512=2, V513=14, V514=1, V515=15, V516=22, V517=3, V518=18, V519=9, V520=6, V521=4, V522=8, V523=7, V524=23, V525=14, V526=19, V527=7, V528=22, V529=10, V530=3, V531=13, V532=1, V533=24, V534=5, V535=23, V536=8, V537=4, V538=11, V539=12, V540=2, V541=18, V542=0, V543=9, V544=20, V545=17, V546=6, V547=16, V548=15, V549=21, V550=13, V551=7, V552=12, V553=19, V554=3, V555=6, V556=9, V557=10, V558=20, V559=15, V560=1, V561=5, V562=0, V563=18, V564=16, V565=11, V566=24, V567=4, V568=21, V569=17, V570=23, V571=8, V572=2, V573=22, V574=14, V575=11, V576=1, V577=14, V578=17, V579=7, V580=16, V581=19, V582=20, V583=5, V584=18, V585=12, V586=24, V587=10, V588=21, V589=13, V590=0, V591=6, V592=8, V593=22, V594=15, V595=9, V596=3, V597=23, V598=2, V599=4, V600=22, V601=23, V602=3, V603=24, V604=21, V605=4, V606=5, V607=18, V608=8, V609=10, V610=20, V611=14, V612=19, V613=16, V614=11, V615=1, V616=9, V617=7, V618=2, V619=0, V620=13, V621=17, V622=15, V623=12, V624=6, 276.17/276.30 v 0 10 23 15 4 19 16 17 7 21 24 1 18 22 6 8 13 20 3 5 14 12 9 11 2 18 12 1 6 19 13 0 8 15 23 14 3 9 17 7 22 21 10 4 11 2 20 5 24 16 10 6 8 12 1 22 23 19 0 14 21 11 20 24 2 3 16 18 5 13 7 15 4 17 9 16 24 22 20 9 10 17 14 4 13 2 19 12 8 15 5 7 21 23 3 11 1 6 0 18 24 5 2 14 15 20 10 0 23 6 3 18 1 13 8 9 4 17 16 22 21 7 11 19 12 7 3 4 21 17 23 1 6 9 2 8 12 22 15 0 24 11 14 20 16 10 5 18 13 19 20 4 10 9 0 1 14 2 11 22 13 7 17 6 23 12 19 5 24 18 8 16 3 21 15 8 9 0 18 13 24 7 21 10 17 22 23 16 5 4 14 1 11 15 2 12 19 20 6 3 6 22 18 13 14 12 15 7 3 19 5 4 8 9 20 16 0 2 17 10 1 24 21 23 11 15 13 9 5 18 7 6 16 2 12 10 22 21 4 24 17 8 23 1 19 3 11 0 14 20 3 0 21 10 11 15 18 4 19 16 6 20 5 12 17 13 23 9 14 7 22 2 24 1 8 12 8 24 4 22 2 21 15 18 1 17 6 11 20 3 19 10 13 0 14 16 23 7 9 5 23 2 11 3 8 17 20 9 14 7 4 0 15 10 22 6 5 16 19 12 24 21 1 18 13 17 15 20 11 6 5 8 24 12 4 0 9 23 2 10 18 3 22 7 21 19 13 14 16 1 4 14 17 7 20 11 2 3 16 8 15 21 13 1 9 23 12 19 6 24 18 10 22 5 0 21 11 6 2 16 0 3 23 13 9 7 17 24 19 5 20 14 1 12 4 15 18 10 8 22 9 17 16 23 5 14 22 11 1 24 19 2 6 7 18 21 20 15 13 8 4 0 12 3 10 2 21 5 0 23 18 24 22 6 11 16 15 14 3 19 4 17 12 8 1 20 9 13 10 7 1 16 15 8 12 9 4 5 21 3 18 13 7 23 14 10 2 24 11 6 0 22 19 20 17 19 18 13 1 2 8 11 12 22 20 9 16 3 0 21 7 15 6 10 23 5 14 17 4 24 5 20 19 16 24 21 12 13 17 0 11 10 2 14 1 15 22 3 18 9 6 4 8 7 23 14 19 7 22 10 3 13 1 24 5 23 8 4 11 12 2 18 0 9 20 17 6 16 15 21 13 7 12 19 3 6 9 10 20 15 1 5 0 18 16 11 24 4 21 17 23 8 2 22 14 11 1 14 17 7 16 19 20 5 18 12 24 10 21 13 0 6 8 22 15 9 3 23 2 4 22 23 3 24 21 4 5 18 8 10 20 14 19 16 11 1 9 7 2 0 13 17 15 12 6 276.17/276.30 d ASSIGNMENTS 273906
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2058173-1247694239/watcher-2058173-1247694239 -o /tmp/evaluation-result-2058173-1247694239/solver-2058173-1247694239 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 259223155 HOME/instance-2058173-1247694239.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: 0.00 0.00 0.00 3/67 13226 /proc/meminfo: memFree=1409160/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=5356 CPUtime=0 /proc/13226/stat : 13226 (pcssolve) R 13224 13226 13123 0 -1 4194304 290 0 0 0 0 0 0 0 18 0 1 0 56490769 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 240472615583 0 65538 4100 65536 0 0 0 17 0 0 0 /proc/13226/statm: 1339 241 200 169 0 50 0 [pid=13227] ppid=13226 vsize=0 CPUtime=0 /proc/13227/stat : 13227 (fgrep) Z 13226 13226 13123 0 -1 4194316 155 0 0 0 0 0 0 0 18 0 1 0 56490769 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0 /proc/13227/statm: 0 0 0 0 0 0 0 [pid=13228] ppid=13226 vsize=0 CPUtime=0 /proc/13228/stat : 13228 (pcssolve) R 13226 13226 13123 0 -1 4194368 22 0 0 0 0 0 0 0 18 0 1 0 56490769 0 0 996147200 0 0 0 18446744073709551615 240472616231 0 0 4096 0 0 0 0 17 0 0 0 /proc/13228/statm: 0 0 0 0 0 0 0 [startup+0.104079 s] /proc/loadavg: 0.00 0.00 0.00 3/67 13226 /proc/meminfo: memFree=1409160/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=7696 CPUtime=0.08 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 1787 824 0 0 8 0 0 0 17 0 1 0 56490769 7880704 1169 996147200 134512640 135095119 4294956304 18446744073709551615 7947899 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 1924 1169 367 142 0 878 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 7696 [startup+0.201086 s] /proc/loadavg: 0.00 0.00 0.00 3/67 13226 /proc/meminfo: memFree=1409160/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=11224 CPUtime=0.18 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 2898 824 0 0 17 1 0 0 18 0 1 0 56490769 11493376 1990 996147200 134512640 135095119 4294956304 18446744073709551615 7947899 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 2806 1990 367 142 0 1760 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 11224 [startup+0.301095 s] /proc/loadavg: 0.00 0.00 0.00 3/67 13226 /proc/meminfo: memFree=1409160/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=12180 CPUtime=0.28 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 3206 824 0 0 27 1 0 0 19 0 1 0 56490769 12472320 2298 996147200 134512640 135095119 4294956304 18446744073709551615 134643013 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 3045 2298 378 142 0 1999 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 12180 [startup+0.70113 s] /proc/loadavg: 0.00 0.00 0.00 3/67 13226 /proc/meminfo: memFree=1409160/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=12308 CPUtime=0.68 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 3249 824 0 0 67 1 0 0 23 0 1 0 56490769 12603392 2341 996147200 134512640 135095119 4294956304 18446744073709551615 134589520 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 3077 2341 378 142 0 2031 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 12308 [startup+1.5012 s] /proc/loadavg: 0.00 0.00 0.00 2/68 13232 /proc/meminfo: memFree=1401024/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=12568 CPUtime=1.48 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 3310 824 0 0 147 1 0 0 25 0 1 0 56490769 12869632 2402 996147200 134512640 135095119 4294956304 18446744073709551615 134555270 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 3142 2402 378 142 0 2096 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 12568 [startup+3.10136 s] /proc/loadavg: 0.08 0.02 0.01 2/68 13232 /proc/meminfo: memFree=1400448/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=13464 CPUtime=3.08 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 3646 824 0 0 307 1 0 0 25 0 1 0 56490769 13787136 2640 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 3366 2640 378 142 0 2320 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 13464 [startup+6.30265 s] /proc/loadavg: 0.08 0.02 0.01 3/73 13247 /proc/meminfo: memFree=1385944/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=18112 CPUtime=6.28 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 4964 824 0 0 626 2 0 0 25 0 1 0 56490769 18546688 3251 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 4528 3251 378 142 0 3482 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 18112 [startup+12.7012 s] /proc/loadavg: 0.37 0.08 0.03 3/73 13247 /proc/meminfo: memFree=1377432/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=22080 CPUtime=12.67 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 6251 824 0 0 1263 4 0 0 25 0 1 0 56490769 22609920 4281 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 5520 4281 378 142 0 4474 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 22080 [startup+25.5014 s] /proc/loadavg: 0.62 0.14 0.05 3/73 13247 /proc/meminfo: memFree=1362008/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=29632 CPUtime=25.47 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 8700 824 0 0 2540 7 0 0 25 0 1 0 56490769 30343168 6217 996147200 134512640 135095119 4294956304 18446744073709551615 134589510 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 7408 6217 378 142 0 6362 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 29632 [startup+51.1017 s] /proc/loadavg: 1.09 0.29 0.10 3/73 13247 /proc/meminfo: memFree=1328216/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=54332 CPUtime=51.06 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 15934 824 0 0 5094 12 0 0 25 0 1 0 56490769 55635968 11272 996147200 134512640 135095119 4294956304 18446744073709551615 134590379 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 13583 11272 378 142 0 12537 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 54332 [startup+102.301 s] /proc/loadavg: 1.64 0.58 0.20 3/73 13247 /proc/meminfo: memFree=1281560/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=78396 CPUtime=102.24 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 23558 824 0 0 10204 20 0 0 25 0 1 0 56490769 80277504 16847 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 19599 16847 378 142 0 18553 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 78396 [startup+162.302 s] /proc/loadavg: 1.85 0.81 0.30 3/73 13311 /proc/meminfo: memFree=1278552/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=101692 CPUtime=162.22 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 31100 824 0 0 16193 29 0 0 25 0 1 0 56490769 104132608 24389 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 25423 24389 378 142 0 24377 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 101692 [startup+222.306 s] /proc/loadavg: 1.95 1.04 0.42 3/73 13311 /proc/meminfo: memFree=1199512/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=164992 CPUtime=222.2 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 48303 824 0 0 22182 38 0 0 25 0 1 0 56490769 168951808 35446 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 41248 35446 378 142 0 40202 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 164992 Solver just ended. Dumping a history of the last processes samples [startup+230.402 s] /proc/loadavg: 1.95 1.06 0.42 3/73 13311 /proc/meminfo: memFree=1194904/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=164992 CPUtime=230.3 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 48477 824 0 0 22991 39 0 0 25 0 1 0 56490769 168951808 35620 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 41248 35620 378 142 0 40202 0 Current children cumulated CPU time (s) 230.3 Current children cumulated vsize (KiB) 164992 [startup+256.001 s] /proc/loadavg: 1.97 1.13 0.47 3/73 13311 /proc/meminfo: memFree=1179928/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=164992 CPUtime=255.89 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 49081 824 0 0 25549 40 0 0 25 0 1 0 56490769 168951808 36224 996147200 134512640 135095119 4294956304 18446744073709551615 134615507 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 41248 36224 378 142 0 40202 0 Current children cumulated CPU time (s) 255.89 Current children cumulated vsize (KiB) 164992 [startup+268.801 s] /proc/loadavg: 1.97 1.17 0.49 3/73 13311 /proc/meminfo: memFree=1172312/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=164992 CPUtime=268.68 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 49392 824 0 0 26828 40 0 0 25 0 1 0 56490769 168951808 36535 996147200 134512640 135095119 4294956304 18446744073709551615 134607070 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 41248 36535 378 142 0 40202 0 Current children cumulated CPU time (s) 268.68 Current children cumulated vsize (KiB) 164992 [startup+272.003 s] /proc/loadavg: 1.97 1.17 0.49 3/73 13311 /proc/meminfo: memFree=1170456/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=164992 CPUtime=271.88 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 49470 824 0 0 27148 40 0 0 25 0 1 0 56490769 168951808 36613 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 41248 36613 378 142 0 40202 0 Current children cumulated CPU time (s) 271.88 Current children cumulated vsize (KiB) 164992 [startup+273.602 s] /proc/loadavg: 1.98 1.19 0.50 3/73 13311 /proc/meminfo: memFree=1169816/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=164992 CPUtime=273.48 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 49509 824 0 0 27308 40 0 0 25 0 1 0 56490769 168951808 36652 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 41248 36652 378 142 0 40202 0 Current children cumulated CPU time (s) 273.48 Current children cumulated vsize (KiB) 164992 [startup+275.202 s] /proc/loadavg: 1.98 1.19 0.50 3/73 13311 /proc/meminfo: memFree=1168408/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=165120 CPUtime=275.08 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 49587 824 0 0 27468 40 0 0 25 0 1 0 56490769 169082880 36730 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 41280 36730 378 142 0 40234 0 Current children cumulated CPU time (s) 275.08 Current children cumulated vsize (KiB) 165120 [startup+276.001 s] /proc/loadavg: 1.98 1.19 0.50 3/73 13311 /proc/meminfo: memFree=1168408/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=148988 CPUtime=275.87 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 49665 824 0 0 27547 40 0 0 25 0 1 0 56490769 152563712 34224 996147200 134512640 135095119 4294956304 18446744073709551615 7945726 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 37247 34224 378 142 0 36201 0 Current children cumulated CPU time (s) 275.87 Current children cumulated vsize (KiB) 148988 [startup+276.206 s] /proc/loadavg: 1.98 1.19 0.50 3/73 13311 /proc/meminfo: memFree=1177688/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=148988 CPUtime=276.08 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 49665 824 0 0 27568 40 0 0 25 0 1 0 56490769 152563712 34224 996147200 134512640 135095119 4294956304 18446744073709551615 7942151 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 37247 34224 378 142 0 36201 0 Current children cumulated CPU time (s) 276.08 Current children cumulated vsize (KiB) 148988 [startup+276.301 s] /proc/loadavg: 1.98 1.19 0.50 3/73 13311 /proc/meminfo: memFree=1177688/2055920 swapFree=4191900/4192956 [pid=13226] ppid=13224 vsize=31448 CPUtime=276.17 /proc/13226/stat : 13226 (pcs.small) R 13224 13226 13123 0 -1 4194304 49665 824 0 0 27575 42 0 0 25 0 1 0 56490769 32202752 7213 996147200 134512640 135095119 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/13226/statm: 7862 7213 4610 142 0 6816 0 Current children cumulated CPU time (s) 276.17 Current children cumulated vsize (KiB) 31448 Child status: 0 Real time (s): 276.304 CPU time (s): 276.2 CPU user time (s): 275.764 CPU system time (s): 0.435933 CPU usage (%): 99.9625 Max. virtual memory (cumulated for all children) (KiB): 173188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 275.764 system time used= 0.435933 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50492 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= 14 involuntary context switches= 933 runsolver used 0.406938 second user time and 0.855869 second system time The end
Begin job on node15 at 2009-07-15 23:43:59 IDJOB=2058173 IDBENCH=53452 IDSOLVER=733 FILE ID=node15/2058173-1247694239 PBS_JOBID= 9521279 Free space on /tmp= 66308 MiB SOLVER NAME= pcs 0.2 BENCH NAME= CPAI08/csp/QWH-25/normalized-qwh-25-235-0_ext.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2058173-1247694239/watcher-2058173-1247694239 -o /tmp/evaluation-result-2058173-1247694239/solver-2058173-1247694239 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 259223155 HOME/instance-2058173-1247694239.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= 31554748f07a2fd0846470dec9671185 RANDOM SEED=259223155 node15.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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1409712 kB Buffers: 76024 kB Cached: 488640 kB SwapCached: 416 kB Active: 171764 kB Inactive: 407692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1409712 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2432 kB Writeback: 0 kB Mapped: 23852 kB Slab: 52420 kB Committed_AS: 788044 kB PageTables: 1692 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= 66304 MiB End job on node15 at 2009-07-15 23:48:36