Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs-restart 0.3.2 | SAT | 14.5298 | 14.6747 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 5625 |
Name | csp/pseudo/routing/ normalized-s4-4-3-8.xml |
MD5SUM | 2420da35406c8ff7169bed36ee217571 |
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.81072 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 432 |
Number of constraints | 1304 |
Maximum constraint arity | 18 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1304 |
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.07/0.13 c Seed is 575005817 0.07/0.13 c Constructing HOME/instance-2068327-1247706449.xml with 4656 constraints 0.07/0.13 c Solving 5625 backtracks 12 restarts 14.43/14.62 s SATISFIABLE 14.43/14.62 c V0=0, V1=0, V2=1, V3=0, V4=0, V5=1, V6=0, V7=0, V8=0, V9=1, V10=1, V11=0, V12=0, V13=0, V14=0, V15=1, V16=0, V17=0, V18=1, V19=0, V20=1, V21=0, V22=1, V23=0, V24=1, V25=1, V26=0, V27=0, V28=0, V29=1, V30=0, V31=0, V32=1, V33=0, V34=0, V35=0, V36=0, V37=0, V38=1, V39=0, V40=0, V41=0, V42=0, V43=1, V44=0, V45=0, V46=0, V47=0, V48=0, V49=0, V50=0, V51=0, V52=1, V53=0, V54=0, V55=0, V56=0, V57=0, V58=0, V59=0, V60=0, V61=1, V62=1, V63=0, V64=0, V65=0, V66=0, V67=0, V68=0, V69=0, V70=0, V71=0, V72=0, V73=0, V74=0, V75=0, V76=0, V77=0, V78=0, V79=0, V80=0, V81=0, V82=0, V83=0, V84=0, V85=1, V86=0, V87=0, V88=0, V89=1, V90=0, V91=0, V92=0, V93=0, V94=0, V95=0, V96=0, V97=0, V98=0, V99=1, V100=0, V101=0, V102=0, V103=0, V104=0, V105=1, V106=0, V107=0, V108=0, V109=0, V110=0, V111=0, V112=0, V113=1, V114=0, V115=0, V116=1, V117=1, V118=0, V119=0, V120=0, V121=0, V122=1, V123=0, V124=0, V125=0, V126=1, V127=1, V128=1, V129=0, V130=0, V131=0, V132=0, V133=0, V134=0, V135=1, V136=1, V137=0, V138=0, V139=1, V140=0, V141=0, V142=0, V143=0, V144=0, V145=0, V146=0, V147=0, V148=1, V149=0, V150=0, V151=0, V152=0, V153=0, V154=0, V155=0, V156=0, V157=0, V158=0, V159=0, V160=0, V161=0, V162=0, V163=0, V164=0, V165=0, V166=0, V167=0, V168=0, V169=0, V170=0, V171=0, V172=0, V173=0, V174=1, V175=1, V176=0, V177=0, V178=0, V179=0, V180=1, V181=0, V182=0, V183=0, V184=1, V185=0, V186=0, V187=0, V188=0, V189=0, V190=0, V191=0, V192=1, V193=1, V194=0, V195=0, V196=0, V197=0, V198=0, V199=0, V200=0, V201=0, V202=0, V203=0, V204=1, V205=0, V206=0, V207=0, V208=0, V209=0, V210=0, V211=0, V212=0, V213=0, V214=0, V215=0, V216=0, V217=1, V218=0, V219=0, V220=0, V221=0, V222=0, V223=0, V224=0, V225=0, V226=0, V227=0, V228=0, V229=0, V230=1, V231=0, V232=0, V233=0, V234=0, V235=0, V236=0, V237=0, V238=0, V239=0, V240=0, V241=0, V242=0, V243=0, V244=0, V245=0, V246=0, V247=1, V248=0, V249=0, V250=0, V251=0, V252=0, V253=0, V254=0, V255=0, V256=0, V257=0, V258=0, V259=0, V260=0, V261=0, V262=0, V263=0, V264=1, V265=0, V266=0, V267=0, V268=0, V269=0, V270=0, V271=0, V272=0, V273=0, V274=0, V275=0, V276=0, V277=0, V278=0, V279=0, V280=0, V281=0, V282=0, V283=0, V284=0, V285=0, V286=0, V287=0, V288=0, V289=0, V290=0, V291=1, V292=0, V293=0, V294=0, V295=0, V296=1, V297=0, V298=0, V299=1, V300=0, V301=1, V302=0, V303=0, V304=0, V305=0, V306=0, V307=0, V308=0, V309=0, V310=1, V311=1, V312=0, V313=0, V314=0, V315=0, V316=0, V317=0, V318=0, V319=0, V320=0, V321=1, V322=0, V323=0, V324=0, V325=0, V326=0, V327=0, V328=1, V329=0, V330=0, V331=0, V332=1, V333=1, V334=0, V335=0, V336=0, V337=0, V338=0, V339=0, V340=1, V341=1, V342=0, V343=0, V344=0, V345=0, V346=1, V347=1, V348=0, V349=0, V350=0, V351=0, V352=0, V353=0, V354=0, V355=1, V356=0, V357=1, V358=0, V359=1, V360=0, V361=0, V362=0, V363=1, V364=0, V365=0, V366=0, V367=0, V368=0, V369=0, V370=0, V371=0, V372=1, V373=0, V374=0, V375=0, V376=0, V377=0, V378=0, V379=0, V380=0, V381=0, V382=0, V383=0, V384=0, V385=0, V386=0, V387=0, V388=0, V389=0, V390=0, V391=0, V392=0, V393=0, V394=0, V395=0, V396=0, V397=0, V398=0, V399=0, V400=0, V401=1, V402=0, V403=0, V404=0, V405=0, V406=0, V407=0, V408=0, V409=0, V410=0, V411=0, V412=0, V413=0, V414=0, V415=0, V416=0, V417=0, V418=0, V419=0, V420=0, V421=0, V422=0, V423=0, V424=0, V425=0, V426=1, V427=0, V428=0, V429=0, V430=0, V431=0, 14.43/14.62 v 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 14.43/14.66 d ASSIGNMENTS 5625
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2068327-1247706449/watcher-2068327-1247706449 -o /tmp/evaluation-result-2068327-1247706449/solver-2068327-1247706449 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 575005817 HOME/instance-2068327-1247706449.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.53 2.25 2.16 4/82 11624 /proc/meminfo: memFree=1072768/2055920 swapFree=4192812/4192956 [pid=11624] ppid=11622 vsize=18576 CPUtime=0 /proc/11624/stat : 11624 (runsolver) R 11622 11624 10282 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 57707501 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0 /proc/11624/statm: 4644 284 249 26 0 2626 0 [startup+0.08614 s] /proc/loadavg: 2.53 2.25 2.16 4/82 11624 /proc/meminfo: memFree=1072768/2055920 swapFree=4192812/4192956 [pid=11624] ppid=11622 vsize=5508 CPUtime=0.06 /proc/11624/stat : 11624 (pcs.big) R 11622 11624 10282 0 -1 4194304 1056 826 0 0 6 0 0 0 18 0 1 0 57707501 5640192 665 996147200 134512640 135215973 4294956304 18446744073709551615 4159750984 0 0 4096 0 0 0 0 17 1 0 0 /proc/11624/statm: 1377 665 385 171 0 302 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5508 [startup+0.101139 s] /proc/loadavg: 2.53 2.25 2.16 4/82 11624 /proc/meminfo: memFree=1072768/2055920 swapFree=4192812/4192956 [pid=11624] ppid=11622 vsize=5636 CPUtime=0.07 /proc/11624/stat : 11624 (pcs.big) R 11622 11624 10282 0 -1 4194304 1085 826 0 0 7 0 0 0 18 0 1 0 57707501 5771264 694 996147200 134512640 135215973 4294956304 18446744073709551615 4159752472 0 0 4096 0 0 0 0 17 1 0 0 /proc/11624/statm: 1409 694 385 171 0 334 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5636 [startup+0.30117 s] /proc/loadavg: 2.53 2.25 2.16 4/82 11624 /proc/meminfo: memFree=1072768/2055920 swapFree=4192812/4192956 [pid=11624] ppid=11622 vsize=8020 CPUtime=0.27 /proc/11624/stat : 11624 (pcs.big) R 11622 11624 10282 0 -1 4194304 1895 826 0 0 27 0 0 0 19 0 1 0 57707501 8212480 1224 996147200 134512640 135215973 4294956304 18446744073709551615 135097662 0 0 4096 0 0 0 0 17 1 0 0 /proc/11624/statm: 2005 1224 410 171 0 930 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 8020 [startup+0.701225 s] /proc/loadavg: 2.53 2.25 2.16 4/82 11624 /proc/meminfo: memFree=1072768/2055920 swapFree=4192812/4192956 [pid=11624] ppid=11622 vsize=9132 CPUtime=0.67 /proc/11624/stat : 11624 (pcs.big) R 11622 11624 10282 0 -1 4194304 2175 826 0 0 67 0 0 0 23 0 1 0 57707501 9351168 1504 996147200 134512640 135215973 4294956304 18446744073709551615 4158960109 0 0 4096 0 0 0 0 17 1 0 0 /proc/11624/statm: 2283 1504 410 171 0 1208 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 9132 [startup+1.50133 s] /proc/loadavg: 2.49 2.25 2.16 3/83 11630 /proc/meminfo: memFree=1067320/2055920 swapFree=4192812/4192956 [pid=11624] ppid=11622 vsize=11772 CPUtime=1.46 /proc/11624/stat : 11624 (pcs.big) R 11622 11624 10282 0 -1 4194304 2837 826 0 0 145 1 0 0 25 0 1 0 57707501 12054528 2166 996147200 134512640 135215973 4294956304 18446744073709551615 134593971 0 0 4096 0 0 0 0 17 1 0 0 /proc/11624/statm: 2943 2166 410 171 0 1868 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 11772 [startup+3.10155 s] /proc/loadavg: 2.49 2.25 2.16 3/83 11630 /proc/meminfo: memFree=1063544/2055920 swapFree=4192812/4192956 [pid=11624] ppid=11622 vsize=17012 CPUtime=3.05 /proc/11624/stat : 11624 (pcs.big) R 11622 11624 10282 0 -1 4194304 4182 826 0 0 303 2 0 0 25 0 1 0 57707501 17420288 3478 996147200 134512640 135215973 4294956304 18446744073709551615 134600393 0 0 4096 0 0 0 0 17 1 0 0 /proc/11624/statm: 4253 3478 410 171 0 3178 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 17012 [startup+6.30298 s] /proc/loadavg: 2.45 2.24 2.16 3/83 11630 /proc/meminfo: memFree=1053112/2055920 swapFree=4192812/4192956 [pid=11624] ppid=11622 vsize=27140 CPUtime=6.21 /proc/11624/stat : 11624 (pcs.big) R 11622 11624 10282 0 -1 4194304 6740 826 0 0 619 2 0 0 25 0 1 0 57707501 27791360 6036 996147200 134512640 135215973 4294956304 18446744073709551615 4158960136 0 0 4096 0 0 0 0 17 1 0 0 /proc/11624/statm: 6785 6036 410 171 0 5710 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 27140 [startup+12.7019 s] /proc/loadavg: 2.41 2.24 2.16 3/83 11630 /proc/meminfo: memFree=1030584/2055920 swapFree=4192812/4192956 [pid=11624] ppid=11622 vsize=48732 CPUtime=12.55 /proc/11624/stat : 11624 (pcs.big) R 11622 11624 10282 0 -1 4194304 12234 826 0 0 1250 5 0 0 25 0 1 0 57707501 49901568 11271 996147200 134512640 135215973 4294956304 18446744073709551615 134676022 0 0 4096 0 0 0 0 17 1 0 0 /proc/11624/statm: 12183 11271 410 171 0 11108 0 Current children cumulated CPU time (s) 12.55 Current children cumulated vsize (KiB) 48732 Solver just ended. Dumping a history of the last processes samples [startup+13.502 s] /proc/loadavg: 2.41 2.24 2.16 3/83 11630 /proc/meminfo: memFree=1027768/2055920 swapFree=4192812/4192956 [pid=11624] ppid=11622 vsize=50960 CPUtime=13.35 /proc/11624/stat : 11624 (pcs.big) R 11622 11624 10282 0 -1 4194304 12796 826 0 0 1329 6 0 0 25 0 1 0 57707501 52183040 11833 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0 /proc/11624/statm: 12740 11833 410 171 0 11665 0 Current children cumulated CPU time (s) 13.35 Current children cumulated vsize (KiB) 50960 [startup+14.3061 s] /proc/loadavg: 2.41 2.24 2.16 3/83 11630 /proc/meminfo: memFree=1024760/2055920 swapFree=4192812/4192956 [pid=11624] ppid=11622 vsize=53072 CPUtime=14.14 /proc/11624/stat : 11624 (pcs.big) R 11622 11624 10282 0 -1 4194304 13310 826 0 0 1408 6 0 0 25 0 1 0 57707501 54345728 12347 996147200 134512640 135215973 4294956304 18446744073709551615 134648562 0 0 4096 0 0 0 0 17 1 0 0 /proc/11624/statm: 13268 12347 410 171 0 12193 0 Current children cumulated CPU time (s) 14.14 Current children cumulated vsize (KiB) 53072 [startup+14.5021 s] /proc/loadavg: 2.41 2.24 2.16 3/83 11630 /proc/meminfo: memFree=1024760/2055920 swapFree=4192812/4192956 [pid=11624] ppid=11622 vsize=53564 CPUtime=14.33 /proc/11624/stat : 11624 (pcs.big) R 11622 11624 10282 0 -1 4194304 13435 826 0 0 1427 6 0 0 25 0 1 0 57707501 54849536 12472 996147200 134512640 135215973 4294956304 18446744073709551615 134587537 0 0 4096 0 0 0 0 17 1 0 0 /proc/11624/statm: 13391 12472 410 171 0 12316 0 Current children cumulated CPU time (s) 14.33 Current children cumulated vsize (KiB) 53564 [startup+14.6021 s] /proc/loadavg: 2.41 2.24 2.16 3/83 11630 /proc/meminfo: memFree=1024760/2055920 swapFree=4192812/4192956 [pid=11624] ppid=11622 vsize=53688 CPUtime=14.43 /proc/11624/stat : 11624 (pcs.big) R 11622 11624 10282 0 -1 4194304 13508 826 0 0 1437 6 0 0 25 0 1 0 57707501 54976512 12545 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0 /proc/11624/statm: 13422 12545 410 171 0 12347 0 Current children cumulated CPU time (s) 14.43 Current children cumulated vsize (KiB) 53688 Child status: 0 Real time (s): 14.6747 CPU time (s): 14.5298 CPU user time (s): 14.4438 CPU system time (s): 0.085986 CPU usage (%): 99.0128 Max. virtual memory (cumulated for all children) (KiB): 53688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.4438 system time used= 0.085986 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14347 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= 22 involuntary context switches= 616 runsolver used 0.022996 second user time and 0.051992 second system time The end
Begin job on node71 at 2009-07-16 03:07:29 IDJOB=2068327 IDBENCH=54851 IDSOLVER=734 FILE ID=node71/2068327-1247706449 PBS_JOBID= 9521173 Free space on /tmp= 66392 MiB SOLVER NAME= pcs-restart 0.2.restart BENCH NAME= CPAI08/csp/pseudo/routing/normalized-s4-4-3-8.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2068327-1247706449/watcher-2068327-1247706449 -o /tmp/evaluation-result-2068327-1247706449/solver-2068327-1247706449 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 575005817 HOME/instance-2068327-1247706449.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2420da35406c8ff7169bed36ee217571 RANDOM SEED=575005817 node71.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.222 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.222 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: 1073248 kB Buffers: 56796 kB Cached: 136528 kB SwapCached: 0 kB Active: 736440 kB Inactive: 155964 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1073248 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2052 kB Writeback: 0 kB Mapped: 719468 kB Slab: 74040 kB Committed_AS: 1239488 kB PageTables: 3372 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= 66392 MiB End job on node71 at 2009-07-16 03:07:44