Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs 0.3.2 | SAT | 0.411936 | 0.417726 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 19 |
Name | csp/pseudo/jnh/ normalized-jnh-217.xml |
MD5SUM | 2047ba4beef8b5ecbb22742aa53e73cb |
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.184971 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 900 |
Maximum constraint arity | 11 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 900 |
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 659646626 0.00/0.02 c Constructing HOME/instance-2066896-1247705210.xml with 4339 constraints 0.00/0.09 c Solving 19 backtracks 1 restarts 0.38/0.41 s SATISFIABLE 0.38/0.41 c V0=0, V1=1, V2=0, V3=1, V4=1, V5=0, V6=1, V7=0, V8=0, V9=1, V10=0, V11=1, V12=0, V13=1, V14=1, V15=0, V16=0, V17=1, V18=1, V19=0, V20=1, V21=0, V22=0, V23=1, V24=1, V25=0, V26=0, V27=1, V28=0, V29=1, V30=0, V31=1, V32=0, V33=1, V34=0, V35=1, V36=1, V37=0, V38=1, V39=0, V40=1, V41=0, V42=1, V43=0, V44=0, V45=1, V46=0, V47=1, V48=0, V49=1, V50=0, V51=1, V52=1, V53=0, V54=0, V55=1, V56=0, V57=1, V58=0, V59=1, V60=1, V61=0, V62=1, V63=0, V64=1, V65=0, V66=0, V67=1, V68=0, V69=1, V70=1, V71=0, V72=1, V73=0, V74=1, V75=0, V76=0, V77=1, V78=0, V79=1, V80=1, V81=0, V82=0, V83=1, V84=1, V85=0, V86=1, V87=0, V88=1, V89=0, V90=0, V91=1, V92=1, V93=0, V94=0, V95=1, V96=0, V97=1, V98=0, V99=1, V100=0, V101=1, V102=0, V103=1, V104=1, V105=0, V106=1, V107=0, V108=0, V109=1, V110=1, V111=0, V112=1, V113=0, V114=1, V115=0, V116=0, V117=1, V118=1, V119=0, V120=1, V121=0, V122=0, V123=1, V124=0, V125=1, V126=0, V127=1, V128=0, V129=1, V130=1, V131=0, V132=1, V133=0, V134=0, V135=1, V136=1, V137=0, V138=0, V139=1, V140=1, V141=0, V142=0, V143=1, V144=1, V145=0, V146=1, V147=0, V148=0, V149=1, V150=0, V151=1, V152=1, V153=0, V154=1, V155=0, V156=1, V157=0, V158=1, V159=0, V160=0, V161=1, V162=1, V163=0, V164=1, V165=0, V166=0, V167=1, V168=1, V169=0, V170=1, V171=0, V172=1, V173=0, V174=1, V175=0, V176=1, V177=0, V178=1, V179=0, V180=1, V181=0, V182=1, V183=0, V184=1, V185=0, V186=1, V187=0, V188=1, V189=0, V190=1, V191=0, V192=0, V193=1, V194=0, V195=1, V196=0, V197=1, V198=0, V199=1, 0.38/0.41 v 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 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 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0.38/0.41 d ASSIGNMENTS 19
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2066896-1247705210/watcher-2066896-1247705210 -o /tmp/evaluation-result-2066896-1247705210/solver-2066896-1247705210 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 659646626 HOME/instance-2066896-1247705210.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.15 2.03 2.01 4/81 17076 /proc/meminfo: memFree=1078800/2055920 swapFree=4192812/4192956 [pid=17076] ppid=17074 vsize=5356 CPUtime=0 /proc/17076/stat : 17076 (pcssolve) R 17074 17076 15492 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 57584853 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 221954763423 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/17076/statm: 1339 241 200 169 0 50 0 [pid=17077] ppid=17076 vsize=5356 CPUtime=0 /proc/17077/stat : 17077 (pcssolve) R 17076 17076 15492 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 57584854 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 221954764071 0 0 4096 0 0 0 0 17 1 0 0 /proc/17077/statm: 1339 243 202 169 0 50 0 [pid=17078] ppid=17076 vsize=5356 CPUtime=0 /proc/17078/stat : 17078 (pcssolve) R 17076 17076 15492 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 57584854 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 221954763423 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/17078/statm: 1339 241 200 169 0 50 0 [startup+0.019308 s] /proc/loadavg: 2.15 2.03 2.01 4/81 17076 /proc/meminfo: memFree=1078800/2055920 swapFree=4192812/4192956 [pid=17076] ppid=17074 vsize=5360 CPUtime=0 /proc/17076/stat : 17076 (pcssolve) R 17074 17076 15492 0 -1 4194304 373 826 0 0 0 0 0 0 24 0 1 0 57584853 5488640 244 996147200 4194304 4889804 548682068800 18446744073709551615 4468302 0 0 4100 65536 0 0 0 17 1 0 0 /proc/17076/statm: 1340 244 202 169 0 51 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5360 [startup+0.102323 s] /proc/loadavg: 2.15 2.03 2.01 4/81 17076 /proc/meminfo: memFree=1078800/2055920 swapFree=4192812/4192956 [pid=17076] ppid=17074 vsize=6428 CPUtime=0.08 /proc/17076/stat : 17076 (pcs.big) R 17074 17076 15492 0 -1 4194304 1368 826 0 0 8 0 0 0 24 0 1 0 57584853 6582272 908 996147200 134512640 135215973 4294956304 18446744073709551615 2412072 0 0 4096 0 0 0 0 17 1 0 0 /proc/17076/statm: 1607 908 406 171 0 532 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6428 [startup+0.302339 s] /proc/loadavg: 2.15 2.03 2.01 4/81 17076 /proc/meminfo: memFree=1078800/2055920 swapFree=4192812/4192956 [pid=17076] ppid=17074 vsize=7704 CPUtime=0.28 /proc/17076/stat : 17076 (pcs.big) R 17074 17076 15492 0 -1 4194304 1822 826 0 0 28 0 0 0 25 0 1 0 57584853 7888896 1197 996147200 134512640 135215973 4294956304 18446744073709551615 134902566 0 0 4096 0 0 0 0 17 1 0 0 /proc/17076/statm: 1926 1197 409 171 0 851 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 7704 Solver just ended. Dumping a history of the last processes samples [startup+0.402355 s] /proc/loadavg: 2.15 2.03 2.01 4/81 17076 /proc/meminfo: memFree=1078800/2055920 swapFree=4192812/4192956 [pid=17076] ppid=17074 vsize=7828 CPUtime=0.38 /proc/17076/stat : 17076 (pcs.big) R 17074 17076 15492 0 -1 4194304 1841 826 0 0 38 0 0 0 25 0 1 0 57584853 8015872 1216 996147200 134512640 135215973 4294956304 18446744073709551615 134640984 0 0 4096 0 0 0 0 17 1 0 0 /proc/17076/statm: 1957 1216 409 171 0 882 0 Current children cumulated CPU time (s) 0.38 Current children cumulated vsize (KiB) 7828 Child status: 0 Real time (s): 0.417726 CPU time (s): 0.411936 CPU user time (s): 0.396939 CPU system time (s): 0.014997 CPU usage (%): 98.6139 Max. virtual memory (cumulated for all children) (KiB): 7828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.396939 system time used= 0.014997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2721 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= 30 runsolver used 0.001999 second user time and 0.007998 second system time The end
Begin job on node43 at 2009-07-16 02:46:50 IDJOB=2066896 IDBENCH=54585 IDSOLVER=733 FILE ID=node43/2066896-1247705210 PBS_JOBID= 9521224 Free space on /tmp= 66192 MiB SOLVER NAME= pcs 0.2 BENCH NAME= CPAI08/csp/pseudo/jnh/normalized-jnh-217.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2066896-1247705210/watcher-2066896-1247705210 -o /tmp/evaluation-result-2066896-1247705210/solver-2066896-1247705210 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 659646626 HOME/instance-2066896-1247705210.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2047ba4beef8b5ecbb22742aa53e73cb RANDOM SEED=659646626 node43.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.213 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 : 5931.00 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.213 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: 1079280 kB Buffers: 97804 kB Cached: 689704 kB SwapCached: 0 kB Active: 224012 kB Inactive: 650536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1079280 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2844 kB Writeback: 0 kB Mapped: 107484 kB Slab: 87136 kB Committed_AS: 632056 kB PageTables: 2052 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= 66192 MiB End job on node43 at 2009-07-16 02:46:50