Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs 0.3.2 | SAT | 1.03984 | 1.05713 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 248 |
Name | csp/os-taillard-10/ normalized-os-taillard-10-105-0.xml |
MD5SUM | 19af59ef491e51a4f7a48130718bf9ce |
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.239962 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 900 |
Maximum constraint arity | 2 |
Maximum domain size | 675 |
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 big domains 0.00/0.01 c big-domain mode 0.00/0.02 c Seed is 672039061 0.00/0.02 c Constructing HOME/instance-2087598-1247727897.xml with 6300 constraints 0.08/0.11 c Solving 248 backtracks 5 restarts 0.97/1.05 s SATISFIABLE 0.97/1.05 c V0=464, V1=114, V2=212, V3=588, V4=67, V5=263, V6=6, V7=512, V8=593, V9=330, V10=306, V11=398, V12=544, V13=210, V14=578, V15=58, V16=590, V17=619, V18=25, V19=113, V20=80, V21=176, V22=278, V23=56, V24=606, V25=41, V26=214, V27=541, V28=451, V29=365, V30=88, V31=187, V32=645, V33=313, V34=276, V35=379, V36=470, V37=105, V38=13, V39=550, V40=568, V41=230, V42=438, V43=426, V44=403, V45=39, V46=356, V47=522, V48=153, V49=624, V50=165, V51=311, V52=20, V53=9, V54=220, V55=68, V56=458, V57=387, V58=570, V59=630, V60=537, V61=174, V62=199, V63=57, V64=417, V65=373, V66=332, V67=271, V68=632, V69=17, V70=44, V71=658, V72=47, V73=454, V74=551, V75=220, V76=368, V77=252, V78=140, V79=301, V80=456, V81=585, V82=623, V83=339, V84=418, V85=411, V86=166, V87=557, V88=75, V89=283, V90=142, V91=460, V92=176, V93=510, V94=24, V95=58, V96=249, V97=345, V98=376, V99=581, 0.97/1.05 v 464 114 212 588 67 263 6 512 593 330 306 398 544 210 578 58 590 619 25 113 80 176 278 56 606 41 214 541 451 365 88 187 645 313 276 379 470 105 13 550 568 230 438 426 403 39 356 522 153 624 165 311 20 9 220 68 458 387 570 630 537 174 199 57 417 373 332 271 632 17 44 658 47 454 551 220 368 252 140 301 456 585 623 339 418 411 166 557 75 283 142 460 176 510 24 58 249 345 376 581 0.97/1.05 d ASSIGNMENTS 248
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2087598-1247727897/watcher-2087598-1247727897 -o /tmp/evaluation-result-2087598-1247727897/solver-2087598-1247727897 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 672039061 HOME/instance-2087598-1247727897.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: 1.92 1.98 1.99 4/81 17191 /proc/meminfo: memFree=1398936/2055920 swapFree=4192812/4192956 [pid=17191] ppid=17189 vsize=5356 CPUtime=0 /proc/17191/stat : 17191 (pcssolve) R 17189 17191 17154 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59852455 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 237947644575 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/17191/statm: 1339 241 200 169 0 50 0 [pid=17192] ppid=17191 vsize=100 CPUtime=0 /proc/17192/stat : 17192 (fgrep) R 17191 17191 17154 0 -1 4194304 24 0 0 0 0 0 0 0 22 0 1 0 59852455 102400 3 996147200 0 0 548682069725 18446744073709551615 237947645223 0 0 4096 0 0 0 0 17 1 0 0 /proc/17192/statm: 25 3 0 0 0 2 0 [pid=17193] ppid=17191 vsize=5356 CPUtime=0 /proc/17193/stat : 17193 (pcssolve) R 17191 17191 17154 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 59852455 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 237947644575 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/17193/statm: 1339 241 200 169 0 50 0 [startup+0.020457 s] /proc/loadavg: 1.92 1.98 1.99 4/81 17191 /proc/meminfo: memFree=1398936/2055920 swapFree=4192812/4192956 [pid=17191] ppid=17189 vsize=4404 CPUtime=0 /proc/17191/stat : 17191 (pcs.big) R 17189 17191 17154 0 -1 4194304 528 659 0 0 0 0 0 0 23 0 1 0 59852455 4509696 171 996147200 134512640 135215973 4294956304 18446744073709551615 11922710 0 0 4096 0 0 0 0 17 1 0 0 /proc/17191/statm: 1101 171 143 171 0 14 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4404 [startup+0.101463 s] /proc/loadavg: 1.92 1.98 1.99 4/81 17191 /proc/meminfo: memFree=1398936/2055920 swapFree=4192812/4192956 [pid=17191] ppid=17189 vsize=6476 CPUtime=0.08 /proc/17191/stat : 17191 (pcs.big) R 17189 17191 17154 0 -1 4194304 1287 659 0 0 8 0 0 0 23 0 1 0 59852455 6631424 844 996147200 134512640 135215973 4294956304 18446744073709551615 4159137296 0 0 4096 0 0 0 0 17 1 0 0 /proc/17191/statm: 1619 844 388 171 0 544 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6476 [startup+0.301484 s] /proc/loadavg: 1.92 1.98 1.99 4/81 17191 /proc/meminfo: memFree=1398936/2055920 swapFree=4192812/4192956 [pid=17191] ppid=17189 vsize=8984 CPUtime=0.28 /proc/17191/stat : 17191 (pcs.big) R 17189 17191 17154 0 -1 4194304 2130 659 0 0 28 0 0 0 25 0 1 0 59852455 9199616 1474 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0 /proc/17191/statm: 2246 1474 406 171 0 1171 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 8984 [startup+0.701516 s] /proc/loadavg: 1.92 1.98 1.99 4/81 17191 /proc/meminfo: memFree=1398936/2055920 swapFree=4192812/4192956 [pid=17191] ppid=17189 vsize=9120 CPUtime=0.67 /proc/17191/stat : 17191 (pcs.big) R 17189 17191 17154 0 -1 4194304 2202 659 0 0 67 0 0 0 25 0 1 0 59852455 9338880 1546 996147200 134512640 135215973 4294956304 18446744073709551615 134585776 0 0 4096 0 0 0 0 17 1 0 0 /proc/17191/statm: 2280 1546 406 171 0 1205 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 9120 Solver just ended. Dumping a history of the last processes samples [startup+0.901527 s] /proc/loadavg: 1.92 1.98 1.99 4/81 17191 /proc/meminfo: memFree=1398936/2055920 swapFree=4192812/4192956 [pid=17191] ppid=17189 vsize=9228 CPUtime=0.87 /proc/17191/stat : 17191 (pcs.big) R 17189 17191 17154 0 -1 4194304 2222 659 0 0 87 0 0 0 25 0 1 0 59852455 9449472 1566 996147200 134512640 135215973 4294956304 18446744073709551615 134532661 0 0 4096 0 0 0 0 17 1 0 0 /proc/17191/statm: 2307 1566 406 171 0 1232 0 Current children cumulated CPU time (s) 0.87 Current children cumulated vsize (KiB) 9228 [startup+1.00154 s] /proc/loadavg: 1.92 1.98 1.99 3/82 17196 /proc/meminfo: memFree=1393936/2055920 swapFree=4192812/4192956 [pid=17191] ppid=17189 vsize=9360 CPUtime=0.97 /proc/17191/stat : 17191 (pcs.big) R 17189 17191 17154 0 -1 4194304 2275 659 0 0 97 0 0 0 25 0 1 0 59852455 9584640 1619 996147200 134512640 135215973 4294956304 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 1 0 0 /proc/17191/statm: 2340 1619 406 171 0 1265 0 Current children cumulated CPU time (s) 0.97 Current children cumulated vsize (KiB) 9360 Child status: 0 Real time (s): 1.05713 CPU time (s): 1.03984 CPU user time (s): 1.02384 CPU system time (s): 0.015997 CPU usage (%): 98.3642 Max. virtual memory (cumulated for all children) (KiB): 9360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.02384 system time used= 0.015997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3319 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= 56 runsolver used 0.005999 second user time and 0.008998 second system time The end
Begin job on node69 at 2009-07-16 09:04:57 IDJOB=2087598 IDBENCH=58748 IDSOLVER=733 FILE ID=node69/2087598-1247727897 PBS_JOBID= 9521652 Free space on /tmp= 66420 MiB SOLVER NAME= pcs 0.2 BENCH NAME= CPAI08/csp/os-taillard-10/normalized-os-taillard-10-105-0.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2087598-1247727897/watcher-2087598-1247727897 -o /tmp/evaluation-result-2087598-1247727897/solver-2087598-1247727897 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 672039061 HOME/instance-2087598-1247727897.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= 19af59ef491e51a4f7a48130718bf9ce RANDOM SEED=672039061 node69.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.211 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.211 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: 1399416 kB Buffers: 87300 kB Cached: 445208 kB SwapCached: 0 kB Active: 162884 kB Inactive: 412832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1399416 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 1876 kB Writeback: 0 kB Mapped: 63628 kB Slab: 65848 kB Committed_AS: 609016 kB PageTables: 2016 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= 66416 MiB End job on node69 at 2009-07-16 09:04:59