Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs 0.3.2 | SAT | 64.5382 | 64.5579 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 10279 |
Name | csp/os-gp/ normalized-gp10-03-1081.xml |
MD5SUM | d9935def6afe629dc3faf8b019c1286c |
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 | 0.709891 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 101 |
Number of constraints | 1000 |
Maximum constraint arity | 2 |
Maximum domain size | 1082 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1000 |
Global constraints used (with number of constraints) |
0.00/0.01 c has big domains 0.00/0.01 c big-domain mode 0.19/0.22 c Seed is 887356772 0.19/0.22 c Constructing HOME/instance-2082879-1247721786.xml with 6500 constraints 0.19/0.22 c Solving 10279 backtracks 14 restarts 64.46/64.55 s SATISFIABLE 64.46/64.55 c V0=1081, V1=161, V2=19, V3=755, V4=939, V5=893, V6=0, V7=969, V8=193, V9=988, V10=38, V11=0, V12=1064, V13=916, V14=1033, V15=292, V16=173, V17=295, V18=170, V19=1079, V20=421, V21=584, V22=1080, V23=1079, V24=59, V25=952, V26=1016, V27=772, V28=2, V29=687, V30=0, V31=422, V32=227, V33=474, V34=938, V35=944, V36=264, V37=1080, V38=755, V39=0, V40=945, V41=212, V42=0, V43=898, V44=1064, V45=966, V46=19, V47=422, V48=899, V49=786, V50=173, V51=1072, V52=1052, V53=1033, V54=1030, V55=295, V56=1012, V57=0, V58=981, V59=886, V60=1080, V61=1033, V62=92, V63=0, V64=1031, V65=1064, V66=497, V67=1069, V68=1077, V69=227, V70=1079, V71=474, V72=537, V73=457, V74=0, V75=1080, V76=422, V77=421, V78=59, V79=473, V80=174, V81=666, V82=27, V83=64, V84=1012, V85=1079, V86=496, V87=1013, V88=0, V89=501, V90=26, V91=537, V92=254, V93=1072, V94=584, V95=0, V96=1079, V97=952, V98=982, V99=980, V100=938, 64.46/64.55 v 1081 161 19 755 939 893 0 969 193 988 38 0 1064 916 1033 292 173 295 170 1079 421 584 1080 1079 59 952 1016 772 2 687 0 422 227 474 938 944 264 1080 755 0 945 212 0 898 1064 966 19 422 899 786 173 1072 1052 1033 1030 295 1012 0 981 886 1080 1033 92 0 1031 1064 497 1069 1077 227 1079 474 537 457 0 1080 422 421 59 473 174 666 27 64 1012 1079 496 1013 0 501 26 537 254 1072 584 0 1079 952 982 980 938 64.46/64.55 d ASSIGNMENTS 10279
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2082879-1247721786/watcher-2082879-1247721786 -o /tmp/evaluation-result-2082879-1247721786/solver-2082879-1247721786 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 887356772 HOME/instance-2082879-1247721786.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.20 2.20 2.09 4/82 16035 /proc/meminfo: memFree=1370648/2055920 swapFree=4192812/4192956 [pid=16035] ppid=16033 vsize=5356 CPUtime=0 /proc/16035/stat : 16035 (pcssolve) R 16033 16035 14837 0 -1 4194304 326 317 0 0 0 0 0 0 16 0 1 0 59243557 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 224264776351 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/16035/statm: 1339 242 201 169 0 50 0 [pid=16038] ppid=16035 vsize=0 CPUtime=0 /proc/16038/stat : 16038 (fgrep) Z 16035 16035 14837 0 -1 4194316 157 0 0 0 0 0 0 0 16 0 1 0 59243557 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0 /proc/16038/statm: 0 0 0 0 0 0 0 [startup+0.100352 s] /proc/loadavg: 2.20 2.20 2.09 4/82 16035 /proc/meminfo: memFree=1370648/2055920 swapFree=4192812/4192956 [pid=16035] ppid=16033 vsize=6488 CPUtime=0.08 /proc/16035/stat : 16035 (pcs.big) R 16033 16035 14837 0 -1 4194304 1334 657 0 0 8 0 0 0 17 0 1 0 59243557 6643712 891 996147200 134512640 135215973 4294956304 18446744073709551615 6985339 0 0 4096 0 0 0 0 17 1 0 0 /proc/16035/statm: 1622 891 388 171 0 547 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6488 [startup+0.201375 s] /proc/loadavg: 2.20 2.20 2.09 4/82 16035 /proc/meminfo: memFree=1370648/2055920 swapFree=4192812/4192956 [pid=16035] ppid=16033 vsize=8376 CPUtime=0.19 /proc/16035/stat : 16035 (pcs.big) R 16033 16035 14837 0 -1 4194304 1919 657 0 0 18 1 0 0 18 0 1 0 59243557 8577024 1367 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 1 0 0 /proc/16035/statm: 2094 1367 407 171 0 1019 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 8376 [startup+0.301394 s] /proc/loadavg: 2.20 2.20 2.09 4/82 16035 /proc/meminfo: memFree=1370648/2055920 swapFree=4192812/4192956 [pid=16035] ppid=16033 vsize=9056 CPUtime=0.29 /proc/16035/stat : 16035 (pcs.big) R 16033 16035 14837 0 -1 4194304 2112 657 0 0 28 1 0 0 19 0 1 0 59243557 9273344 1455 996147200 134512640 135215973 4294956304 18446744073709551615 134587268 0 0 4096 0 0 0 0 17 1 0 0 /proc/16035/statm: 2264 1455 407 171 0 1189 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9056 [startup+0.701465 s] /proc/loadavg: 2.20 2.20 2.09 4/82 16035 /proc/meminfo: memFree=1370648/2055920 swapFree=4192812/4192956 [pid=16035] ppid=16033 vsize=9164 CPUtime=0.69 /proc/16035/stat : 16035 (pcs.big) R 16033 16035 14837 0 -1 4194304 2225 657 0 0 68 1 0 0 22 0 1 0 59243557 9383936 1568 996147200 134512640 135215973 4294956304 18446744073709551615 134592045 0 0 4096 0 0 0 0 17 1 0 0 /proc/16035/statm: 2291 1568 407 171 0 1216 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9164 [startup+1.50261 s] /proc/loadavg: 2.20 2.20 2.09 3/83 16040 /proc/meminfo: memFree=1365456/2055920 swapFree=4192812/4192956 [pid=16035] ppid=16033 vsize=9796 CPUtime=1.49 /proc/16035/stat : 16035 (pcs.big) R 16033 16035 14837 0 -1 4194304 2373 657 0 0 148 1 0 0 25 0 1 0 59243557 10031104 1716 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0 /proc/16035/statm: 2449 1716 407 171 0 1374 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9796 [startup+3.10191 s] /proc/loadavg: 2.20 2.20 2.09 3/83 16040 /proc/meminfo: memFree=1364048/2055920 swapFree=4192812/4192956 [pid=16035] ppid=16033 vsize=11844 CPUtime=3.08 /proc/16035/stat : 16035 (pcs.big) R 16033 16035 14837 0 -1 4194304 2935 657 0 0 307 1 0 0 25 0 1 0 59243557 12128256 2036 996147200 134512640 135215973 4294956304 18446744073709551615 134641051 0 0 4096 0 0 0 0 17 1 0 0 /proc/16035/statm: 2961 2036 407 171 0 1886 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 11844 [startup+6.30251 s] /proc/loadavg: 2.18 2.20 2.09 3/83 16040 /proc/meminfo: memFree=1361680/2055920 swapFree=4192812/4192956 [pid=16035] ppid=16033 vsize=14256 CPUtime=6.28 /proc/16035/stat : 16035 (pcs.big) R 16033 16035 14837 0 -1 4194304 3564 657 0 0 626 2 0 0 25 0 1 0 59243557 14598144 2600 996147200 134512640 135215973 4294956304 18446744073709551615 134907992 0 0 4096 0 0 0 0 17 1 0 0 /proc/16035/statm: 3564 2600 407 171 0 2489 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 14256 [startup+12.7017 s] /proc/loadavg: 2.17 2.20 2.09 3/83 16040 /proc/meminfo: memFree=1357648/2055920 swapFree=4192812/4192956 [pid=16035] ppid=16033 vsize=18444 CPUtime=12.68 /proc/16035/stat : 16035 (pcs.big) R 16033 16035 14837 0 -1 4194304 4787 657 0 0 1265 3 0 0 25 0 1 0 59243557 18886656 3629 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 1 0 0 /proc/16035/statm: 4611 3629 407 171 0 3536 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18444 [startup+25.5011 s] /proc/loadavg: 2.13 2.19 2.09 3/83 16040 /proc/meminfo: memFree=1349584/2055920 swapFree=4192812/4192956 [pid=16035] ppid=16033 vsize=26568 CPUtime=25.48 /proc/16035/stat : 16035 (pcs.big) R 16033 16035 14837 0 -1 4194304 7038 657 0 0 2543 5 0 0 25 0 1 0 59243557 27205632 5623 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 1 0 0 /proc/16035/statm: 6642 5623 407 171 0 5567 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26568 [startup+51.1019 s] /proc/loadavg: 2.09 2.17 2.08 3/83 16040 /proc/meminfo: memFree=1333328/2055920 swapFree=4192812/4192956 [pid=16035] ppid=16033 vsize=43252 CPUtime=51.06 /proc/16035/stat : 16035 (pcs.big) R 16033 16035 14837 0 -1 4194304 11628 657 0 0 5097 9 0 0 25 0 1 0 59243557 44290048 9700 996147200 134512640 135215973 4294956304 18446744073709551615 4158960269 0 0 4096 0 0 0 0 17 1 0 0 /proc/16035/statm: 10813 9700 407 171 0 9738 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 43252 Solver just ended. Dumping a history of the last processes samples [startup+51.2029 s] /proc/loadavg: 2.09 2.17 2.08 3/83 16040 /proc/meminfo: memFree=1333328/2055920 swapFree=4192812/4192956 [pid=16035] ppid=16033 vsize=43364 CPUtime=51.16 /proc/16035/stat : 16035 (pcs.big) R 16033 16035 14837 0 -1 4194304 11662 657 0 0 5107 9 0 0 25 0 1 0 59243557 44404736 9734 996147200 134512640 135215973 4294956304 18446744073709551615 134551132 0 0 4096 0 0 0 0 17 1 0 0 /proc/16035/statm: 10841 9734 407 171 0 9766 0 Current children cumulated CPU time (s) 51.16 Current children cumulated vsize (KiB) 43364 [startup+57.6021 s] /proc/loadavg: 2.08 2.17 2.08 3/83 16040 /proc/meminfo: memFree=1329104/2055920 swapFree=4192812/4192956 [pid=16035] ppid=16033 vsize=46888 CPUtime=57.57 /proc/16035/stat : 16035 (pcs.big) R 16033 16035 14837 0 -1 4194304 12631 657 0 0 5746 11 0 0 25 0 1 0 59243557 48013312 10703 996147200 134512640 135215973 4294956304 18446744073709551615 134982800 0 0 4096 0 0 0 0 17 1 0 0 /proc/16035/statm: 11722 10703 407 171 0 10647 0 Current children cumulated CPU time (s) 57.57 Current children cumulated vsize (KiB) 46888 [startup+60.8017 s] /proc/loadavg: 2.07 2.16 2.08 3/83 16040 /proc/meminfo: memFree=1327248/2055920 swapFree=4192812/4192956 [pid=16035] ppid=16033 vsize=50704 CPUtime=60.76 /proc/16035/stat : 16035 (pcs.big) R 16033 16035 14837 0 -1 4194304 13638 657 0 0 6065 11 0 0 25 0 1 0 59243557 51920896 11581 996147200 134512640 135215973 4294956304 18446744073709551615 134586588 0 0 4096 0 0 0 0 17 1 0 0 /proc/16035/statm: 12676 11581 407 171 0 11601 0 Current children cumulated CPU time (s) 60.76 Current children cumulated vsize (KiB) 50704 [startup+62.403 s] /proc/loadavg: 2.07 2.16 2.08 3/83 16040 /proc/meminfo: memFree=1325200/2055920 swapFree=4192812/4192956 [pid=16035] ppid=16033 vsize=50832 CPUtime=62.36 /proc/16035/stat : 16035 (pcs.big) R 16033 16035 14837 0 -1 4194304 13674 657 0 0 6225 11 0 0 25 0 1 0 59243557 52051968 11617 996147200 134512640 135215973 4294956304 18446744073709551615 134533179 0 0 4096 0 0 0 0 17 1 0 0 /proc/16035/statm: 12708 11617 407 171 0 11633 0 Current children cumulated CPU time (s) 62.36 Current children cumulated vsize (KiB) 50832 [startup+63.2011 s] /proc/loadavg: 2.07 2.16 2.08 3/83 16040 /proc/meminfo: memFree=1325200/2055920 swapFree=4192812/4192956 [pid=16035] ppid=16033 vsize=51064 CPUtime=63.16 /proc/16035/stat : 16035 (pcs.big) R 16033 16035 14837 0 -1 4194304 13756 657 0 0 6305 11 0 0 25 0 1 0 59243557 52289536 11699 996147200 134512640 135215973 4294956304 18446744073709551615 134648265 0 0 4096 0 0 0 0 17 1 0 0 /proc/16035/statm: 12766 11699 407 171 0 11691 0 Current children cumulated CPU time (s) 63.16 Current children cumulated vsize (KiB) 51064 [startup+64.0013 s] /proc/loadavg: 2.07 2.16 2.08 3/83 16040 /proc/meminfo: memFree=1324560/2055920 swapFree=4192812/4192956 [pid=16035] ppid=16033 vsize=51488 CPUtime=63.96 /proc/16035/stat : 16035 (pcs.big) R 16033 16035 14837 0 -1 4194304 13868 657 0 0 6385 11 0 0 25 0 1 0 59243557 52723712 11811 996147200 134512640 135215973 4294956304 18446744073709551615 134583400 0 0 4096 0 0 0 0 17 1 0 0 /proc/16035/statm: 12872 11811 407 171 0 11797 0 Current children cumulated CPU time (s) 63.96 Current children cumulated vsize (KiB) 51488 [startup+64.4013 s] /proc/loadavg: 2.07 2.16 2.08 3/83 16040 /proc/meminfo: memFree=1324560/2055920 swapFree=4192812/4192956 [pid=16035] ppid=16033 vsize=51872 CPUtime=64.36 /proc/16035/stat : 16035 (pcs.big) R 16033 16035 14837 0 -1 4194304 13980 657 0 0 6425 11 0 0 25 0 1 0 59243557 53116928 11923 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0 /proc/16035/statm: 12968 11923 407 171 0 11893 0 Current children cumulated CPU time (s) 64.36 Current children cumulated vsize (KiB) 51872 [startup+64.5014 s] /proc/loadavg: 2.07 2.16 2.08 3/83 16040 /proc/meminfo: memFree=1324560/2055920 swapFree=4192812/4192956 [pid=16035] ppid=16033 vsize=50844 CPUtime=64.46 /proc/16035/stat : 16035 (pcs.big) R 16033 16035 14837 0 -1 4194304 13980 657 0 0 6435 11 0 0 25 0 1 0 59243557 52064256 11791 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0 /proc/16035/statm: 12711 11791 407 171 0 11636 0 Current children cumulated CPU time (s) 64.46 Current children cumulated vsize (KiB) 50844 Child status: 0 Real time (s): 64.5579 CPU time (s): 64.5382 CPU user time (s): 64.4082 CPU system time (s): 0.12998 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 51872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 64.4082 system time used= 0.12998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14640 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= 17 involuntary context switches= 1294 runsolver used 0.078987 second user time and 0.163975 second system time The end
Begin job on node82 at 2009-07-16 07:23:06 IDJOB=2082879 IDBENCH=57650 IDSOLVER=733 FILE ID=node82/2082879-1247721786 PBS_JOBID= 9521468 Free space on /tmp= 66312 MiB SOLVER NAME= pcs 0.2 BENCH NAME= CPAI08/csp/os-gp/normalized-gp10-03-1081.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2082879-1247721786/watcher-2082879-1247721786 -o /tmp/evaluation-result-2082879-1247721786/solver-2082879-1247721786 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 887356772 HOME/instance-2082879-1247721786.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= d9935def6afe629dc3faf8b019c1286c RANDOM SEED=887356772 node82.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.265 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.265 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: 1371064 kB Buffers: 75496 kB Cached: 348688 kB SwapCached: 0 kB Active: 215516 kB Inactive: 382792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1371064 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 1884 kB Writeback: 0 kB Mapped: 194500 kB Slab: 71448 kB Committed_AS: 762528 kB PageTables: 2156 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= 66312 MiB End job on node82 at 2009-07-16 07:24:10