Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs-restart 0.3.2 | SAT | 76.7303 | 78.5372 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 602 |
Name | csp/travellingSalesman-25/ normalized-tsp-25-54_ext.xml |
MD5SUM | 5595f8aff8e667477c35af26f6ef9eca |
Bench Category | N-ARY-EXT (n-ary constraints in extension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.549915 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 76 |
Number of constraints | 350 |
Maximum constraint arity | 3 |
Maximum domain size | 1001 |
Number of constraints which are defined in extension | 350 |
Number of constraints which are defined in intension | 0 |
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.01 c Seed is 1802373228 0.00/0.01 c Constructing HOME/instance-2071418-1247710132.xml with 7549 constraints 0.00/0.07 c Solving 602 backtracks 7 restarts 76.67/78.53 s SATISFIABLE 76.67/78.53 c V0=16, V1=5, V2=19, V3=13, V4=14, V5=0, V6=15, V7=5, V8=1, V9=2, V10=24, V11=8, V12=6, V13=9, V14=9, V15=1, V16=11, V17=5, V18=12, V19=14, V20=2, V21=1, V22=22, V23=2, V24=20, V25=0, V26=5, V27=7, V28=23, V29=2, V30=7, V31=3, V32=8, V33=14, V34=10, V35=3, V36=25, V37=0, V38=21, V39=10, V40=4, V41=4, V42=13, V43=0, V44=3, V45=2, V46=17, V47=6, V48=18, V49=21, V50=18, V51=18, V52=23, V53=25, V54=33, V55=42, V56=43, V57=48, V58=62, V59=63, V60=65, V61=65, V62=72, V63=74, V64=77, V65=91, V66=94, V67=94, V68=104, V69=108, V70=108, V71=110, V72=116, V73=137, V74=137, V75=0, 76.67/78.53 v 16 5 19 13 14 0 15 5 1 2 24 8 6 9 9 1 11 5 12 14 2 1 22 2 20 0 5 7 23 2 7 3 8 14 10 3 25 0 21 10 4 4 13 0 3 2 17 6 18 21 18 18 23 25 33 42 43 48 62 63 65 65 72 74 77 91 94 94 104 108 108 110 116 137 137 0 76.67/78.53 d ASSIGNMENTS 602
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2071418-1247710132/watcher-2071418-1247710132 -o /tmp/evaluation-result-2071418-1247710132/solver-2071418-1247710132 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1802373228 HOME/instance-2071418-1247710132.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.97 2.80 2.38 4/87 13578 /proc/meminfo: memFree=1631288/2055920 swapFree=4192812/4192956 [pid=13578] ppid=13576 vsize=5356 CPUtime=0 /proc/13578/stat : 13578 (pcssolve) R 13576 13578 13539 0 -1 4194304 273 0 0 0 0 0 0 0 21 0 1 0 58078410 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 270187162271 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/13578/statm: 1339 241 200 169 0 50 0 [pid=13579] ppid=13578 vsize=5356 CPUtime=0 /proc/13579/stat : 13579 (pcssolve) R 13578 13578 13539 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58078410 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 270187162271 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/13579/statm: 1339 241 200 169 0 50 0 [startup+0.014783 s] /proc/loadavg: 2.97 2.80 2.38 4/87 13578 /proc/meminfo: memFree=1631288/2055920 swapFree=4192812/4192956 [pid=13578] ppid=13576 vsize=796 CPUtime=0 /proc/13578/stat : 13578 (pcs.big) D 13576 13578 13539 0 -1 4194304 378 752 0 0 0 0 0 0 22 0 1 0 58078410 815104 26 996147200 134512640 135215973 4294956304 18446744073709551615 9921316 0 2147483391 4096 0 18446744072099855350 0 0 17 0 0 0 /proc/13578/statm: 199 26 20 171 0 3 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 796 [startup+0.101886 s] /proc/loadavg: 2.97 2.80 2.38 4/87 13578 /proc/meminfo: memFree=1631288/2055920 swapFree=4192812/4192956 [pid=13578] ppid=13576 vsize=7156 CPUtime=0.08 /proc/13578/stat : 13578 (pcs.big) R 13576 13578 13539 0 -1 4194304 1535 752 0 0 8 0 0 0 25 0 1 0 58078410 7327744 1131 996147200 134512640 135215973 4294956304 18446744073709551615 135026900 0 0 4096 0 0 0 0 17 0 0 0 /proc/13578/statm: 1789 1131 404 171 0 714 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 7156 [startup+0.3019 s] /proc/loadavg: 2.97 2.80 2.38 4/87 13578 /proc/meminfo: memFree=1631288/2055920 swapFree=4192812/4192956 [pid=13578] ppid=13576 vsize=7448 CPUtime=0.28 /proc/13578/stat : 13578 (pcs.big) R 13576 13578 13539 0 -1 4194304 1586 752 0 0 28 0 0 0 25 0 1 0 58078410 7626752 1182 996147200 134512640 135215973 4294956304 18446744073709551615 134599870 0 0 4096 0 0 0 0 17 0 0 0 /proc/13578/statm: 1862 1182 406 171 0 787 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 7448 [startup+0.701947 s] /proc/loadavg: 2.97 2.80 2.38 4/87 13578 /proc/meminfo: memFree=1631288/2055920 swapFree=4192812/4192956 [pid=13578] ppid=13576 vsize=7448 CPUtime=0.68 /proc/13578/stat : 13578 (pcs.big) R 13576 13578 13539 0 -1 4194304 1588 752 0 0 68 0 0 0 25 0 1 0 58078410 7626752 1184 996147200 134512640 135215973 4294956304 18446744073709551615 135020335 0 0 4096 0 0 0 0 17 0 0 0 /proc/13578/statm: 1862 1184 406 171 0 787 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 7448 [startup+1.50104 s] /proc/loadavg: 2.97 2.80 2.38 4/88 13583 /proc/meminfo: memFree=1628080/2055920 swapFree=4192812/4192956 [pid=13578] ppid=13576 vsize=7448 CPUtime=1.47 /proc/13578/stat : 13578 (pcs.big) R 13576 13578 13539 0 -1 4194304 1589 752 0 0 147 0 0 0 25 0 1 0 58078410 7626752 1185 996147200 134512640 135215973 4294956304 18446744073709551615 134583241 0 0 4096 0 0 0 0 17 0 0 0 /proc/13578/statm: 1862 1185 406 171 0 787 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 7448 [startup+3.10123 s] /proc/loadavg: 2.97 2.80 2.38 4/88 13583 /proc/meminfo: memFree=1627696/2055920 swapFree=4192812/4192956 [pid=13578] ppid=13576 vsize=7448 CPUtime=3.07 /proc/13578/stat : 13578 (pcs.big) R 13576 13578 13539 0 -1 4194304 1593 752 0 0 307 0 0 0 25 0 1 0 58078410 7626752 1189 996147200 134512640 135215973 4294956304 18446744073709551615 135020397 0 0 4096 0 0 0 0 17 0 0 0 /proc/13578/statm: 1862 1189 406 171 0 787 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 7448 [startup+6.3016 s] /proc/loadavg: 2.97 2.80 2.38 4/88 13583 /proc/meminfo: memFree=1626672/2055920 swapFree=4192812/4192956 [pid=13578] ppid=13576 vsize=7580 CPUtime=6.25 /proc/13578/stat : 13578 (pcs.big) R 13576 13578 13539 0 -1 4194304 1626 752 0 0 625 0 0 0 25 0 1 0 58078410 7761920 1222 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0 /proc/13578/statm: 1895 1222 406 171 0 820 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 7580 [startup+12.7023 s] /proc/loadavg: 2.97 2.81 2.39 4/88 13583 /proc/meminfo: memFree=1624440/2055920 swapFree=4192812/4192956 [pid=13578] ppid=13576 vsize=7844 CPUtime=12.61 /proc/13578/stat : 13578 (pcs.big) R 13576 13578 13539 0 -1 4194304 1683 752 0 0 1261 0 0 0 25 0 1 0 58078410 8032256 1279 996147200 134512640 135215973 4294956304 18446744073709551615 135020335 0 0 4096 0 0 0 0 17 0 0 0 /proc/13578/statm: 1961 1279 406 171 0 886 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 7844 [startup+25.5018 s] /proc/loadavg: 2.98 2.82 2.39 4/88 13584 /proc/meminfo: memFree=1619704/2055920 swapFree=4192812/4192956 [pid=13578] ppid=13576 vsize=8388 CPUtime=25.35 /proc/13578/stat : 13578 (pcs.big) R 13576 13578 13539 0 -1 4194304 1824 752 0 0 2534 1 0 0 25 0 1 0 58078410 8589312 1420 996147200 134512640 135215973 4294956304 18446744073709551615 135020306 0 0 4096 0 0 0 0 17 0 0 0 /proc/13578/statm: 2097 1420 406 171 0 1022 0 Current children cumulated CPU time (s) 25.35 Current children cumulated vsize (KiB) 8388 [startup+51.1018 s] /proc/loadavg: 2.98 2.83 2.41 4/88 13584 /proc/meminfo: memFree=1611640/2055920 swapFree=4192812/4192956 [pid=13578] ppid=13576 vsize=9444 CPUtime=50.82 /proc/13578/stat : 13578 (pcs.big) R 13576 13578 13539 0 -1 4194304 2075 752 0 0 5081 1 0 0 25 0 1 0 58078410 9670656 1671 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0 /proc/13578/statm: 2361 1671 406 171 0 1286 0 Current children cumulated CPU time (s) 50.82 Current children cumulated vsize (KiB) 9444 Solver just ended. Dumping a history of the last processes samples [startup+63.9023 s] /proc/loadavg: 2.90 2.82 2.41 3/83 13640 /proc/meminfo: memFree=1617880/2055920 swapFree=4192812/4192956 [pid=13578] ppid=13576 vsize=9840 CPUtime=62.14 /proc/13578/stat : 13578 (pcs.big) R 13576 13578 13539 0 -1 4194304 2188 752 0 0 6212 2 0 0 25 0 1 0 58078410 10076160 1784 996147200 134512640 135215973 4294956304 18446744073709551615 135020335 0 0 4096 0 0 0 0 17 0 0 0 /proc/13578/statm: 2460 1784 406 171 0 1385 0 Current children cumulated CPU time (s) 62.14 Current children cumulated vsize (KiB) 9840 [startup+70.301 s] /proc/loadavg: 2.77 2.79 2.40 3/83 13640 /proc/meminfo: memFree=1617584/2055920 swapFree=4192812/4192956 [pid=13578] ppid=13576 vsize=10104 CPUtime=68.52 /proc/13578/stat : 13578 (pcs.big) R 13576 13578 13539 0 -1 4194304 2254 752 0 0 6850 2 0 0 25 0 1 0 58078410 10346496 1850 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 0 0 0 /proc/13578/statm: 2526 1850 406 171 0 1451 0 Current children cumulated CPU time (s) 68.52 Current children cumulated vsize (KiB) 10104 [startup+73.5014 s] /proc/loadavg: 2.77 2.79 2.40 3/83 13640 /proc/meminfo: memFree=1617520/2055920 swapFree=4192812/4192956 [pid=13578] ppid=13576 vsize=10236 CPUtime=71.7 /proc/13578/stat : 13578 (pcs.big) R 13576 13578 13539 0 -1 4194304 2281 752 0 0 7168 2 0 0 25 0 1 0 58078410 10481664 1877 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0 /proc/13578/statm: 2559 1877 406 171 0 1484 0 Current children cumulated CPU time (s) 71.7 Current children cumulated vsize (KiB) 10236 [startup+76.7018 s] /proc/loadavg: 2.70 2.78 2.40 3/83 13640 /proc/meminfo: memFree=1617392/2055920 swapFree=4192812/4192956 [pid=13578] ppid=13576 vsize=10368 CPUtime=74.89 /proc/13578/stat : 13578 (pcs.big) R 13576 13578 13539 0 -1 4194304 2310 752 0 0 7487 2 0 0 25 0 1 0 58078410 10616832 1906 996147200 134512640 135215973 4294956304 18446744073709551615 134590188 0 0 4096 0 0 0 0 17 0 0 0 /proc/13578/statm: 2592 1906 406 171 0 1517 0 Current children cumulated CPU time (s) 74.89 Current children cumulated vsize (KiB) 10368 [startup+77.5019 s] /proc/loadavg: 2.70 2.78 2.40 3/83 13640 /proc/meminfo: memFree=1617392/2055920 swapFree=4192812/4192956 [pid=13578] ppid=13576 vsize=10368 CPUtime=75.68 /proc/13578/stat : 13578 (pcs.big) R 13576 13578 13539 0 -1 4194304 2317 752 0 0 7566 2 0 0 25 0 1 0 58078410 10616832 1913 996147200 134512640 135215973 4294956304 18446744073709551615 134583244 0 0 4096 0 0 0 0 17 0 0 0 /proc/13578/statm: 2592 1913 406 171 0 1517 0 Current children cumulated CPU time (s) 75.68 Current children cumulated vsize (KiB) 10368 [startup+78.302 s] /proc/loadavg: 2.70 2.78 2.40 3/83 13640 /proc/meminfo: memFree=1617328/2055920 swapFree=4192812/4192956 [pid=13578] ppid=13576 vsize=10368 CPUtime=76.47 /proc/13578/stat : 13578 (pcs.big) R 13576 13578 13539 0 -1 4194304 2322 752 0 0 7645 2 0 0 25 0 1 0 58078410 10616832 1918 996147200 134512640 135215973 4294956304 18446744073709551615 135020306 0 0 4096 0 0 0 0 17 0 0 0 /proc/13578/statm: 2592 1918 406 171 0 1517 0 Current children cumulated CPU time (s) 76.47 Current children cumulated vsize (KiB) 10368 [startup+78.502 s] /proc/loadavg: 2.70 2.78 2.40 3/83 13640 /proc/meminfo: memFree=1617328/2055920 swapFree=4192812/4192956 [pid=13578] ppid=13576 vsize=10368 CPUtime=76.67 /proc/13578/stat : 13578 (pcs.big) R 13576 13578 13539 0 -1 4194304 2325 752 0 0 7665 2 0 0 25 0 1 0 58078410 10616832 1921 996147200 134512640 135215973 4294956304 18446744073709551615 135020306 0 0 4096 0 0 0 0 17 0 0 0 /proc/13578/statm: 2592 1921 406 171 0 1517 0 Current children cumulated CPU time (s) 76.67 Current children cumulated vsize (KiB) 10368 Child status: 0 Real time (s): 78.5372 CPU time (s): 76.7303 CPU user time (s): 76.6923 CPU system time (s): 0.037994 CPU usage (%): 97.6993 Max. virtual memory (cumulated for all children) (KiB): 10368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 76.6923 system time used= 0.037994 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3081 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= 14 involuntary context switches= 2905 runsolver used 0.096985 second user time and 0.250961 second system time The end
Begin job on node88 at 2009-07-16 04:08:52 IDJOB=2071418 IDBENCH=55491 IDSOLVER=734 FILE ID=node88/2071418-1247710132 PBS_JOBID= 9521399 Free space on /tmp= 66076 MiB SOLVER NAME= pcs-restart 0.2.restart BENCH NAME= CPAI08/csp/travellingSalesman-25/normalized-tsp-25-54_ext.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2071418-1247710132/watcher-2071418-1247710132 -o /tmp/evaluation-result-2071418-1247710132/solver-2071418-1247710132 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1802373228 HOME/instance-2071418-1247710132.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5595f8aff8e667477c35af26f6ef9eca RANDOM SEED=1802373228 node88.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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1631768 kB Buffers: 38468 kB Cached: 236592 kB SwapCached: 0 kB Active: 139580 kB Inactive: 205924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1631768 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3004 kB Writeback: 0 kB Mapped: 91432 kB Slab: 63336 kB Committed_AS: 662288 kB PageTables: 2240 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= 66072 MiB End job on node88 at 2009-07-16 04:10:11