0.00/0.00 c mistral version 1.545
4.47/4.51 s SATISFIABLE
4.47/4.51 v 789 1143 4 526 753 419 143 326 465 41 690 950 1035 541 1228 99 1093 1344 261 639 1322 196 381 106 526 140 79 419 0 624 1021 463 258 553 737 1332 694 288 845 156 794 205 609 950 693 108 698 401 1162 465 541 1232 459 888 302 234 820 0 198 573 817 545 541 410 320 504 1040 95 727 1300 623 1197 192 231 998 663 1102 902 0 341 278 1065 1326 1169 0 871 183 407 85 950 839 1264 1345 327 792 1109 416 367 822 1037 1282 767 462 550 1212 317 696 611 0 1134 230 41 1111 374 1022 133 931 789 1320 79 625 653 716 193 517 1058 320 381 95 410 961 584 452 1200 806 1107 921 261 0 1261 0 38 593 1299 401 549 243 1196 817 443 770 73 327 388 977 734 167 1098 1302 895 536 582 184 838 1195 0 374 689 1313 1012 915 1102 749 73 283 1296 694 1282 465 1331 637 1198 825 1015 481 573 243 902 327 703 99 1118 1032 520 403 0 1264 741 184 612 327 716 1084 201 795 752 387 945 1350 293 1172 1291 637 890 1340 539 99 1050 188 0 1150 495 946 815 0 1193 1234 1028 662 1075 85 900 539 1009 705 1239 519 1304 1303 38 273 99 956 620 980 1264 0 1127 1036 536 462 726 937 329 846 387 496 176 1187 688 827 196 99 680 1176 620 0 481 806 846 932 293 1265 553 1085 994 816 405 341 882 1140 834 443 1321 1125 0 1027 1232 263 1212 126 1230 722 533 772 582 328 624 201 1036 321 638 198 1037 133 834 422 93 1112 800 1271 520 329 832 807 176 931 0 1172 230 207 933 143 1012 374 1255 0 397 520 1144 1176 247 1128 1002 1078 925 582 57 452 795 1212 932 872 597 722 397 171 896 319 1285 1340 1125 1032 271 698 313 227 83 459 57 1000 439 1296 603 606 768 58 215 958 313 0 492 1107 862 413 660 1169 926 1242 150 176 882 609 99 727 1276 1245 461 688 1269 966 858 462 1062 441 231 1134 0 321 402
4.47/4.51 d CHECKS 27440589
4.47/4.51 d ASSIGNMENTS 5927
4.47/4.51 d NODES 5927 BACKTRACKS 4273 FAILURES 4273 RUNTIME 4.07 TOTALTIME 4.49 NODES/s 1456.27 CHECKS/s 6.74216e+06
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076485-1247362887/watcher-2076485-1247362887 -o /tmp/evaluation-result-2076485-1247362887/solver-2076485-1247362887 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2076485-1247362887.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.98 2.02 1.99 4/83 21574
/proc/meminfo: memFree=1392824/2055920 swapFree=4192812/4192956
[pid=21574] ppid=21572 vsize=4804 CPUtime=0
/proc/21574/stat : 21574 (ld-linux.so.2) R 21572 21574 21537 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 23355077 4919296 163 996147200 1448431616 1448550632 4294956208 18446744073709551615 1448480609 0 0 4096 0 0 0 0 17 0 0 0
/proc/21574/statm: 1201 163 138 29 0 16 0
[startup+0.04882 s]
/proc/loadavg: 1.98 2.02 1.99 4/83 21574
/proc/meminfo: memFree=1392824/2055920 swapFree=4192812/4192956
[pid=21574] ppid=21572 vsize=7720 CPUtime=0.03
/proc/21574/stat : 21574 (ld-linux.so.2) R 21572 21574 21537 0 -1 4194304 1144 0 0 0 3 0 0 0 18 0 1 0 23355077 7905280 1123 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157381179 0 0 4096 0 0 0 0 17 0 0 0
/proc/21574/statm: 1930 1124 378 29 0 745 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7720
[startup+0.102831 s]
/proc/loadavg: 1.98 2.02 1.99 4/83 21574
/proc/meminfo: memFree=1392824/2055920 swapFree=4192812/4192956
[pid=21574] ppid=21572 vsize=9020 CPUtime=0.09
/proc/21574/stat : 21574 (ld-linux.so.2) R 21572 21574 21537 0 -1 4194304 1454 0 0 0 9 0 0 0 18 0 1 0 23355077 9236480 1433 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157381121 0 0 4096 0 0 0 0 17 0 0 0
/proc/21574/statm: 2255 1433 378 29 0 1070 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9020
[startup+0.301851 s]
/proc/loadavg: 1.98 2.02 1.99 4/83 21574
/proc/meminfo: memFree=1392824/2055920 swapFree=4192812/4192956
[pid=21574] ppid=21572 vsize=13464 CPUtime=0.29
/proc/21574/stat : 21574 (ld-linux.so.2) R 21572 21574 21537 0 -1 4194304 2573 0 0 0 28 1 0 0 19 0 1 0 23355077 13787136 2552 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157381179 0 0 4096 0 0 0 0 17 0 0 0
/proc/21574/statm: 3366 2552 379 29 0 2181 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13464
[startup+0.701895 s]
/proc/loadavg: 1.98 2.02 1.99 4/83 21574
/proc/meminfo: memFree=1392824/2055920 swapFree=4192812/4192956
[pid=21574] ppid=21572 vsize=32184 CPUtime=0.68
/proc/21574/stat : 21574 (ld-linux.so.2) R 21572 21574 21537 0 -1 4194304 7154 0 0 0 66 2 0 0 23 0 1 0 23355077 32956416 7133 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161293 0 0 4096 0 0 0 0 17 0 0 0
/proc/21574/statm: 8046 7133 420 29 0 6861 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 32184
[startup+1.50298 s]
/proc/loadavg: 1.98 2.02 1.99 3/84 21575
/proc/meminfo: memFree=1354416/2055920 swapFree=4192812/4192956
[pid=21574] ppid=21572 vsize=32712 CPUtime=1.49
/proc/21574/stat : 21574 (ld-linux.so.2) R 21572 21574 21537 0 -1 4194304 7282 0 0 0 146 3 0 0 25 0 1 0 23355077 33497088 7261 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161284 0 0 4096 0 0 0 0 17 0 0 0
/proc/21574/statm: 8178 7261 420 29 0 6993 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32712
[startup+3.10116 s]
/proc/loadavg: 1.98 2.02 1.99 3/84 21575
/proc/meminfo: memFree=1347504/2055920 swapFree=4192812/4192956
[pid=21574] ppid=21572 vsize=32844 CPUtime=3.08
/proc/21574/stat : 21574 (ld-linux.so.2) R 21572 21574 21537 0 -1 4194304 7338 0 0 0 305 3 0 0 25 0 1 0 23355077 33632256 7317 996147200 1448431616 1448550632 4294956208 18446744073709551615 134843762 0 0 4096 0 0 0 0 17 0 0 0
/proc/21574/statm: 8211 7317 420 29 0 7026 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 32844
Solver just ended. Dumping a history of the last processes samples
[startup+3.90125 s]
/proc/loadavg: 1.98 2.02 1.99 3/84 21575
/proc/meminfo: memFree=1344240/2055920 swapFree=4192812/4192956
[pid=21574] ppid=21572 vsize=32976 CPUtime=3.88
/proc/21574/stat : 21574 (ld-linux.so.2) R 21572 21574 21537 0 -1 4194304 7370 0 0 0 385 3 0 0 25 0 1 0 23355077 33767424 7349 996147200 1448431616 1448550632 4294956208 18446744073709551615 135161214 0 0 4096 0 0 0 0 17 0 0 0
/proc/21574/statm: 8244 7349 420 29 0 7059 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 32976
[startup+4.30129 s]
/proc/loadavg: 1.98 2.02 1.99 3/84 21575
/proc/meminfo: memFree=1340784/2055920 swapFree=4192812/4192956
[pid=21574] ppid=21572 vsize=32976 CPUtime=4.28
/proc/21574/stat : 21574 (ld-linux.so.2) R 21572 21574 21537 0 -1 4194304 7370 0 0 0 425 3 0 0 25 0 1 0 23355077 33767424 7349 996147200 1448431616 1448550632 4294956208 18446744073709551615 134824147 0 0 4096 0 0 0 0 17 0 0 0
/proc/21574/statm: 8244 7349 420 29 0 7059 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 32976
[startup+4.50131 s]
/proc/loadavg: 1.98 2.02 1.99 3/84 21575
/proc/meminfo: memFree=1340784/2055920 swapFree=4192812/4192956
[pid=21574] ppid=21572 vsize=33108 CPUtime=4.47
/proc/21574/stat : 21574 (ld-linux.so.2) R 21572 21574 21537 0 -1 4194304 7405 0 0 0 444 3 0 0 25 0 1 0 23355077 33902592 7384 996147200 1448431616 1448550632 4294956208 18446744073709551615 135205849 0 0 4096 0 0 0 0 17 0 0 0
/proc/21574/statm: 8277 7384 420 29 0 7092 0
Current children cumulated CPU time (s) 4.47
Current children cumulated vsize (KiB) 33108
[startup+4.60132 s]
/proc/loadavg: 1.98 2.02 1.99 3/84 21575
/proc/meminfo: memFree=1340784/2055920 swapFree=4192812/4192956
[pid=21574] ppid=21572 vsize=29732 CPUtime=4.57
/proc/21574/stat : 21574 (ld-linux.so.2) R 21572 21574 21537 0 -1 4194304 7454 0 0 0 454 3 0 0 25 0 1 0 23355077 30445568 6654 996147200 1448431616 1448550632 4294956208 18446744073709551615 4159115913 0 0 4096 0 0 0 0 17 0 0 0
/proc/21574/statm: 7433 6654 457 29 0 6248 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 29732
Child status: 0
Real time (s): 4.6236
CPU time (s): 4.6003
CPU user time (s): 4.56431
CPU system time (s): 0.035994
CPU usage (%): 99.4961
Max. virtual memory (cumulated for all children) (KiB): 33108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.56431
system time used= 0.035994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7455
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= 24
involuntary context switches= 73
runsolver used 0.009998 second user time and 0.020996 second system time
The end
Begin job on node35 at 2009-07-12 03:41:27
IDJOB=2076485
IDBENCH=56435
IDSOLVER=769
FILE ID=node35/2076485-1247362887
PBS_JOBID= 9507005
Free space on /tmp= 66248 MiB
SOLVER NAME= Mistral 1.545
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-100-6.xml
COMMAND LINE= /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2076485-1247362887/watcher-2076485-1247362887 -o /tmp/evaluation-result-2076485-1247362887/solver-2076485-1247362887 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2076485-1247362887.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 822c8f0751f873c488a8bb0f5ccf69cd
RANDOM SEED=1972978083
node35.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.213
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.213
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: 1393304 kB
Buffers: 26244 kB
Cached: 89968 kB
SwapCached: 0 kB
Active: 579180 kB
Inactive: 35344 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1393304 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2440 kB
Writeback: 0 kB
Mapped: 513936 kB
Slab: 32516 kB
Committed_AS: 903348 kB
PageTables: 2724 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= 66248 MiB
End job on node35 at 2009-07-12 03:41:32