Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs-restart 0.3.2 | SAT | 6.39103 | 6.45685 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 1 |
Name | csp/domino/ normalized-domino-500-300.xml |
MD5SUM | 5747717340d6a6ce5359e7f930459e2f |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.027995 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 500 |
Number of constraints | 500 |
Maximum constraint arity | 2 |
Maximum domain size | 300 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 500 |
Global constraints used (with number of constraints) |
0.00/0.01 c has big domains 0.00/0.01 c big-domain mode 0.00/0.02 c Seed is 2034456092 0.00/0.02 c Constructing HOME/instance-2082143-1247720743.xml with 507 constraints 0.00/0.04 c Solving 1 backtracks 6.32/6.45 s SATISFIABLE 6.32/6.45 c V0=299, V1=299, V2=299, V3=299, V4=299, V5=299, V6=299, V7=299, V8=299, V9=299, V10=299, V11=299, V12=299, V13=299, V14=299, V15=299, V16=299, V17=299, V18=299, V19=299, V20=299, V21=299, V22=299, V23=299, V24=299, V25=299, V26=299, V27=299, V28=299, V29=299, V30=299, V31=299, V32=299, V33=299, V34=299, V35=299, V36=299, V37=299, V38=299, V39=299, V40=299, V41=299, V42=299, V43=299, V44=299, V45=299, V46=299, V47=299, V48=299, V49=299, V50=299, V51=299, V52=299, V53=299, V54=299, V55=299, V56=299, V57=299, V58=299, V59=299, V60=299, V61=299, V62=299, V63=299, V64=299, V65=299, V66=299, V67=299, V68=299, V69=299, V70=299, V71=299, V72=299, V73=299, V74=299, V75=299, V76=299, V77=299, V78=299, V79=299, V80=299, V81=299, V82=299, V83=299, V84=299, V85=299, V86=299, V87=299, V88=299, V89=299, V90=299, V91=299, V92=299, V93=299, V94=299, V95=299, V96=299, V97=299, V98=299, V99=299, V100=299, V101=299, V102=299, V103=299, V104=299, V105=299, V106=299, V107=299, V108=299, V109=299, V110=299, V111=299, V112=299, V113=299, V114=299, V115=299, V116=299, V117=299, V118=299, V119=299, V120=299, V121=299, V122=299, V123=299, V124=299, V125=299, V126=299, V127=299, V128=299, V129=299, V130=299, V131=299, V132=299, V133=299, V134=299, V135=299, V136=299, V137=299, V138=299, V139=299, V140=299, V141=299, V142=299, V143=299, V144=299, V145=299, V146=299, V147=299, V148=299, V149=299, V150=299, V151=299, V152=299, V153=299, V154=299, V155=299, V156=299, V157=299, V158=299, V159=299, V160=299, V161=299, V162=299, V163=299, V164=299, V165=299, V166=299, V167=299, V168=299, V169=299, V170=299, V171=299, V172=299, V173=299, V174=299, V175=299, V176=299, V177=299, V178=299, V179=299, V180=299, V181=299, V182=299, V183=299, V184=299, V185=299, V186=299, V187=299, V188=299, V189=299, V190=299, V191=299, V192=299, V193=299, V194=299, V195=299, V196=299, V197=299, V198=299, V199=299, V200=299, V201=299, V202=299, V203=299, V204=299, V205=299, V206=299, V207=299, V208=299, V209=299, V210=299, V211=299, V212=299, V213=299, V214=299, V215=299, V216=299, V217=299, V218=299, V219=299, V220=299, V221=299, V222=299, V223=299, V224=299, V225=299, V226=299, V227=299, V228=299, V229=299, V230=299, V231=299, V232=299, V233=299, V234=299, V235=299, V236=299, V237=299, V238=299, V239=299, V240=299, V241=299, V242=299, V243=299, V244=299, V245=299, V246=299, V247=299, V248=299, V249=299, V250=299, V251=299, V252=299, V253=299, V254=299, V255=299, V256=299, V257=299, V258=299, V259=299, V260=299, V261=299, V262=299, V263=299, V264=299, V265=299, V266=299, V267=299, V268=299, V269=299, V270=299, V271=299, V272=299, V273=299, V274=299, V275=299, V276=299, V277=299, V278=299, V279=299, V280=299, V281=299, V282=299, V283=299, V284=299, V285=299, V286=299, V287=299, V288=299, V289=299, V290=299, V291=299, V292=299, V293=299, V294=299, V295=299, V296=299, V297=299, V298=299, V299=299, V300=299, V301=299, V302=299, V303=299, V304=299, V305=299, V306=299, V307=299, V308=299, V309=299, V310=299, V311=299, V312=299, V313=299, V314=299, V315=299, V316=299, V317=299, V318=299, V319=299, V320=299, V321=299, V322=299, V323=299, V324=299, V325=299, V326=299, V327=299, V328=299, V329=299, V330=299, V331=299, V332=299, V333=299, V334=299, V335=299, V336=299, V337=299, V338=299, V339=299, V340=299, V341=299, V342=299, V343=299, V344=299, V345=299, V346=299, V347=299, V348=299, V349=299, V350=299, V351=299, V352=299, V353=299, V354=299, V355=299, V356=299, V357=299, V358=299, V359=299, V360=299, V361=299, V362=299, V363=299, V364=299, V365=299, V366=299, V367=299, V368=299, V369=299, V370=299, V371=299, V372=299, V373=299, V374=299, V375=299, V376=299, V377=299, V378=299, V379=299, V380=299, V381=299, V382=299, V383=299, V384=299, V385=299, V386=299, V387=299, V388=299, V389=299, V390=299, V391=299, V392=299, V393=299, V394=299, V395=299, V396=299, V397=299, V398=299, V399=299, V400=299, V401=299, V402=299, V403=299, V404=299, V405=299, V406=299, V407=299, V408=299, V409=299, V410=299, V411=299, V412=299, V413=299, V414=299, V415=299, V416=299, V417=299, V418=299, V419=299, V420=299, V421=299, V422=299, V423=299, V424=299, V425=299, V426=299, V427=299, V428=299, V429=299, V430=299, V431=299, V432=299, V433=299, V434=299, V435=299, V436=299, V437=299, V438=299, V439=299, V440=299, V441=299, V442=299, V443=299, V444=299, V445=299, V446=299, V447=299, V448=299, V449=299, V450=299, V451=299, V452=299, V453=299, V454=299, V455=299, V456=299, V457=299, V458=299, V459=299, V460=299, V461=299, V462=299, V463=299, V464=299, V465=299, V466=299, V467=299, V468=299, V469=299, V470=299, V471=299, V472=299, V473=299, V474=299, V475=299, V476=299, V477=299, V478=299, V479=299, V480=299, V481=299, V482=299, V483=299, V484=299, V485=299, V486=299, V487=299, V488=299, V489=299, V490=299, V491=299, V492=299, V493=299, V494=299, V495=299, V496=299, V497=299, V498=299, V499=299, 6.32/6.45 v 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 299 6.32/6.45 d ASSIGNMENTS 1
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2082143-1247720743/watcher-2082143-1247720743 -o /tmp/evaluation-result-2082143-1247720743/solver-2082143-1247720743 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2034456092 HOME/instance-2082143-1247720743.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 1.97 1.99 4/81 12877 /proc/meminfo: memFree=1438488/2055920 swapFree=4192812/4192956 [pid=12877] ppid=12875 vsize=18576 CPUtime=0 /proc/12877/stat : 12877 (runsolver) R 12875 12877 10176 0 -1 4194368 15 0 0 0 0 0 0 0 23 0 1 0 59137622 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 248761609511 0 0 4096 24578 0 0 0 17 1 0 0 /proc/12877/statm: 4644 284 249 26 0 2626 0 [startup+0.109785 s] /proc/loadavg: 1.99 1.97 1.99 4/81 12877 /proc/meminfo: memFree=1438488/2055920 swapFree=4192812/4192956 [pid=12877] ppid=12875 vsize=9816 CPUtime=0.08 /proc/12877/stat : 12877 (pcs.big) R 12875 12877 10176 0 -1 4194304 2546 656 0 0 8 0 0 0 25 0 1 0 59137622 10051584 1393 996147200 134512640 135215973 4294956304 18446744073709551615 4158960249 0 0 4096 0 0 0 0 17 1 0 0 /proc/12877/statm: 2454 1393 404 171 0 1379 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9816 [startup+0.202789 s] /proc/loadavg: 1.99 1.97 1.99 4/81 12877 /proc/meminfo: memFree=1438488/2055920 swapFree=4192812/4192956 [pid=12877] ppid=12875 vsize=14992 CPUtime=0.17 /proc/12877/stat : 12877 (pcs.big) R 12875 12877 10176 0 -1 4194304 4423 656 0 0 16 1 0 0 25 0 1 0 59137622 15351808 2437 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0 /proc/12877/statm: 3748 2437 404 171 0 2673 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 14992 [startup+0.302801 s] /proc/loadavg: 1.99 1.97 1.99 4/81 12877 /proc/meminfo: memFree=1438488/2055920 swapFree=4192812/4192956 [pid=12877] ppid=12875 vsize=31212 CPUtime=0.27 /proc/12877/stat : 12877 (pcs.big) R 12875 12877 10176 0 -1 4194304 7137 656 0 0 24 3 0 0 25 0 1 0 59137622 31961088 5151 996147200 134512640 135215973 4294956304 18446744073709551615 134532955 0 0 4096 0 0 0 0 17 1 0 0 /proc/12877/statm: 7803 5151 404 171 0 6728 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 31212 [startup+0.701834 s] /proc/loadavg: 1.99 1.97 1.99 4/81 12877 /proc/meminfo: memFree=1438488/2055920 swapFree=4192812/4192956 [pid=12877] ppid=12875 vsize=25660 CPUtime=0.67 /proc/12877/stat : 12877 (pcs.big) R 12875 12877 10176 0 -1 4194304 7984 656 0 0 63 4 0 0 25 0 1 0 59137622 26275840 4301 996147200 134512640 135215973 4294956304 18446744073709551615 134583418 0 0 4096 0 0 0 0 17 1 0 0 /proc/12877/statm: 6415 4301 407 171 0 5340 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 25660 [startup+1.50291 s] /proc/loadavg: 1.99 1.97 1.99 3/82 12882 /proc/meminfo: memFree=1422608/2055920 swapFree=4192812/4192956 [pid=12877] ppid=12875 vsize=25916 CPUtime=1.46 /proc/12877/stat : 12877 (pcs.big) R 12875 12877 10176 0 -1 4194304 8081 656 0 0 142 4 0 0 25 0 1 0 59137622 26537984 4333 996147200 134512640 135215973 4294956304 18446744073709551615 134902449 0 0 4096 0 0 0 0 17 1 0 0 /proc/12877/statm: 6479 4333 407 171 0 5404 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 25916 [startup+3.10105 s] /proc/loadavg: 1.99 1.97 1.99 3/82 12882 /proc/meminfo: memFree=1422288/2055920 swapFree=4192812/4192956 [pid=12877] ppid=12875 vsize=25916 CPUtime=3.05 /proc/12877/stat : 12877 (pcs.big) R 12875 12877 10176 0 -1 4194304 8115 656 0 0 301 4 0 0 25 0 1 0 59137622 26537984 4367 996147200 134512640 135215973 4294956304 18446744073709551615 134902469 0 0 4096 0 0 0 0 17 1 0 0 /proc/12877/statm: 6479 4367 407 171 0 5404 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 25916 [startup+6.30135 s] /proc/loadavg: 1.99 1.97 1.99 3/82 12882 /proc/meminfo: memFree=1421968/2055920 swapFree=4192812/4192956 [pid=12877] ppid=12875 vsize=26428 CPUtime=6.22 /proc/12877/stat : 12877 (pcs.big) R 12875 12877 10176 0 -1 4194304 8290 656 0 0 618 4 0 0 25 0 1 0 59137622 27062272 4413 996147200 134512640 135215973 4294956304 18446744073709551615 134902469 0 0 4096 0 0 0 0 17 1 0 0 /proc/12877/statm: 6607 4413 407 171 0 5532 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 26428 Solver just ended. Dumping a history of the last processes samples [startup+6.40136 s] /proc/loadavg: 1.99 1.97 1.99 3/82 12882 /proc/meminfo: memFree=1421968/2055920 swapFree=4192812/4192956 [pid=12877] ppid=12875 vsize=26428 CPUtime=6.32 /proc/12877/stat : 12877 (pcs.big) R 12875 12877 10176 0 -1 4194304 8291 656 0 0 628 4 0 0 25 0 1 0 59137622 27062272 4414 996147200 134512640 135215973 4294956304 18446744073709551615 134902469 0 0 4096 0 0 0 0 17 1 0 0 /proc/12877/statm: 6607 4414 407 171 0 5532 0 Current children cumulated CPU time (s) 6.32 Current children cumulated vsize (KiB) 26428 Child status: 0 Real time (s): 6.45685 CPU time (s): 6.39103 CPU user time (s): 6.33404 CPU system time (s): 0.056991 CPU usage (%): 98.9805 Max. virtual memory (cumulated for all children) (KiB): 31212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.33404 system time used= 0.056991 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8950 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= 18 involuntary context switches= 286 runsolver used 0.006998 second user time and 0.028995 second system time The end
Begin job on node55 at 2009-07-16 07:05:43 IDJOB=2082143 IDBENCH=57537 IDSOLVER=734 FILE ID=node55/2082143-1247720743 PBS_JOBID= 9521403 Free space on /tmp= 66372 MiB SOLVER NAME= pcs-restart 0.2.restart BENCH NAME= CPAI08/csp/domino/normalized-domino-500-300.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2082143-1247720743/watcher-2082143-1247720743 -o /tmp/evaluation-result-2082143-1247720743/solver-2082143-1247720743 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2034456092 HOME/instance-2082143-1247720743.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5747717340d6a6ce5359e7f930459e2f RANDOM SEED=2034456092 node55.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.231 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.231 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: 1438968 kB Buffers: 81532 kB Cached: 368084 kB SwapCached: 0 kB Active: 262292 kB Inactive: 282284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1438968 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2304 kB Writeback: 0 kB Mapped: 115436 kB Slab: 57428 kB Committed_AS: 655572 kB PageTables: 1952 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= 66372 MiB End job on node55 at 2009-07-16 07:05:50