Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs-restart 0.3.2 | SAT | 86.9768 | 87.3389 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 11957 |
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.00/0.02 c Seed is 1458083890 0.00/0.02 c Constructing HOME/instance-2066105-1247704358.xml with 5050 constraints 0.08/0.11 c Solving 11957 backtracks 14 restarts 86.72/87.10 s SATISFIABLE 86.72/87.10 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, 86.82/87.30 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 86.82/87.30 d ASSIGNMENTS 11957
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2066105-1247704358/watcher-2066105-1247704358 -o /tmp/evaluation-result-2066105-1247704358/solver-2066105-1247704358 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1458083890 HOME/instance-2066105-1247704358.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.99 2.09 2.00 4/82 19579 /proc/meminfo: memFree=1214928/2055912 swapFree=4192812/4192956 [pid=19579] ppid=19577 vsize=5356 CPUtime=0 /proc/19579/stat : 19579 (pcssolve) S 19577 19579 16272 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 57500370 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/19579/statm: 1339 242 201 169 0 50 0 [pid=19580] ppid=19579 vsize=5356 CPUtime=0 /proc/19580/stat : 19580 (pcssolve) R 19579 19579 16272 0 -1 4194368 21 0 0 0 0 0 0 0 19 0 1 0 57500370 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 255373048421 0 0 4100 65536 0 0 0 17 1 0 0 /proc/19580/statm: 1339 243 202 169 0 50 0 [pid=19581] ppid=19579 vsize=5356 CPUtime=0 /proc/19581/stat : 19581 (pcssolve) R 19579 19579 16272 0 -1 4194368 22 0 0 0 0 0 0 0 21 0 1 0 57500371 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 255372881191 0 0 4096 0 0 0 0 17 1 0 0 /proc/19581/statm: 1339 244 203 169 0 50 0 [startup+0.039963 s] /proc/loadavg: 1.99 2.09 2.00 4/82 19579 /proc/meminfo: memFree=1214928/2055912 swapFree=4192812/4192956 [pid=19579] ppid=19577 vsize=4944 CPUtime=0.01 /proc/19579/stat : 19579 (pcs.big) R 19577 19579 16272 0 -1 4194304 918 826 1 0 1 0 0 0 21 0 1 0 57500370 5062656 528 996147200 134512640 135215973 4294956304 18446744073709551615 134839985 0 0 4096 0 0 0 0 17 0 0 0 /proc/19579/statm: 1236 528 385 171 0 161 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4944 [startup+0.102969 s] /proc/loadavg: 1.99 2.09 2.00 4/82 19579 /proc/meminfo: memFree=1214928/2055912 swapFree=4192812/4192956 [pid=19579] ppid=19577 vsize=5976 CPUtime=0.08 /proc/19579/stat : 19579 (pcs.big) R 19577 19579 16272 0 -1 4194304 1172 826 1 0 8 0 0 0 21 0 1 0 57500370 6119424 749 996147200 134512640 135215973 4294956304 18446744073709551615 134697853 0 0 4096 0 0 0 0 17 0 0 0 /proc/19579/statm: 1494 749 385 171 0 419 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5976 [startup+0.301993 s] /proc/loadavg: 1.99 2.09 2.00 4/82 19579 /proc/meminfo: memFree=1214928/2055912 swapFree=4192812/4192956 [pid=19579] ppid=19577 vsize=8012 CPUtime=0.27 /proc/19579/stat : 19579 (pcs.big) R 19577 19579 16272 0 -1 4194304 1868 826 1 0 27 0 0 0 22 0 1 0 57500370 8204288 1247 996147200 134512640 135215973 4294956304 18446744073709551615 134589296 0 0 4096 0 0 0 0 17 0 0 0 /proc/19579/statm: 2003 1247 409 171 0 928 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 8012 [startup+0.701033 s] /proc/loadavg: 1.99 2.09 2.00 4/82 19579 /proc/meminfo: memFree=1214928/2055912 swapFree=4192812/4192956 [pid=19579] ppid=19577 vsize=9164 CPUtime=0.68 /proc/19579/stat : 19579 (pcs.big) R 19577 19579 16272 0 -1 4194304 2157 826 1 0 67 1 0 0 25 0 1 0 57500370 9383936 1536 996147200 134512640 135215973 4294956304 18446744073709551615 134600377 0 0 4096 0 0 0 0 17 0 0 0 /proc/19579/statm: 2291 1536 409 171 0 1216 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 9164 [startup+1.50212 s] /proc/loadavg: 1.99 2.09 2.00 3/83 19585 /proc/meminfo: memFree=1209032/2055912 swapFree=4192812/4192956 [pid=19579] ppid=19577 vsize=11700 CPUtime=1.47 /proc/19579/stat : 19579 (pcs.big) R 19577 19579 16272 0 -1 4194304 2766 826 1 0 146 1 0 0 25 0 1 0 57500370 11980800 2145 996147200 134512640 135215973 4294956304 18446744073709551615 4158960014 0 0 4096 0 0 0 0 17 0 0 0 /proc/19579/statm: 2925 2145 409 171 0 1850 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 11700 [startup+3.10129 s] /proc/loadavg: 1.99 2.09 2.00 3/83 19585 /proc/meminfo: memFree=1205128/2055912 swapFree=4192812/4192956 [pid=19579] ppid=19577 vsize=16656 CPUtime=3.06 /proc/19579/stat : 19579 (pcs.big) R 19577 19579 16272 0 -1 4194304 4050 826 1 0 304 2 0 0 25 0 1 0 57500370 17055744 3396 996147200 134512640 135215973 4294956304 18446744073709551615 4159337230 0 0 4096 0 0 0 0 17 0 0 0 /proc/19579/statm: 4164 3396 409 171 0 3089 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 16656 [startup+6.30163 s] /proc/loadavg: 2.07 2.10 2.01 3/83 19585 /proc/meminfo: memFree=1194440/2055912 swapFree=4192812/4192956 [pid=19579] ppid=19577 vsize=27780 CPUtime=6.26 /proc/19579/stat : 19579 (pcs.big) R 19577 19579 16272 0 -1 4194304 6859 826 1 0 623 3 0 0 25 0 1 0 57500370 28446720 6140 996147200 134512640 135215973 4294956304 18446744073709551615 134532958 0 0 4096 0 0 0 0 17 0 0 0 /proc/19579/statm: 6945 6140 409 171 0 5870 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 27780 [startup+12.7013 s] /proc/loadavg: 2.06 2.10 2.00 3/83 19585 /proc/meminfo: memFree=1175184/2055912 swapFree=4192812/4192956 [pid=19579] ppid=19577 vsize=46188 CPUtime=12.63 /proc/19579/stat : 19579 (pcs.big) R 19577 19579 16272 0 -1 4194304 11555 826 1 0 1258 5 0 0 25 0 1 0 57500370 47296512 10707 996147200 134512640 135215973 4294956304 18446744073709551615 4158960012 0 0 4096 0 0 0 0 17 0 0 0 /proc/19579/statm: 11547 10707 409 171 0 10472 0 Current children cumulated CPU time (s) 12.63 Current children cumulated vsize (KiB) 46188 [startup+25.5017 s] /proc/loadavg: 2.05 2.09 2.00 3/83 19585 /proc/meminfo: memFree=1133840/2055912 swapFree=4192812/4192956 [pid=19579] ppid=19577 vsize=86640 CPUtime=25.37 /proc/19579/stat : 19579 (pcs.big) R 19577 19579 16272 0 -1 4194304 21882 826 1 0 2527 10 0 0 25 0 1 0 57500370 88719360 20712 996147200 134512640 135215973 4294956304 18446744073709551615 134600018 0 0 4096 0 0 0 0 17 0 0 0 /proc/19579/statm: 21660 20712 409 171 0 20585 0 Current children cumulated CPU time (s) 25.37 Current children cumulated vsize (KiB) 86640 [startup+51.1014 s] /proc/loadavg: 2.18 2.12 2.01 3/83 19585 /proc/meminfo: memFree=1057552/2055912 swapFree=4192812/4192956 [pid=19579] ppid=19577 vsize=164452 CPUtime=50.87 /proc/19579/stat : 19579 (pcs.big) R 19577 19579 16272 0 -1 4194304 41761 826 1 0 5067 20 0 0 25 0 1 0 57500370 168398848 40078 996147200 134512640 135215973 4294956304 18446744073709551615 134902562 0 0 4096 0 0 0 0 17 0 0 0 /proc/19579/statm: 41113 40078 409 171 0 40038 0 Current children cumulated CPU time (s) 50.87 Current children cumulated vsize (KiB) 164452 Solver just ended. Dumping a history of the last processes samples [startup+63.9018 s] /proc/loadavg: 2.21 2.13 2.02 3/83 19585 /proc/meminfo: memFree=1017808/2055912 swapFree=4192812/4192956 [pid=19579] ppid=19577 vsize=201884 CPUtime=63.62 /proc/19579/stat : 19579 (pcs.big) R 19577 19579 16272 0 -1 4194304 51330 826 1 0 6338 24 0 0 25 0 1 0 57500370 206729216 49647 996147200 134512640 135215973 4294956304 18446744073709551615 134902700 0 0 4096 0 0 0 0 17 0 0 0 /proc/19579/statm: 50471 49647 409 171 0 49396 0 Current children cumulated CPU time (s) 63.62 Current children cumulated vsize (KiB) 201884 [startup+76.7011 s] /proc/loadavg: 2.26 2.14 2.02 3/83 19585 /proc/meminfo: memFree=982416/2055912 swapFree=4192812/4192956 [pid=19579] ppid=19577 vsize=242536 CPUtime=76.37 /proc/19579/stat : 19579 (pcs.big) R 19577 19579 16272 0 -1 4194304 61711 826 1 0 7609 28 0 0 25 0 1 0 57500370 248356864 59003 996147200 134512640 135215973 4294956304 18446744073709551615 134523348 0 0 4096 0 0 0 0 17 0 0 0 /proc/19579/statm: 60634 59003 409 171 0 59559 0 Current children cumulated CPU time (s) 76.37 Current children cumulated vsize (KiB) 242536 [startup+83.1018 s] /proc/loadavg: 2.24 2.14 2.02 3/83 19585 /proc/meminfo: memFree=962768/2055912 swapFree=4192812/4192956 [pid=19579] ppid=19577 vsize=260876 CPUtime=82.74 /proc/19579/stat : 19579 (pcs.big) R 19577 19579 16272 0 -1 4194304 66398 826 1 0 8243 31 0 0 25 0 1 0 57500370 267137024 63690 996147200 134512640 135215973 4294956304 18446744073709551615 134585632 0 0 4096 0 0 0 0 17 0 0 0 /proc/19579/statm: 65219 63690 409 171 0 64144 0 Current children cumulated CPU time (s) 82.74 Current children cumulated vsize (KiB) 260876 [startup+84.707 s] /proc/loadavg: 2.30 2.15 2.02 4/83 19585 /proc/meminfo: memFree=948688/2055912 swapFree=4192812/4192956 [pid=19579] ppid=19577 vsize=273252 CPUtime=84.34 /proc/19579/stat : 19579 (pcs.big) R 19577 19579 16272 0 -1 4194304 69522 826 1 0 8402 32 0 0 25 0 1 0 57500370 279810048 66685 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0 /proc/19579/statm: 68313 66685 409 171 0 67238 0 Current children cumulated CPU time (s) 84.34 Current children cumulated vsize (KiB) 273252 [startup+86.3012 s] /proc/loadavg: 2.30 2.15 2.02 3/83 19585 /proc/meminfo: memFree=948688/2055912 swapFree=4192812/4192956 [pid=19579] ppid=19577 vsize=273252 CPUtime=85.93 /proc/19579/stat : 19579 (pcs.big) R 19577 19579 16272 0 -1 4194304 69546 826 1 0 8561 32 0 0 25 0 1 0 57500370 279810048 66709 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0 /proc/19579/statm: 68313 66709 409 171 0 67238 0 Current children cumulated CPU time (s) 85.93 Current children cumulated vsize (KiB) 273252 [startup+87.1022 s] /proc/loadavg: 2.30 2.15 2.02 3/83 19585 /proc/meminfo: memFree=948624/2055912 swapFree=4192812/4192956 [pid=19579] ppid=19577 vsize=273616 CPUtime=86.72 /proc/19579/stat : 19579 (pcs.big) R 19577 19579 16272 0 -1 4194304 69642 826 1 0 8640 32 0 0 25 0 1 0 57500370 280182784 66805 996147200 134512640 135215973 4294956304 18446744073709551615 10147669 0 0 4096 0 0 0 0 17 0 0 0 /proc/19579/statm: 68404 66805 409 171 0 67329 0 Current children cumulated CPU time (s) 86.72 Current children cumulated vsize (KiB) 273616 [startup+87.3029 s] /proc/loadavg: 2.30 2.15 2.02 3/83 19585 /proc/meminfo: memFree=948624/2055912 swapFree=4192812/4192956 [pid=19579] ppid=19577 vsize=0 CPUtime=86.92 /proc/19579/stat : 19579 (pcs.big) R 19577 19579 16272 0 -1 4194308 69645 826 1 0 8660 32 0 0 25 0 1 0 57500370 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0 /proc/19579/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 86.92 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 87.3389 CPU time (s): 86.9768 CPU user time (s): 86.6068 CPU system time (s): 0.369943 CPU usage (%): 99.5853 Max. virtual memory (cumulated for all children) (KiB): 273616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 86.6068 system time used= 0.369943 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 70471 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16 involuntary context switches= 2830 runsolver used 0.079987 second user time and 0.247962 second system time The end
Begin job on node78 at 2009-07-16 02:32:38 IDJOB=2066105 IDBENCH=54474 IDSOLVER=734 FILE ID=node78/2066105-1247704358 PBS_JOBID= 9521161 Free space on /tmp= 126764 MiB SOLVER NAME= pcs-restart 0.2.restart 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-2066105-1247704358/watcher-2066105-1247704358 -o /tmp/evaluation-result-2066105-1247704358/solver-2066105-1247704358 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1458083890 HOME/instance-2066105-1247704358.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= da4e4051861582b53e30c8c888cc77f2 RANDOM SEED=1458083890 node78.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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055912 kB MemFree: 1215408 kB Buffers: 90800 kB Cached: 615380 kB SwapCached: 0 kB Active: 261436 kB Inactive: 507628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055912 kB LowFree: 1215408 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2000 kB Writeback: 0 kB Mapped: 83268 kB Slab: 56376 kB Committed_AS: 687608 kB PageTables: 1980 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= 126760 MiB End job on node78 at 2009-07-16 02:34:06