Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs-restart 0.3.2 | SAT | 29.5025 | 29.6373 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 0 |
Name | csp/marc/ normalized-large-84-sat_ext.xml |
MD5SUM | 4ced2e4c94646c017bc30dc8e603e6b8 |
Bench Category | 2-ARY-EXT (binary constraints in extension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 10.2114 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 84 |
Number of constraints | 3486 |
Maximum constraint arity | 2 |
Maximum domain size | 84 |
Number of constraints which are defined in extension | 3486 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
0.15/0.29 c has big domains 0.15/0.29 c big-domain mode 0.28/0.30 c Seed is 1542858795 0.28/0.30 c Constructing HOME/instance-2059131-1247694912.xml with 8488 constraints 29.44/29.61 c Solving 0 backtracks 29.44/29.63 s SATISFIABLE 29.44/29.63 c V0=43, V1=43, V2=43, V3=43, V4=43, V5=43, V6=43, V7=43, V8=43, V9=43, V10=43, V11=43, V12=43, V13=43, V14=43, V15=43, V16=43, V17=43, V18=43, V19=43, V20=43, V21=43, V22=43, V23=43, V24=43, V25=43, V26=43, V27=43, V28=43, V29=43, V30=43, V31=43, V32=43, V33=43, V34=43, V35=43, V36=43, V37=43, V38=43, V39=43, V40=43, V41=43, V42=43, V43=43, V44=43, V45=43, V46=43, V47=43, V48=43, V49=43, V50=43, V51=43, V52=43, V53=43, V54=43, V55=43, V56=43, V57=43, V58=43, V59=43, V60=43, V61=43, V62=43, V63=43, V64=43, V65=43, V66=43, V67=43, V68=43, V69=43, V70=43, V71=43, V72=43, V73=43, V74=43, V75=43, V76=43, V77=43, V78=43, V79=43, V80=43, V81=43, V82=43, V83=43, 29.44/29.63 v 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 43 29.44/29.63 d ASSIGNMENTS 0
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2059131-1247694912/watcher-2059131-1247694912 -o /tmp/evaluation-result-2059131-1247694912/solver-2059131-1247694912 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1542858795 HOME/instance-2059131-1247694912.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.99 1.80 1.03 4/72 14863 /proc/meminfo: memFree=919520/2055920 swapFree=4192812/4192956 [pid=14863] ppid=14861 vsize=5260 CPUtime=0 /proc/14863/stat : 14863 (pcssolve) R 14861 14863 14703 0 -1 4194304 64 0 0 0 0 0 0 0 20 0 1 0 56554710 5386240 49 996147200 4194304 4889804 548682068800 18446744073709551615 271635776231 0 0 4096 0 0 0 0 17 1 0 0 /proc/14863/statm: 1315 49 37 169 0 14 0 [startup+0.103178 s] /proc/loadavg: 1.99 1.80 1.03 4/72 14863 /proc/meminfo: memFree=919520/2055920 swapFree=4192812/4192956 [pid=14863] ppid=14861 vsize=5356 CPUtime=0 /proc/14863/stat : 14863 (pcssolve) S 14861 14863 14703 0 -1 4194304 305 0 0 0 0 0 0 0 20 0 1 0 56554710 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14863/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.201188 s] /proc/loadavg: 1.99 1.80 1.03 4/72 14863 /proc/meminfo: memFree=919520/2055920 swapFree=4192812/4192956 [pid=14863] ppid=14861 vsize=5356 CPUtime=0.15 /proc/14863/stat : 14863 (pcssolve) S 14861 14863 14703 0 -1 4194304 339 317 0 0 0 0 11 4 15 0 1 0 56554710 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/14863/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 5356 [startup+0.301197 s] /proc/loadavg: 1.99 1.80 1.03 4/72 14863 /proc/meminfo: memFree=919520/2055920 swapFree=4192812/4192956 [pid=14863] ppid=14861 vsize=2888 CPUtime=0.28 /proc/14863/stat : 14863 (pcs.big) R 14861 14863 14703 0 -1 4194304 389 656 0 0 0 0 21 7 17 0 1 0 56554710 2957312 35 996147200 134512640 135215973 4294956304 18446744073709551615 6890276 0 0 4096 0 0 0 0 17 1 0 0 /proc/14863/statm: 722 35 25 171 0 10 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 2888 [startup+0.70123 s] /proc/loadavg: 1.99 1.80 1.03 4/72 14863 /proc/meminfo: memFree=919520/2055920 swapFree=4192812/4192956 [pid=14863] ppid=14861 vsize=6920 CPUtime=0.67 /proc/14863/stat : 14863 (pcs.big) R 14861 14863 14703 0 -1 4194304 922 656 0 0 39 0 21 7 19 0 1 0 56554710 7086080 553 996147200 134512640 135215973 4294956304 18446744073709551615 134837730 0 0 4096 0 0 0 0 17 1 0 0 /proc/14863/statm: 1730 553 372 171 0 655 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 6920 [startup+1.50131 s] /proc/loadavg: 1.99 1.80 1.03 3/73 14868 /proc/meminfo: memFree=917080/2055920 swapFree=4192812/4192956 [pid=14863] ppid=14861 vsize=11324 CPUtime=1.45 /proc/14863/stat : 14863 (pcs.big) R 14861 14863 14703 0 -1 4194304 1104 656 0 0 117 0 21 7 25 0 1 0 56554710 11595776 735 996147200 134512640 135215973 4294956304 18446744073709551615 7355989 0 0 4096 0 0 0 0 17 1 0 0 /proc/14863/statm: 2831 735 372 171 0 1756 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 11324 [startup+3.10147 s] /proc/loadavg: 1.99 1.80 1.03 3/73 14868 /proc/meminfo: memFree=917528/2055920 swapFree=4192812/4192956 [pid=14863] ppid=14861 vsize=20272 CPUtime=3.05 /proc/14863/stat : 14863 (pcs.big) R 14861 14863 14703 0 -1 4194304 1493 656 0 0 276 1 21 7 25 0 1 0 56554710 20758528 1124 996147200 134512640 135215973 4294956304 18446744073709551615 134782656 0 0 4096 0 0 0 0 17 1 0 0 /proc/14863/statm: 5068 1124 372 171 0 3993 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 20272 [startup+6.30279 s] /proc/loadavg: 1.99 1.80 1.04 3/73 14868 /proc/meminfo: memFree=914072/2055920 swapFree=4192812/4192956 [pid=14863] ppid=14861 vsize=38176 CPUtime=6.24 /proc/14863/stat : 14863 (pcs.big) R 14861 14863 14703 0 -1 4194304 2327 656 0 0 594 2 21 7 25 0 1 0 56554710 39092224 1958 996147200 134512640 135215973 4294956304 18446744073709551615 134882241 0 0 4096 0 0 0 0 17 1 0 0 /proc/14863/statm: 9544 1958 372 171 0 8469 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 38176 [startup+12.7014 s] /proc/loadavg: 1.99 1.80 1.04 3/73 14868 /proc/meminfo: memFree=907288/2055920 swapFree=4192812/4192956 [pid=14863] ppid=14861 vsize=72504 CPUtime=12.62 /proc/14863/stat : 14863 (pcs.big) R 14861 14863 14703 0 -1 4194304 3886 656 0 0 1228 6 21 7 25 0 1 0 56554710 74244096 3517 996147200 134512640 135215973 4294956304 18446744073709551615 7323132 0 0 4096 0 0 0 0 17 1 0 0 /proc/14863/statm: 18126 3517 372 171 0 17051 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 72504 [startup+25.5017 s] /proc/loadavg: 1.99 1.81 1.06 3/73 14868 /proc/meminfo: memFree=893976/2055920 swapFree=4192812/4192956 [pid=14863] ppid=14861 vsize=138016 CPUtime=25.36 /proc/14863/stat : 14863 (pcs.big) R 14861 14863 14703 0 -1 4194304 6926 656 0 0 2498 10 21 7 25 0 1 0 56554710 141328384 6557 996147200 134512640 135215973 4294956304 18446744073709551615 7355976 0 0 4096 0 0 0 0 17 1 0 0 /proc/14863/statm: 34504 6557 372 171 0 33429 0 Current children cumulated CPU time (s) 25.36 Current children cumulated vsize (KiB) 138016 Solver just ended. Dumping a history of the last processes samples [startup+25.6017 s] /proc/loadavg: 1.99 1.81 1.06 3/73 14868 /proc/meminfo: memFree=893976/2055920 swapFree=4192812/4192956 [pid=14863] ppid=14861 vsize=138512 CPUtime=25.46 /proc/14863/stat : 14863 (pcs.big) R 14861 14863 14703 0 -1 4194304 6949 656 0 0 2508 10 21 7 25 0 1 0 56554710 141836288 6580 996147200 134512640 135215973 4294956304 18446744073709551615 134736193 0 0 4096 0 0 0 0 17 1 0 0 /proc/14863/statm: 34628 6580 372 171 0 33553 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 138512 [startup+27.2019 s] /proc/loadavg: 1.99 1.81 1.06 3/73 14868 /proc/meminfo: memFree=892952/2055920 swapFree=4192812/4192956 [pid=14863] ppid=14861 vsize=146472 CPUtime=27.05 /proc/14863/stat : 14863 (pcs.big) R 14861 14863 14703 0 -1 4194304 7303 656 0 0 2666 11 21 7 25 0 1 0 56554710 149987328 6934 996147200 134512640 135215973 4294956304 18446744073709551615 134837551 0 0 4096 0 0 0 0 17 1 0 0 /proc/14863/statm: 36618 6934 372 171 0 35543 0 Current children cumulated CPU time (s) 27.05 Current children cumulated vsize (KiB) 146472 [startup+28.8011 s] /proc/loadavg: 1.99 1.81 1.06 3/73 14868 /proc/meminfo: memFree=890776/2055920 swapFree=4192812/4192956 [pid=14863] ppid=14861 vsize=154436 CPUtime=28.64 /proc/14863/stat : 14863 (pcs.big) R 14861 14863 14703 0 -1 4194304 7669 656 0 0 2825 11 21 7 25 0 1 0 56554710 158142464 7300 996147200 134512640 135215973 4294956304 18446744073709551615 134740285 0 0 4096 0 0 0 0 17 1 0 0 /proc/14863/statm: 38609 7300 372 171 0 37534 0 Current children cumulated CPU time (s) 28.64 Current children cumulated vsize (KiB) 154436 [startup+29.2011 s] /proc/loadavg: 1.99 1.81 1.06 3/73 14868 /proc/meminfo: memFree=890776/2055920 swapFree=4192812/4192956 [pid=14863] ppid=14861 vsize=156428 CPUtime=29.05 /proc/14863/stat : 14863 (pcs.big) R 14861 14863 14703 0 -1 4194304 7762 656 0 0 2865 12 21 7 25 0 1 0 56554710 160182272 7393 996147200 134512640 135215973 4294956304 18446744073709551615 7356039 0 0 4096 0 0 0 0 17 1 0 0 /proc/14863/statm: 39107 7393 372 171 0 38032 0 Current children cumulated CPU time (s) 29.05 Current children cumulated vsize (KiB) 156428 [startup+29.6011 s] /proc/loadavg: 1.99 1.81 1.06 3/73 14868 /proc/meminfo: memFree=890776/2055920 swapFree=4192812/4192956 [pid=14863] ppid=14861 vsize=160732 CPUtime=29.44 /proc/14863/stat : 14863 (pcs.big) R 14861 14863 14703 0 -1 4194304 8594 656 0 0 2904 12 21 7 25 0 1 0 56554710 164589568 8127 996147200 134512640 135215973 4294956304 18446744073709551615 7323070 0 0 4096 0 0 0 0 17 1 0 0 /proc/14863/statm: 40183 8127 384 171 0 39108 0 Current children cumulated CPU time (s) 29.44 Current children cumulated vsize (KiB) 160732 Child status: 0 Real time (s): 29.6373 CPU time (s): 29.5025 CPU user time (s): 29.2915 CPU system time (s): 0.210967 CPU usage (%): 99.5453 Max. virtual memory (cumulated for all children) (KiB): 160732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 29.2915 system time used= 0.210967 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9260 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= 365 runsolver used 0.026995 second user time and 0.094985 second system time The end
Begin job on node67 at 2009-07-15 23:55:20 IDJOB=2059131 IDBENCH=53554 IDSOLVER=734 FILE ID=node67/2059131-1247694912 PBS_JOBID= 9521181 Free space on /tmp= 66264 MiB SOLVER NAME= pcs-restart 0.2.restart BENCH NAME= CPAI08/csp/marc/normalized-large-84-sat_ext.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2059131-1247694912/watcher-2059131-1247694912 -o /tmp/evaluation-result-2059131-1247694912/solver-2059131-1247694912 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1542858795 HOME/instance-2059131-1247694912.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4ced2e4c94646c017bc30dc8e603e6b8 RANDOM SEED=1542858795 node67.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.239 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.239 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: 920000 kB Buffers: 74732 kB Cached: 709512 kB SwapCached: 0 kB Active: 534092 kB Inactive: 522656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 920000 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 71572 kB Writeback: 0 kB Mapped: 283876 kB Slab: 63904 kB Committed_AS: 775976 kB PageTables: 2460 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= 66264 MiB End job on node67 at 2009-07-15 23:55:50