Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs-restart 0.3.2 | SAT | 1.9647 | 1.9723 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 1951 |
Name | csp/pseudo/fpga/ normalized-fpga-10-8.xml |
MD5SUM | 335c4986741aa51f20ed90976fe5c0b5 |
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 | 0.018996 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 120 |
Number of constraints | 106 |
Maximum constraint arity | 10 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 106 |
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.01 c Seed is 914763651 0.00/0.01 c Constructing HOME/instance-2067282-1247705395.xml with 720 constraints 0.00/0.02 c Solving 1951 backtracks 10 restarts 1.88/1.97 s SATISFIABLE 1.88/1.97 c V0=0, V1=0, V2=0, V3=0, V4=0, V5=0, V6=0, V7=1, V8=0, V9=0, V10=0, V11=0, V12=0, V13=0, V14=1, V15=0, V16=0, V17=0, V18=0, V19=0, V20=0, V21=0, V22=0, V23=0, V24=0, V25=1, V26=0, V27=0, V28=0, V29=0, V30=0, V31=0, V32=0, V33=0, V34=0, V35=0, V36=1, V37=0, V38=0, V39=0, V40=0, V41=0, V42=0, V43=0, V44=0, V45=0, V46=0, V47=0, V48=1, V49=0, V50=0, V51=0, V52=1, V53=0, V54=0, V55=0, V56=0, V57=0, V58=0, V59=0, V60=1, V61=0, V62=0, V63=0, V64=0, V65=0, V66=0, V67=0, V68=0, V69=0, V70=0, V71=1, V72=0, V73=0, V74=0, V75=0, V76=0, V77=0, V78=0, V79=0, V80=0, V81=0, V82=0, V83=1, V84=1, V85=0, 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=1, V99=0, V100=0, V101=1, V102=0, V103=0, V104=0, V105=0, V106=0, V107=1, V108=0, V109=0, V110=1, V111=0, V112=1, V113=0, V114=0, V115=0, V116=0, V117=0, V118=0, V119=0, 1.88/1.97 v 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1.88/1.97 d ASSIGNMENTS 1951
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2067282-1247705395/watcher-2067282-1247705395 -o /tmp/evaluation-result-2067282-1247705395/solver-2067282-1247705395 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 914763651 HOME/instance-2067282-1247705395.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.25 2.10 2.01 3/73 15918 /proc/meminfo: memFree=1400336/2055920 swapFree=4192812/4192956 [pid=15918] ppid=15916 vsize=5356 CPUtime=0 /proc/15918/stat : 15918 (pcssolve) R 15916 15918 14714 0 -1 4194304 326 314 0 0 0 0 0 0 19 0 1 0 57602205 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 209560595103 0 65538 4100 65536 0 0 0 17 0 0 0 /proc/15918/statm: 1339 242 201 169 0 50 0 [pid=15921] ppid=15918 vsize=0 CPUtime=0 /proc/15921/stat : 15921 (fgrep) Z 15918 15918 14714 0 -1 4194316 154 0 0 0 0 0 0 0 19 0 1 0 57602206 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0 /proc/15921/statm: 0 0 0 0 0 0 0 [pid=15922] ppid=15918 vsize=5356 CPUtime=0 /proc/15922/stat : 15922 (pcssolve) R 15918 15918 14714 0 -1 4194368 19 0 0 0 0 0 0 0 19 0 1 0 57602206 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 209560762981 0 0 4100 65536 0 0 0 17 0 0 0 /proc/15922/statm: 1339 244 203 169 0 50 0 [startup+0.0759359 s] /proc/loadavg: 2.25 2.10 2.01 3/73 15918 /proc/meminfo: memFree=1400336/2055920 swapFree=4192812/4192956 [pid=15918] ppid=15916 vsize=5320 CPUtime=0.06 /proc/15918/stat : 15918 (pcs.big) R 15916 15918 14714 0 -1 4194304 1026 817 0 0 6 0 0 0 17 0 1 0 57602205 5447680 635 996147200 134512640 135215973 4294956304 18446744073709551615 134590990 0 0 4096 0 0 0 0 17 1 0 0 /proc/15918/statm: 1330 635 409 171 0 255 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5320 [startup+0.101939 s] /proc/loadavg: 2.25 2.10 2.01 3/73 15918 /proc/meminfo: memFree=1400336/2055920 swapFree=4192812/4192956 [pid=15918] ppid=15916 vsize=5456 CPUtime=0.08 /proc/15918/stat : 15918 (pcs.big) R 15916 15918 14714 0 -1 4194304 1058 817 0 0 8 0 0 0 17 0 1 0 57602205 5586944 667 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0 /proc/15918/statm: 1364 667 409 171 0 289 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5456 [startup+0.301973 s] /proc/loadavg: 2.25 2.10 2.01 3/73 15918 /proc/meminfo: memFree=1400336/2055920 swapFree=4192812/4192956 [pid=15918] ppid=15916 vsize=6240 CPUtime=0.28 /proc/15918/stat : 15918 (pcs.big) R 15916 15918 14714 0 -1 4194304 1280 817 0 0 28 0 0 0 18 0 1 0 57602205 6389760 889 996147200 134512640 135215973 4294956304 18446744073709551615 134583658 0 0 4096 0 0 0 0 17 1 0 0 /proc/15918/statm: 1560 889 409 171 0 485 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 6240 [startup+0.701041 s] /proc/loadavg: 2.25 2.10 2.01 3/73 15918 /proc/meminfo: memFree=1400336/2055920 swapFree=4192812/4192956 [pid=15918] ppid=15916 vsize=8264 CPUtime=0.68 /proc/15918/stat : 15918 (pcs.big) R 15916 15918 14714 0 -1 4194304 1769 817 0 0 68 0 0 0 21 0 1 0 57602205 8462336 1378 996147200 134512640 135215973 4294956304 18446744073709551615 134587392 0 0 4096 0 0 0 0 17 1 0 0 /proc/15918/statm: 2066 1378 409 171 0 991 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 8264 [startup+1.50119 s] /proc/loadavg: 2.25 2.10 2.01 3/73 15924 /proc/meminfo: memFree=1395280/2055920 swapFree=4192812/4192956 [pid=15918] ppid=15916 vsize=11660 CPUtime=1.47 /proc/15918/stat : 15918 (pcs.big) R 15916 15918 14714 0 -1 4194304 2602 817 0 0 147 0 0 0 25 0 1 0 57602205 11939840 2211 996147200 134512640 135215973 4294956304 18446744073709551615 134583409 0 0 4096 0 0 0 0 17 0 0 0 /proc/15918/statm: 2915 2211 409 171 0 1840 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 11660 Solver just ended. Dumping a history of the last processes samples [startup+1.90125 s] /proc/loadavg: 2.25 2.10 2.01 3/73 15924 /proc/meminfo: memFree=1395280/2055920 swapFree=4192812/4192956 [pid=15918] ppid=15916 vsize=14000 CPUtime=1.88 /proc/15918/stat : 15918 (pcs.big) R 15916 15918 14714 0 -1 4194304 3198 817 0 0 187 1 0 0 25 0 1 0 57602205 14336000 2807 996147200 134512640 135215973 4294956304 18446744073709551615 4158960027 0 0 4096 0 0 0 0 17 0 0 0 /proc/15918/statm: 3500 2807 409 171 0 2425 0 Current children cumulated CPU time (s) 1.88 Current children cumulated vsize (KiB) 14000 Child status: 0 Real time (s): 1.9723 CPU time (s): 1.9647 CPU user time (s): 1.9467 CPU system time (s): 0.017997 CPU usage (%): 99.6146 Max. virtual memory (cumulated for all children) (KiB): 14000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.9467 system time used= 0.017997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4106 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= 20 involuntary context switches= 38 runsolver used 0.003999 second user time and 0.012998 second system time The end
Begin job on node68 at 2009-07-16 02:49:55 IDJOB=2067282 IDBENCH=54634 IDSOLVER=734 FILE ID=node68/2067282-1247705395 PBS_JOBID= 9521178 Free space on /tmp= 66420 MiB SOLVER NAME= pcs-restart 0.2.restart BENCH NAME= CPAI08/csp/pseudo/fpga/normalized-fpga-10-8.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2067282-1247705395/watcher-2067282-1247705395 -o /tmp/evaluation-result-2067282-1247705395/solver-2067282-1247705395 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 914763651 HOME/instance-2067282-1247705395.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= 335c4986741aa51f20ed90976fe5c0b5 RANDOM SEED=914763651 node68.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.258 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.258 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: 1400816 kB Buffers: 79984 kB Cached: 483056 kB SwapCached: 0 kB Active: 193028 kB Inactive: 389356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1400816 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 1840 kB Writeback: 0 kB Mapped: 29500 kB Slab: 57880 kB Committed_AS: 598624 kB PageTables: 1888 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= 66420 MiB End job on node68 at 2009-07-16 02:49:57