Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs-restart 0.3.2 | ? (MO) | 130.169 | 130.229 |
Name | csp/queens/ normalized-queens-200.xml |
MD5SUM | 054f76ffe13ea2991d6de6635966b938 |
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 | 16.2935 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 19900 |
Maximum constraint arity | 2 |
Maximum domain size | 200 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 19900 |
Global constraints used (with number of constraints) |
0.00/0.01 c has big domains 0.00/0.01 c big-domain mode 0.28/0.30 c Seed is 1883678339 0.28/0.30 c Constructing HOME/instance-2087544-1247727808.xml 1.38/1.42 c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V16,V17,V18,V19,V20,V21,V22,V23,V24,V25,V26,V27,V28,V29,V30,V31,V32,V33,V34,V35,V36,V37,V38,V39,V40,V41,V42,V43,V44,V45,V46,V47,V48,V49,V50,V51,V52,V53,V54,V55,V56,V57,V58,V59,V60,V61,V62,V63,V64,V65,V66,V67,V68,V69,V70,V71,V72,V73,V74,V75,V76,V77,V78,V79,V80,V81,V82,V83,V84,V85,V86,V87,V88,V89,V90,V91,V92,V93,V94,V95,V96,V97,V98,V99,V100,V101,V102,V103,V104,V105,V106,V107,V108,V109,V110,V111,V112,V113,V114,V115,V116,V117,V118,V119,V120,V121,V122,V123,V124,V125,V126,V127,V128,V129,V130,V131,V132,V133,V134,V135,V136,V137,V138,V139,V140,V141,V142,V143,V144,V145,V146,V147,V148,V149,V150,V151,V152,V153,V154,V155,V156,V157,V158,V159,V160,V161,V162,V163,V164,V165,V166,V167,V168,V169,V170,V171,V172,V173,V174,V175,V176,V177,V178,V179,V180,V181,V182,V183,V184,V185,V186,V187,V188,V189,V190,V191,V192,V193,V194,V195,V196,V197,V198,V199,V0) 1.38/1.42 c with 79601 constraints 1.38/1.42 c Solving
ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected) Got answer: <no 's ' line found>
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2087544-1247727808/watcher-2087544-1247727808 -o /tmp/evaluation-result-2087544-1247727808/solver-2087544-1247727808 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1883678339 HOME/instance-2087544-1247727808.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.12 2.04 2.01 4/72 13988 /proc/meminfo: memFree=1419104/2055920 swapFree=4192812/4192956 [pid=13988] ppid=13986 vsize=5356 CPUtime=0 /proc/13988/stat : 13988 (pcssolve) S 13986 13988 13638 0 -1 4194304 305 155 0 0 0 0 0 0 19 0 1 0 59844867 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13988/statm: 1339 242 201 169 0 50 0 [pid=13990] ppid=13988 vsize=5356 CPUtime=0 /proc/13990/stat : 13990 (pcssolve) R 13988 13988 13638 0 -1 4194368 22 0 0 0 0 0 0 0 20 0 1 0 59844868 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 269930261799 0 0 4096 0 0 0 0 17 1 0 0 /proc/13990/statm: 1339 244 203 169 0 50 0 [startup+0.074981 s] /proc/loadavg: 2.12 2.04 2.01 4/72 13988 /proc/meminfo: memFree=1419104/2055920 swapFree=4192812/4192956 [pid=13988] ppid=13986 vsize=5624 CPUtime=0.05 /proc/13988/stat : 13988 (pcs.big) R 13986 13988 13638 0 -1 4194304 1035 656 0 0 5 0 0 0 17 0 1 0 59844867 5758976 667 996147200 134512640 135215973 4294956304 18446744073709551615 134911906 0 0 4096 0 0 0 0 17 0 0 0 /proc/13988/statm: 1406 672 385 171 0 331 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5624 [startup+0.101984 s] /proc/loadavg: 2.12 2.04 2.01 4/72 13988 /proc/meminfo: memFree=1419104/2055920 swapFree=4192812/4192956 [pid=13988] ppid=13986 vsize=6008 CPUtime=0.07 /proc/13988/stat : 13988 (pcs.big) R 13986 13988 13638 0 -1 4194304 1164 656 0 0 7 0 0 0 17 0 1 0 59844867 6152192 762 996147200 134512640 135215973 4294956304 18446744073709551615 9180795 0 0 4096 0 0 0 0 17 0 0 0 /proc/13988/statm: 1502 762 385 171 0 427 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6008 [startup+0.302007 s] /proc/loadavg: 2.12 2.04 2.01 4/72 13988 /proc/meminfo: memFree=1419104/2055920 swapFree=4192812/4192956 [pid=13988] ppid=13986 vsize=10180 CPUtime=0.28 /proc/13988/stat : 13988 (pcs.big) R 13986 13988 13638 0 -1 4194304 2384 656 0 0 27 1 0 0 18 0 1 0 59844867 10424320 1564 996147200 134512640 135215973 4294956304 18446744073709551615 134608549 0 0 4096 0 0 0 0 17 0 0 0 /proc/13988/statm: 2545 1564 385 171 0 1470 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 10180 [startup+0.701055 s] /proc/loadavg: 2.12 2.04 2.01 4/72 13988 /proc/meminfo: memFree=1419104/2055920 swapFree=4192812/4192956 [pid=13988] ppid=13986 vsize=16120 CPUtime=0.68 /proc/13988/stat : 13988 (pcs.big) R 13986 13988 13638 0 -1 4194304 4385 656 0 0 66 2 0 0 22 0 1 0 59844867 16506880 2877 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/13988/statm: 4030 2877 385 171 0 2955 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 16120 [startup+1.50115 s] /proc/loadavg: 2.12 2.04 2.01 3/73 13993 /proc/meminfo: memFree=1404120/2055920 swapFree=4192812/4192956 [pid=13988] ppid=13986 vsize=31428 CPUtime=1.48 /proc/13988/stat : 13988 (pcs.big) R 13986 13988 13638 0 -1 4194304 9985 656 0 0 143 5 0 0 25 0 1 0 59844867 32182272 6372 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0 /proc/13988/statm: 7857 6372 400 171 0 6782 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 31428 [startup+3.10134 s] /proc/loadavg: 2.11 2.04 2.00 3/73 13993 /proc/meminfo: memFree=1384920/2055920 swapFree=4192812/4192956 [pid=13988] ppid=13986 vsize=58048 CPUtime=3.07 /proc/13988/stat : 13988 (pcs.big) R 13986 13988 13638 0 -1 4194304 18997 656 0 0 298 9 0 0 25 0 1 0 59844867 59441152 12210 996147200 134512640 135215973 4294956304 18446744073709551615 134908065 0 0 4096 0 0 0 0 17 0 0 0 /proc/13988/statm: 14512 12210 407 171 0 13437 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 58048 [startup+6.30171 s] /proc/loadavg: 2.11 2.04 2.00 3/73 13993 /proc/meminfo: memFree=1342040/2055920 swapFree=4192812/4192956 [pid=13988] ppid=13986 vsize=90884 CPUtime=6.27 /proc/13988/stat : 13988 (pcs.big) R 13986 13988 13638 0 -1 4194304 29916 656 0 0 613 14 0 0 25 0 1 0 59844867 93065216 19515 996147200 134512640 135215973 4294956304 18446744073709551615 134908110 0 0 4096 0 0 0 0 17 0 0 0 /proc/13988/statm: 22721 19515 407 171 0 21646 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 90884 [startup+12.7015 s] /proc/loadavg: 2.09 2.04 2.00 3/73 13993 /proc/meminfo: memFree=1280088/2055920 swapFree=4192812/4192956 [pid=13988] ppid=13986 vsize=165128 CPUtime=12.67 /proc/13988/stat : 13988 (pcs.big) R 13986 13988 13638 0 -1 4194304 52261 656 0 0 1241 26 0 0 25 0 1 0 59844867 169091072 34892 996147200 134512640 135215973 4294956304 18446744073709551615 134597368 0 0 4096 0 0 0 0 17 0 0 0 /proc/13988/statm: 41282 34892 407 171 0 40207 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 165128 [startup+25.502 s] /proc/loadavg: 2.16 2.05 2.01 3/73 13993 /proc/meminfo: memFree=1238232/2055920 swapFree=4192812/4192956 [pid=13988] ppid=13986 vsize=191444 CPUtime=25.47 /proc/13988/stat : 13988 (pcs.big) R 13986 13988 13638 0 -1 4194304 63123 656 0 0 2516 31 0 0 25 0 1 0 59844867 196038656 45430 996147200 134512640 135215973 4294956304 18446744073709551615 9180795 0 0 4096 0 0 0 0 17 0 0 0 /proc/13988/statm: 47861 45430 407 171 0 46786 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 191444 [startup+51.102 s] /proc/loadavg: 2.10 2.05 2.01 3/73 13993 /proc/meminfo: memFree=1084632/2055920 swapFree=4192812/4192956 [pid=13988] ppid=13986 vsize=373684 CPUtime=51.05 /proc/13988/stat : 13988 (pcs.big) R 13986 13988 13638 0 -1 4194304 113352 656 0 0 5053 52 0 0 25 0 1 0 59844867 382652416 81951 996147200 134512640 135215973 4294956304 18446744073709551615 135094922 0 0 4096 0 0 0 0 17 0 0 0 /proc/13988/statm: 93421 81951 407 171 0 92346 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 373684 [startup+102.306 s] /proc/loadavg: 2.13 2.07 2.01 3/73 13993 /proc/meminfo: memFree=896536/2055920 swapFree=4192812/4192956 [pid=13988] ppid=13986 vsize=526344 CPUtime=102.24 /proc/13988/stat : 13988 (pcs.big) R 13986 13988 13638 0 -1 4194304 158906 656 0 0 10150 74 0 0 25 0 1 0 59844867 538976256 127221 996147200 134512640 135215973 4294956304 18446744073709551615 4158960036 0 0 4096 0 0 0 0 17 0 0 0 /proc/13988/statm: 131586 127221 407 171 0 130511 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 526344 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+130.101 s] /proc/loadavg: 2.08 2.06 2.01 3/73 13993 /proc/meminfo: memFree=617048/2055920 swapFree=4192812/4192956 [pid=13988] ppid=13986 vsize=953064 CPUtime=130.03 /proc/13988/stat : 13988 (pcs.big) R 13986 13988 13638 0 -1 4194304 227943 656 0 0 12899 104 0 0 25 0 1 0 59844867 975937536 196163 996147200 134512640 135215973 4294956304 18446744073709551615 9180741 0 0 4096 0 0 0 0 17 0 0 0 /proc/13988/statm: 238266 196167 407 171 0 237191 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (KiB) 953064 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+130.206 s] /proc/loadavg: 2.08 2.06 2.01 3/73 13993 /proc/meminfo: memFree=617048/2055920 swapFree=4192812/4192956 [pid=13988] ppid=13986 vsize=0 CPUtime=130.13 /proc/13988/stat : 13988 (pcs.big) R 13986 13988 13638 0 -1 4195332 227974 656 0 0 12899 114 0 0 25 0 1 0 59844867 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0 /proc/13988/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 130.13 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 130.229 CPU time (s): 130.169 CPU user time (s): 129 CPU system time (s): 1.16882 CPU usage (%): 99.9544 Max. virtual memory (cumulated for all children) (KiB): 953064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 129 system time used= 1.16882 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 228630 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= 21 involuntary context switches= 565 runsolver used 0.150977 second user time and 0.335948 second system time The end
Begin job on node53 at 2009-07-16 09:03:29 IDJOB=2087544 IDBENCH=58738 IDSOLVER=734 FILE ID=node53/2087544-1247727808 PBS_JOBID= 9521513 Free space on /tmp= 66048 MiB SOLVER NAME= pcs-restart 0.2.restart BENCH NAME= CPAI08/csp/queens/normalized-queens-200.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2087544-1247727808/watcher-2087544-1247727808 -o /tmp/evaluation-result-2087544-1247727808/solver-2087544-1247727808 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1883678339 HOME/instance-2087544-1247727808.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= 054f76ffe13ea2991d6de6635966b938 RANDOM SEED=1883678339 node53.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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1419584 kB Buffers: 69284 kB Cached: 304172 kB SwapCached: 0 kB Active: 268448 kB Inactive: 299120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1419584 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4288 kB Writeback: 0 kB Mapped: 203628 kB Slab: 53856 kB Committed_AS: 690564 kB PageTables: 2076 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= 66044 MiB End job on node53 at 2009-07-16 09:05:41