Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs 0.3.2 | SAT | 143.267 | 144.627 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 178828 |
Name | csp/QCP-25/ normalized-qcp-25-264-2_ext.xml |
MD5SUM | 45a624dd25b687dc97019ab33ec3f72b |
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 | 12.2341 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 625 |
Number of constraints | 10142 |
Maximum constraint arity | 2 |
Maximum domain size | 25 |
Number of constraints which are defined in extension | 10142 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
0.00/0.02 c small-domain mode 0.17/0.22 c Seed is 2134663504 0.17/0.22 c Constructing HOME/instance-2058965-1247694397.xml with 70862 constraints 0.27/0.31 c Solving 178828 backtracks 21 restarts 142.92/144.38 s SATISFIABLE 142.92/144.38 c V0=24, V1=21, V2=3, V3=10, V4=18, V5=8, V6=6, V7=12, V8=17, V9=19, V10=11, V11=15, V12=13, V13=14, V14=23, V15=2, V16=1, V17=5, V18=20, V19=0, V20=4, V21=9, V22=22, V23=7, V24=16, V25=13, V26=23, V27=12, V28=8, V29=4, V30=17, V31=24, V32=2, V33=20, V34=18, V35=7, V36=16, V37=11, V38=1, V39=5, V40=21, V41=10, V42=9, V43=19, V44=22, V45=15, V46=3, V47=14, V48=6, V49=0, V50=10, V51=16, V52=18, V53=2, V54=23, V55=9, V56=20, V57=19, V58=12, V59=22, V60=5, V61=11, V62=21, V63=7, V64=17, V65=14, V66=15, V67=1, V68=13, V69=24, V70=3, V71=4, V72=0, V73=8, V74=6, V75=16, V76=6, V77=9, V78=20, V79=13, V80=12, V81=21, V82=10, V83=11, V84=2, V85=15, V86=14, V87=1, V88=0, V89=24, V90=5, V91=23, V92=22, V93=17, V94=3, V95=7, V96=18, V97=19, V98=4, V99=8, V100=0, V101=17, V102=19, V103=14, V104=22, V105=16, V106=2, V107=1, V108=15, V109=4, V110=10, V111=5, V112=20, V113=6, V114=3, V115=23, V116=18, V117=7, V118=8, V119=21, V120=13, V121=11, V122=24, V123=12, V124=9, V125=14, V126=20, V127=21, V128=4, V129=2, V130=0, V131=22, V132=9, V133=16, V134=10, V135=18, V136=17, V137=7, V138=15, V139=8, V140=11, V141=19, V142=3, V143=6, V144=5, V145=12, V146=23, V147=1, V148=13, V149=24, V150=21, V151=8, V152=16, V153=5, V154=7, V155=3, V156=23, V157=0, V158=9, V159=12, V160=24, V161=6, V162=4, V163=10, V164=18, V165=13, V166=22, V167=11, V168=14, V169=20, V170=1, V171=19, V172=2, V173=15, V174=17, V175=15, V176=1, V177=24, V178=22, V179=9, V180=6, V181=17, V182=13, V183=19, V184=8, V185=21, V186=2, V187=18, V188=23, V189=11, V190=3, V191=14, V192=10, V193=0, V194=4, V195=16, V196=20, V197=12, V198=5, V199=7, V200=19, V201=4, V202=17, V203=9, V204=11, V205=10, V206=15, V207=5, V208=2, V209=7, V210=8, V211=20, V212=0, V213=12, V214=14, V215=1, V216=16, V217=18, V218=23, V219=13, V220=6, V221=21, V222=3, V223=24, V224=22, V225=1, V226=2, V227=10, V228=21, V229=17, V230=13, V231=9, V232=8, V233=0, V234=20, V235=14, V236=4, V237=12, V238=22, V239=19, V240=24, V241=11, V242=6, V243=3, V244=7, V245=5, V246=15, V247=16, V248=18, V249=23, V250=3, V251=0, V252=4, V253=18, V254=16, V255=19, V256=8, V257=11, V258=6, V259=9, V260=22, V261=13, V262=15, V263=17, V264=12, V265=20, V266=24, V267=2, V268=1, V269=10, V270=14, V271=5, V272=7, V273=23, V274=21, V275=11, V276=22, V277=13, V278=6, V279=14, V280=23, V281=4, V282=7, V283=5, V284=1, V285=20, V286=18, V287=3, V288=8, V289=21, V290=15, V291=0, V292=19, V293=16, V294=12, V295=17, V296=24, V297=9, V298=10, V299=2, V300=22, V301=3, V302=7, V303=17, V304=8, V305=20, V306=12, V307=24, V308=23, V309=21, V310=4, V311=9, V312=5, V313=11, V314=0, V315=18, V316=2, V317=14, V318=15, V319=6, V320=19, V321=16, V322=10, V323=1, V324=13, V325=2, V326=10, V327=23, V328=24, V329=15, V330=22, V331=14, V332=18, V333=13, V334=5, V335=1, V336=12, V337=17, V338=9, V339=16, V340=8, V341=6, V342=21, V343=7, V344=11, V345=20, V346=0, V347=4, V348=3, V349=19, V350=20, V351=11, V352=15, V353=12, V354=6, V355=14, V356=1, V357=23, V358=18, V359=17, V360=0, V361=3, V362=22, V363=13, V364=7, V365=19, V366=5, V367=16, V368=4, V369=9, V370=24, V371=8, V372=21, V373=2, V374=10, V375=18, V376=13, V377=8, V378=1, V379=5, V380=7, V381=19, V382=6, V383=3, V384=24, V385=12, V386=22, V387=16, V388=21, V389=10, V390=0, V391=4, V392=20, V393=2, V394=15, V395=9, V396=17, V397=23, V398=11, V399=14, V400=5, V401=7, V402=14, V403=3, V404=12, V405=2, V406=10, V407=17, V408=24, V409=13, V410=16, V411=19, V412=8, V413=18, V414=22, V415=9, V416=21, V417=15, V418=11, V419=23, V420=0, V421=1, V422=6, V423=20, V424=4, V425=12, V426=9, V427=6, V428=0, V429=20, V430=15, V431=18, V432=21, V433=22, V434=11, V435=23, V436=7, V437=24, V438=2, V439=1, V440=16, V441=13, V442=4, V443=5, V444=19, V445=10, V446=14, V447=8, V448=17, V449=3, V450=23, V451=5, V452=20, V453=16, V454=19, V455=11, V456=0, V457=3, V458=10, V459=14, V460=13, V461=24, V462=2, V463=4, V464=15, V465=6, V466=12, V467=17, V468=22, V469=8, V470=21, V471=7, V472=18, V473=9, V474=1, V475=9, V476=12, V477=5, V478=11, V479=0, V480=24, V481=7, V482=4, V483=1, V484=23, V485=3, V486=10, V487=6, V488=16, V489=20, V490=17, V491=8, V492=13, V493=21, V494=14, V495=22, V496=2, V497=15, V498=19, V499=18, V500=17, V501=14, V502=1, V503=19, V504=21, V505=4, V506=16, V507=20, V508=7, V509=15, V510=2, V511=0, V512=10, V513=3, V514=6, V515=12, V516=9, V517=8, V518=24, V519=18, V520=23, V521=13, V522=5, V523=22, V524=11, V525=7, V526=18, V527=22, V528=15, V529=1, V530=21, V531=13, V532=14, V533=8, V534=3, V535=19, V536=23, V537=9, V538=24, V539=2, V540=4, V541=17, V542=12, V543=10, V544=16, V545=11, V546=6, V547=20, V548=0, V549=5, V550=8, V551=24, V552=11, V553=23, V554=3, V555=1, V556=5, V557=22, V558=4, V559=6, V560=9, V561=21, V562=14, V563=19, V564=13, V565=7, V566=20, V567=0, V568=12, V569=2, V570=18, V571=10, V572=17, V573=16, V574=15, V575=6, V576=19, V577=0, V578=13, V579=10, V580=18, V581=3, V582=15, V583=14, V584=16, V585=17, V586=8, V587=23, V588=5, V589=4, V590=22, V591=7, V592=24, V593=9, V594=1, V595=2, V596=12, V597=11, V598=21, V599=20, V600=4, V601=15, V602=2, V603=7, V604=24, V605=5, V606=11, V607=16, V608=21, V609=0, V610=6, V611=1, V612=19, V613=20, V614=9, V615=10, V616=3, V617=23, V618=18, V619=17, V620=8, V621=22, V622=13, V623=14, V624=12, 143.22/144.62 v 24 21 3 10 18 8 6 12 17 19 11 15 13 14 23 2 1 5 20 0 4 9 22 7 16 13 23 12 8 4 17 24 2 20 18 7 16 11 1 5 21 10 9 19 22 15 3 14 6 0 10 16 18 2 23 9 20 19 12 22 5 11 21 7 17 14 15 1 13 24 3 4 0 8 6 16 6 9 20 13 12 21 10 11 2 15 14 1 0 24 5 23 22 17 3 7 18 19 4 8 0 17 19 14 22 16 2 1 15 4 10 5 20 6 3 23 18 7 8 21 13 11 24 12 9 14 20 21 4 2 0 22 9 16 10 18 17 7 15 8 11 19 3 6 5 12 23 1 13 24 21 8 16 5 7 3 23 0 9 12 24 6 4 10 18 13 22 11 14 20 1 19 2 15 17 15 1 24 22 9 6 17 13 19 8 21 2 18 23 11 3 14 10 0 4 16 20 12 5 7 19 4 17 9 11 10 15 5 2 7 8 20 0 12 14 1 16 18 23 13 6 21 3 24 22 1 2 10 21 17 13 9 8 0 20 14 4 12 22 19 24 11 6 3 7 5 15 16 18 23 3 0 4 18 16 19 8 11 6 9 22 13 15 17 12 20 24 2 1 10 14 5 7 23 21 11 22 13 6 14 23 4 7 5 1 20 18 3 8 21 15 0 19 16 12 17 24 9 10 2 22 3 7 17 8 20 12 24 23 21 4 9 5 11 0 18 2 14 15 6 19 16 10 1 13 2 10 23 24 15 22 14 18 13 5 1 12 17 9 16 8 6 21 7 11 20 0 4 3 19 20 11 15 12 6 14 1 23 18 17 0 3 22 13 7 19 5 16 4 9 24 8 21 2 10 18 13 8 1 5 7 19 6 3 24 12 22 16 21 10 0 4 20 2 15 9 17 23 11 14 5 7 14 3 12 2 10 17 24 13 16 19 8 18 22 9 21 15 11 23 0 1 6 20 4 12 9 6 0 20 15 18 21 22 11 23 7 24 2 1 16 13 4 5 19 10 14 8 17 3 23 5 20 16 19 11 0 3 10 14 13 24 2 4 15 6 12 17 22 8 21 7 18 9 1 9 12 5 11 0 24 7 4 1 23 3 10 6 16 20 17 8 13 21 14 22 2 15 19 18 17 14 1 19 21 4 16 20 7 15 2 0 10 3 6 12 9 8 24 18 23 13 5 22 11 7 18 22 15 1 21 13 14 8 3 19 23 9 24 2 4 17 12 10 16 11 6 20 0 5 8 24 11 23 3 1 5 22 4 6 9 21 14 19 13 7 20 0 12 2 18 10 17 16 15 6 19 0 13 10 18 3 15 14 16 17 8 23 5 4 22 7 24 9 1 2 12 11 21 20 4 15 2 7 24 5 11 16 21 0 6 1 19 20 9 10 3 23 18 17 8 22 13 14 12 143.22/144.62 d ASSIGNMENTS 178828
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2058965-1247694397/watcher-2058965-1247694397 -o /tmp/evaluation-result-2058965-1247694397/solver-2058965-1247694397 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2134663504 HOME/instance-2058965-1247694397.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: 1.89 0.89 0.34 4/72 16495 /proc/meminfo: memFree=1271800/2055920 swapFree=4192812/4192956 [pid=16495] ppid=16493 vsize=18576 CPUtime=0 /proc/16495/stat : 16495 (runsolver) R 16493 16495 16180 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 56503598 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 264840473895 0 0 4096 24578 0 0 0 17 1 0 0 /proc/16495/statm: 4644 284 249 26 0 2626 0 [startup+0.075538 s] /proc/loadavg: 1.89 0.89 0.34 4/72 16495 /proc/meminfo: memFree=1271800/2055920 swapFree=4192812/4192956 [pid=16495] ppid=16493 vsize=6124 CPUtime=0.04 /proc/16495/stat : 16495 (pcs.small) R 16493 16495 16180 0 -1 4194304 1319 824 0 0 4 0 0 0 18 0 1 0 56503598 6270976 830 996147200 134512640 135095119 4294956304 18446744073709551615 11722374 0 0 4096 0 0 0 0 17 1 0 0 /proc/16495/statm: 1531 830 367 142 0 485 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 6124 [startup+0.101544 s] /proc/loadavg: 1.89 0.89 0.34 4/72 16495 /proc/meminfo: memFree=1271800/2055920 swapFree=4192812/4192956 [pid=16495] ppid=16493 vsize=7428 CPUtime=0.07 /proc/16495/stat : 16495 (pcs.small) R 16493 16495 16180 0 -1 4194304 1663 824 0 0 7 0 0 0 18 0 1 0 56503598 7606272 1045 996147200 134512640 135095119 4294956304 18446744073709551615 4160172304 0 0 4096 0 0 0 0 17 1 0 0 /proc/16495/statm: 1857 1045 367 142 0 811 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 7428 [startup+0.301564 s] /proc/loadavg: 1.89 0.89 0.34 4/72 16495 /proc/meminfo: memFree=1271800/2055920 swapFree=4192812/4192956 [pid=16495] ppid=16493 vsize=15900 CPUtime=0.27 /proc/16495/stat : 16495 (pcs.small) R 16493 16495 16180 0 -1 4194304 4229 824 0 0 25 2 0 0 19 0 1 0 56503598 16281600 2743 996147200 134512640 135095119 4294956304 18446744073709551615 4159787302 0 0 4096 0 0 0 0 17 1 0 0 /proc/16495/statm: 3975 2743 367 142 0 2929 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 15900 [startup+0.701603 s] /proc/loadavg: 1.89 0.89 0.34 4/72 16495 /proc/meminfo: memFree=1271800/2055920 swapFree=4192812/4192956 [pid=16495] ppid=16493 vsize=16064 CPUtime=0.67 /proc/16495/stat : 16495 (pcs.small) R 16493 16495 16180 0 -1 4194304 4319 824 0 0 65 2 0 0 23 0 1 0 56503598 16449536 2833 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0 /proc/16495/statm: 4016 2833 378 142 0 2970 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 16064 [startup+1.50169 s] /proc/loadavg: 1.90 0.91 0.35 3/73 16501 /proc/meminfo: memFree=1261616/2055920 swapFree=4192812/4192956 [pid=16495] ppid=16493 vsize=16196 CPUtime=1.46 /proc/16495/stat : 16495 (pcs.small) R 16493 16495 16180 0 -1 4194304 4375 824 0 0 144 2 0 0 25 0 1 0 56503598 16584704 2889 996147200 134512640 135095119 4294956304 18446744073709551615 134589541 0 0 4096 0 0 0 0 17 1 0 0 /proc/16495/statm: 4049 2889 378 142 0 3003 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 16196 [startup+3.10185 s] /proc/loadavg: 1.90 0.91 0.35 3/73 16501 /proc/meminfo: memFree=1261104/2055920 swapFree=4192812/4192956 [pid=16495] ppid=16493 vsize=16712 CPUtime=3.05 /proc/16495/stat : 16495 (pcs.small) R 16493 16495 16180 0 -1 4194304 4523 824 0 0 303 2 0 0 25 0 1 0 56503598 17113088 3004 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0 /proc/16495/statm: 4178 3004 378 142 0 3132 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 16712 [startup+6.30118 s] /proc/loadavg: 1.90 0.91 0.35 3/73 16501 /proc/meminfo: memFree=1259504/2055920 swapFree=4192812/4192956 [pid=16495] ppid=16493 vsize=17992 CPUtime=6.22 /proc/16495/stat : 16495 (pcs.small) R 16493 16495 16180 0 -1 4194304 4975 824 0 0 619 3 0 0 25 0 1 0 56503598 18423808 3391 996147200 134512640 135095119 4294956304 18446744073709551615 134554982 0 0 4096 0 0 0 0 17 1 0 0 /proc/16495/statm: 4498 3391 378 142 0 3452 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 17992 [startup+12.7028 s] /proc/loadavg: 1.92 0.94 0.37 3/73 16501 /proc/meminfo: memFree=1255280/2055920 swapFree=4192812/4192956 [pid=16495] ppid=16493 vsize=20936 CPUtime=12.56 /proc/16495/stat : 16495 (pcs.small) R 16493 16495 16180 0 -1 4194304 5976 824 0 0 1252 4 0 0 25 0 1 0 56503598 21438464 4263 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0 /proc/16495/statm: 5234 4263 378 142 0 4188 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 20936 [startup+25.5011 s] /proc/loadavg: 1.93 0.98 0.38 3/73 16501 /proc/meminfo: memFree=1247600/2055920 swapFree=4192812/4192956 [pid=16495] ppid=16493 vsize=26568 CPUtime=25.23 /proc/16495/stat : 16495 (pcs.small) R 16493 16495 16180 0 -1 4194304 7827 824 0 0 2517 6 0 0 25 0 1 0 56503598 27205632 5857 996147200 134512640 135095119 4294956304 18446744073709551615 11714285 0 0 4096 0 0 0 0 17 1 0 0 /proc/16495/statm: 6642 5857 378 142 0 5596 0 Current children cumulated CPU time (s) 25.23 Current children cumulated vsize (KiB) 26568 [startup+51.1017 s] /proc/loadavg: 1.96 1.07 0.43 3/73 16501 /proc/meminfo: memFree=1229552/2055920 swapFree=4192812/4192956 [pid=16495] ppid=16493 vsize=41428 CPUtime=50.59 /proc/16495/stat : 16495 (pcs.small) R 16493 16495 16180 0 -1 4194304 12327 824 0 0 5051 8 0 0 25 0 1 0 56503598 42422272 8690 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0 /proc/16495/statm: 10357 8690 378 142 0 9311 0 Current children cumulated CPU time (s) 50.59 Current children cumulated vsize (KiB) 41428 [startup+102.307 s] /proc/loadavg: 1.98 1.21 0.51 3/73 16501 /proc/meminfo: memFree=1206320/2055920 swapFree=4192812/4192956 [pid=16495] ppid=16493 vsize=61140 CPUtime=101.31 /proc/16495/stat : 16495 (pcs.small) R 16493 16495 16180 0 -1 4194304 18695 824 0 0 10116 15 0 0 25 0 1 0 56503598 62607360 14033 996147200 134512640 135095119 4294956304 18446744073709551615 134642864 0 0 4096 0 0 0 0 17 1 0 0 /proc/16495/statm: 15285 14033 378 142 0 14239 0 Current children cumulated CPU time (s) 101.31 Current children cumulated vsize (KiB) 61140 Solver just ended. Dumping a history of the last processes samples [startup+127.902 s] /proc/loadavg: 1.98 1.28 0.55 3/73 16501 /proc/meminfo: memFree=1195440/2055920 swapFree=4192812/4192956 [pid=16495] ppid=16493 vsize=76884 CPUtime=126.68 /proc/16495/stat : 16495 (pcs.small) R 16493 16495 16180 0 -1 4194304 23317 824 0 0 12648 20 0 0 25 0 1 0 56503598 78729216 16606 996147200 134512640 135095119 4294956304 18446744073709551615 134642881 0 0 4096 0 0 0 0 17 1 0 0 /proc/16495/statm: 19221 16606 378 142 0 18175 0 Current children cumulated CPU time (s) 126.68 Current children cumulated vsize (KiB) 76884 [startup+134.301 s] /proc/loadavg: 1.99 1.29 0.56 3/73 16501 /proc/meminfo: memFree=1192752/2055920 swapFree=4192812/4192956 [pid=16495] ppid=16493 vsize=78548 CPUtime=133.02 /proc/16495/stat : 16495 (pcs.small) R 16493 16495 16180 0 -1 4194304 23911 824 0 0 13281 21 0 0 25 0 1 0 56503598 80433152 17200 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0 /proc/16495/statm: 19637 17200 378 142 0 18591 0 Current children cumulated CPU time (s) 133.02 Current children cumulated vsize (KiB) 78548 [startup+140.702 s] /proc/loadavg: 1.99 1.31 0.57 3/73 16501 /proc/meminfo: memFree=1190256/2055920 swapFree=4192812/4192956 [pid=16495] ppid=16493 vsize=80212 CPUtime=139.36 /proc/16495/stat : 16495 (pcs.small) R 16493 16495 16180 0 -1 4194304 24472 824 0 0 13915 21 0 0 25 0 1 0 56503598 82137088 17761 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0 /proc/16495/statm: 20053 17761 378 142 0 19007 0 Current children cumulated CPU time (s) 139.36 Current children cumulated vsize (KiB) 80212 [startup+142.302 s] /proc/loadavg: 1.99 1.31 0.57 3/73 16501 /proc/meminfo: memFree=1189936/2055920 swapFree=4192812/4192956 [pid=16495] ppid=16493 vsize=80596 CPUtime=140.94 /proc/16495/stat : 16495 (pcs.small) R 16493 16495 16180 0 -1 4194304 24604 824 0 0 14073 21 0 0 25 0 1 0 56503598 82530304 17893 996147200 134512640 135095119 4294956304 18446744073709551615 134839528 0 0 4096 0 0 0 0 17 1 0 0 /proc/16495/statm: 20149 17893 378 142 0 19103 0 Current children cumulated CPU time (s) 140.94 Current children cumulated vsize (KiB) 80596 [startup+143.901 s] /proc/loadavg: 1.99 1.31 0.57 3/73 16501 /proc/meminfo: memFree=1189424/2055920 swapFree=4192812/4192956 [pid=16495] ppid=16493 vsize=81108 CPUtime=142.53 /proc/16495/stat : 16495 (pcs.small) R 16493 16495 16180 0 -1 4194304 24766 824 0 0 14231 22 0 0 25 0 1 0 56503598 83054592 18055 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0 /proc/16495/statm: 20277 18055 378 142 0 19231 0 Current children cumulated CPU time (s) 142.53 Current children cumulated vsize (KiB) 81108 [startup+144.301 s] /proc/loadavg: 1.99 1.31 0.57 3/73 16501 /proc/meminfo: memFree=1188976/2055920 swapFree=4192812/4192956 [pid=16495] ppid=16493 vsize=81236 CPUtime=142.92 /proc/16495/stat : 16495 (pcs.small) R 16493 16495 16180 0 -1 4194304 24803 824 0 0 14270 22 0 0 25 0 1 0 56503598 83185664 18092 996147200 134512640 135095119 4294956304 18446744073709551615 134642912 0 0 4096 0 0 0 0 17 1 0 0 /proc/16495/statm: 20309 18092 378 142 0 19263 0 Current children cumulated CPU time (s) 142.92 Current children cumulated vsize (KiB) 81236 [startup+144.501 s] /proc/loadavg: 1.99 1.31 0.57 3/73 16501 /proc/meminfo: memFree=1188976/2055920 swapFree=4192812/4192956 [pid=16495] ppid=16493 vsize=73040 CPUtime=143.12 /proc/16495/stat : 16495 (pcs.small) R 16493 16495 16180 0 -1 4194304 24808 824 0 0 14290 22 0 0 25 0 1 0 56503598 74792960 16146 996147200 134512640 135095119 4294956304 18446744073709551615 134595289 0 0 4096 0 0 0 0 17 1 0 0 /proc/16495/statm: 18260 16146 378 142 0 17214 0 Current children cumulated CPU time (s) 143.12 Current children cumulated vsize (KiB) 73040 [startup+144.601 s] /proc/loadavg: 1.99 1.31 0.57 3/73 16501 /proc/meminfo: memFree=1188976/2055920 swapFree=4192812/4192956 [pid=16495] ppid=16493 vsize=73040 CPUtime=143.22 /proc/16495/stat : 16495 (pcs.small) R 16493 16495 16180 0 -1 4194304 24808 824 0 0 14300 22 0 0 25 0 1 0 56503598 74792960 16146 996147200 134512640 135095119 4294956304 18446744073709551615 11710553 0 0 4096 0 0 0 0 17 1 0 0 /proc/16495/statm: 18260 16146 378 142 0 17214 0 Current children cumulated CPU time (s) 143.22 Current children cumulated vsize (KiB) 73040 Child status: 0 Real time (s): 144.627 CPU time (s): 143.267 CPU user time (s): 143.029 CPU system time (s): 0.237963 CPU usage (%): 99.06 Max. virtual memory (cumulated for all children) (KiB): 81236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 143.029 system time used= 0.237963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25635 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= 21 involuntary context switches= 3191 runsolver used 0.182972 second user time and 0.482926 second system time The end
Begin job on node44 at 2009-07-15 23:46:37 IDJOB=2058965 IDBENCH=53539 IDSOLVER=733 FILE ID=node44/2058965-1247694397 PBS_JOBID= 9521223 Free space on /tmp= 66280 MiB SOLVER NAME= pcs 0.2 BENCH NAME= CPAI08/csp/QCP-25/normalized-qcp-25-264-2_ext.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2058965-1247694397/watcher-2058965-1247694397 -o /tmp/evaluation-result-2058965-1247694397/solver-2058965-1247694397 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2134663504 HOME/instance-2058965-1247694397.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= 45a624dd25b687dc97019ab33ec3f72b RANDOM SEED=2134663504 node44.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.219 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.219 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: 1272280 kB Buffers: 74896 kB Cached: 593068 kB SwapCached: 0 kB Active: 214056 kB Inactive: 500252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1272280 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2572 kB Writeback: 0 kB Mapped: 57780 kB Slab: 54708 kB Committed_AS: 591056 kB PageTables: 1800 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= 66280 MiB End job on node44 at 2009-07-15 23:49:02