0.18/0.21 c mistral-prime version 1.313
19.10/19.22 s SATISFIABLE
19.10/19.22 v 497 347 309 262 299 425 538 884 591 177 450 0 331 99 283 79 909 826 0 275 434 599 239 576 326 409 866 137 672 695 792 86 633 394 437 531 916 277 848 356 196 446 680 171 0 745 0 99 428 498 633 834 792 691 902 196 873 278 568 356 541 639 596 691 0 243 834 58 347 394 151 473 533 277 866 0 588 712 332 17 176 226 437 98 162 630 873 756 533 395 96 639 861 445 531 267 177 831 0 629 328 916 405 163 769 336 901 172 80 262 434 86 695 416 611 980 473 555 0 607 745 395 364 825 598 978 278 671 532 0 149 514 246 450 94 478 423 244 541 607 714 149 497 0 313 894 96 341 689 185 0 172 672 756 637 839 336 163 254 345 121 935 441 509 78 345 137 773 171 500 275 599 924 904 645 712 231 0 78 968 773 935 341 632 703 871 169 635 0 848 187 283 500 80 416 226 445 531 79 169 422 254 163 775 0 491 390 332 826 586 861 0 531 616 703 775 341 935 368 426 58 364 149 17 262
19.10/19.22 d CHECKS 155484382
19.10/19.22 d ASSIGNMENTS 31512
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060113-1215125840/watcher-1060113-1215125840 -o /tmp/evaluation-result-1060113-1215125840/solver-1060113-1215125840 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1060113-1215125840.xml -heu dom/wdeg -res no
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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.06 4/82 20735
/proc/meminfo: memFree=1717712/2055920 swapFree=4097856/4192956
[pid=20735] ppid=20733 vsize=820 CPUtime=0
/proc/20735/stat : 20735 (xsolve) R 20733 20735 19205 0 -1 4194304 39 0 0 0 0 0 0 0 19 0 1 0 1542256182 839680 25 996147200 134512640 135239859 4294956208 18446744073709551615 9274148 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/20735/statm: 205 25 19 177 0 3 0
[startup+0.0928361 s]
/proc/loadavg: 1.00 1.00 1.06 4/82 20735
/proc/meminfo: memFree=1717712/2055920 swapFree=4097856/4192956
[pid=20735] ppid=20733 vsize=7788 CPUtime=0.08
/proc/20735/stat : 20735 (xsolve) R 20733 20735 19205 0 -1 4194304 1248 0 0 0 8 0 0 0 18 0 1 0 1542256182 7974912 1214 996147200 134512640 135239859 4294956208 18446744073709551615 9706928 0 0 4096 0 0 0 0 17 1 0 0
/proc/20735/statm: 1947 1214 371 177 0 850 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7788
[startup+0.101832 s]
/proc/loadavg: 1.00 1.00 1.06 4/82 20735
/proc/meminfo: memFree=1717712/2055920 swapFree=4097856/4192956
[pid=20735] ppid=20733 vsize=8052 CPUtime=0.08
/proc/20735/stat : 20735 (xsolve) R 20733 20735 19205 0 -1 4194304 1311 0 0 0 8 0 0 0 18 0 1 0 1542256182 8245248 1277 996147200 134512640 135239859 4294956208 18446744073709551615 134683531 0 0 4096 0 0 0 0 17 1 0 0
/proc/20735/statm: 2013 1277 371 177 0 916 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8052
[startup+0.301859 s]
/proc/loadavg: 1.00 1.00 1.06 4/82 20735
/proc/meminfo: memFree=1717712/2055920 swapFree=4097856/4192956
[pid=20735] ppid=20733 vsize=17588 CPUtime=0.28
/proc/20735/stat : 20735 (xsolve) R 20733 20735 19205 0 -1 4194304 3688 0 0 0 27 1 0 0 19 0 1 0 1542256182 18010112 3654 996147200 134512640 135239859 4294956208 18446744073709551615 134797286 0 0 4096 0 0 0 0 17 1 0 0
/proc/20735/statm: 4397 3654 402 177 0 3300 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 17588
[startup+0.701897 s]
/proc/loadavg: 1.00 1.00 1.06 4/82 20735
/proc/meminfo: memFree=1717712/2055920 swapFree=4097856/4192956
[pid=20735] ppid=20733 vsize=17588 CPUtime=0.68
/proc/20735/stat : 20735 (xsolve) R 20733 20735 19205 0 -1 4194304 3688 0 0 0 67 1 0 0 23 0 1 0 1542256182 18010112 3654 996147200 134512640 135239859 4294956208 18446744073709551615 134821103 0 0 4096 0 0 0 0 17 1 0 0
/proc/20735/statm: 4397 3654 402 177 0 3300 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 17588
[startup+1.50199 s]
/proc/loadavg: 1.00 1.00 1.06 3/83 20736
/proc/meminfo: memFree=1704584/2055920 swapFree=4097856/4192956
[pid=20735] ppid=20733 vsize=17596 CPUtime=1.48
/proc/20735/stat : 20735 (xsolve) R 20733 20735 19205 0 -1 4194304 3690 0 0 0 147 1 0 0 25 0 1 0 1542256182 18018304 3656 996147200 134512640 135239859 4294956208 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 1 0 0
/proc/20735/statm: 4399 3656 402 177 0 3302 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 17596
[startup+3.10117 s]
/proc/loadavg: 1.00 1.00 1.06 3/83 20736
/proc/meminfo: memFree=1704392/2055920 swapFree=4097856/4192956
[pid=20735] ppid=20733 vsize=17596 CPUtime=3.07
/proc/20735/stat : 20735 (xsolve) R 20733 20735 19205 0 -1 4194304 3690 0 0 0 306 1 0 0 25 0 1 0 1542256182 18018304 3656 996147200 134512640 135239859 4294956208 18446744073709551615 134797310 0 0 4096 0 0 0 0 17 1 0 0
/proc/20735/statm: 4399 3656 402 177 0 3302 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 17596
[startup+6.30254 s]
/proc/loadavg: 1.08 1.02 1.06 3/83 20736
/proc/meminfo: memFree=1704392/2055920 swapFree=4097856/4192956
[pid=20735] ppid=20733 vsize=17596 CPUtime=6.26
/proc/20735/stat : 20735 (xsolve) R 20733 20735 19205 0 -1 4194304 3690 0 0 0 625 1 0 0 25 0 1 0 1542256182 18018304 3656 996147200 134512640 135239859 4294956208 18446744073709551615 135030976 0 0 4096 0 0 0 0 17 1 0 0
/proc/20735/statm: 4399 3656 402 177 0 3302 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 17596
[startup+12.7013 s]
/proc/loadavg: 1.15 1.03 1.07 3/83 20736
/proc/meminfo: memFree=1704200/2055920 swapFree=4097856/4192956
[pid=20735] ppid=20733 vsize=17612 CPUtime=12.62
/proc/20735/stat : 20735 (xsolve) R 20733 20735 19205 0 -1 4194304 3694 0 0 0 1261 1 0 0 25 0 1 0 1542256182 18034688 3660 996147200 134512640 135239859 4294956208 18446744073709551615 134802068 0 0 4096 0 0 0 0 17 1 0 0
/proc/20735/statm: 4403 3660 402 177 0 3306 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 17612
Solver just ended. Dumping a history of the last processes samples
[startup+15.9016 s]
/proc/loadavg: 1.22 1.05 1.07 3/83 20736
/proc/meminfo: memFree=1704200/2055920 swapFree=4097856/4192956
[pid=20735] ppid=20733 vsize=17616 CPUtime=15.81
/proc/20735/stat : 20735 (xsolve) R 20733 20735 19205 0 -1 4194304 3695 0 0 0 1580 1 0 0 25 0 1 0 1542256182 18038784 3661 996147200 134512640 135239859 4294956208 18446744073709551615 134842626 0 0 4096 0 0 0 0 17 1 0 0
/proc/20735/statm: 4404 3661 402 177 0 3307 0
Current children cumulated CPU time (s) 15.81
Current children cumulated vsize (KiB) 17616
[startup+17.5018 s]
/proc/loadavg: 1.22 1.05 1.07 3/83 20736
/proc/meminfo: memFree=1704200/2055920 swapFree=4097856/4192956
[pid=20735] ppid=20733 vsize=17616 CPUtime=17.41
/proc/20735/stat : 20735 (xsolve) R 20733 20735 19205 0 -1 4194304 3695 0 0 0 1740 1 0 0 25 0 1 0 1542256182 18038784 3661 996147200 134512640 135239859 4294956208 18446744073709551615 134820823 0 0 4096 0 0 0 0 17 1 0 0
/proc/20735/statm: 4404 3661 402 177 0 3307 0
Current children cumulated CPU time (s) 17.41
Current children cumulated vsize (KiB) 17616
[startup+18.3019 s]
/proc/loadavg: 1.22 1.05 1.07 3/83 20736
/proc/meminfo: memFree=1704200/2055920 swapFree=4097856/4192956
[pid=20735] ppid=20733 vsize=17616 CPUtime=18.2
/proc/20735/stat : 20735 (xsolve) R 20733 20735 19205 0 -1 4194304 3695 0 0 0 1819 1 0 0 25 0 1 0 1542256182 18038784 3661 996147200 134512640 135239859 4294956208 18446744073709551615 135031006 0 0 4096 0 0 0 0 17 1 0 0
/proc/20735/statm: 4404 3661 402 177 0 3307 0
Current children cumulated CPU time (s) 18.2
Current children cumulated vsize (KiB) 17616
[startup+18.7069 s]
/proc/loadavg: 1.22 1.05 1.07 3/83 20736
/proc/meminfo: memFree=1704200/2055920 swapFree=4097856/4192956
[pid=20735] ppid=20733 vsize=17616 CPUtime=18.6
/proc/20735/stat : 20735 (xsolve) R 20733 20735 19205 0 -1 4194304 3695 0 0 0 1859 1 0 0 25 0 1 0 1542256182 18038784 3661 996147200 134512640 135239859 4294956208 18446744073709551615 134797573 0 0 4096 0 0 0 0 17 1 0 0
/proc/20735/statm: 4404 3661 402 177 0 3307 0
Current children cumulated CPU time (s) 18.6
Current children cumulated vsize (KiB) 17616
[startup+19.102 s]
/proc/loadavg: 1.22 1.05 1.07 3/83 20736
/proc/meminfo: memFree=1704200/2055920 swapFree=4097856/4192956
[pid=20735] ppid=20733 vsize=17616 CPUtime=19
/proc/20735/stat : 20735 (xsolve) R 20733 20735 19205 0 -1 4194304 3695 0 0 0 1899 1 0 0 25 0 1 0 1542256182 18038784 3661 996147200 134512640 135239859 4294956208 18446744073709551615 135030898 0 0 4096 0 0 0 0 17 1 0 0
/proc/20735/statm: 4404 3661 402 177 0 3307 0
Current children cumulated CPU time (s) 19
Current children cumulated vsize (KiB) 17616
[startup+19.202 s]
/proc/loadavg: 1.22 1.05 1.07 3/83 20736
/proc/meminfo: memFree=1704200/2055920 swapFree=4097856/4192956
[pid=20735] ppid=20733 vsize=17616 CPUtime=19.1
/proc/20735/stat : 20735 (xsolve) R 20733 20735 19205 0 -1 4194304 3695 0 0 0 1909 1 0 0 25 0 1 0 1542256182 18038784 3661 996147200 134512640 135239859 4294956208 18446744073709551615 134797312 0 0 4096 0 0 0 0 17 1 0 0
/proc/20735/statm: 4404 3661 402 177 0 3307 0
Current children cumulated CPU time (s) 19.1
Current children cumulated vsize (KiB) 17616
Child status: 0
Real time (s): 19.2693
CPU time (s): 19.1771
CPU user time (s): 19.1521
CPU system time (s): 0.024996
CPU usage (%): 99.5216
Max. virtual memory (cumulated for all children) (KiB): 17616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.1521
system time used= 0.024996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3755
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= 7
involuntary context switches= 259
runsolver used 0.028995 second user time and 0.06199 second system time
The end
Begin job on node32 at 2008-07-04 00:57:20
IDJOB=1060113
IDBENCH=54407
IDSOLVER=343
FILE ID=node32/1060113-1215125840
PBS_JOBID= 7877140
Free space on /tmp= 66544 MiB
SOLVER NAME= MDG-noprobe 2008-06-27
BENCH NAME= CPAI08/csp/os-taillard-15/normalized-os-taillard-15-105-0.xml
COMMAND LINE= HOME/xsolve BENCHNAME -heu dom/wdeg -res no
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060113-1215125840/watcher-1060113-1215125840 -o /tmp/evaluation-result-1060113-1215125840/solver-1060113-1215125840 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1060113-1215125840.xml -heu dom/wdeg -res no
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 5a2387650a417487d5414425e566caef
RANDOM SEED=822471571
node32.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.218
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.218
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: 1718192 kB
Buffers: 16376 kB
Cached: 100184 kB
SwapCached: 88052 kB
Active: 249100 kB
Inactive: 31692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1718192 kB
SwapTotal: 4192956 kB
SwapFree: 4097856 kB
Dirty: 1368 kB
Writeback: 0 kB
Mapped: 177964 kB
Slab: 41664 kB
Committed_AS: 3966264 kB
PageTables: 2288 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= 66540 MiB
End job on node32 at 2008-07-04 00:57:39