0.00/0.00 c mistral-prime version 1.313
0.09/0.16 s SATISFIABLE
0.09/0.16 v 1077 5 1060 509 11 994 0 983 451 447 1074 10 831 206 794 12 472 0 1075 1060 203 436 295 1 834 0 356 1068 1076 184 1069 17 365 994 0 444 14 11 366 1075 408 366 1061 1075 472 1051 436 997 0 534 386 1075 0 466 1076 1065 1074 470 563 410 282 6 1074 0 534 203 794 5 444 451 81 365 366 983 1074 1075 81 581 1065 997 0 0 282 1076 1075 1069 5 14 1074 295 410 834 581 470 1073 1074 1075 223 509 0 1076
0.09/0.16 d CHECKS 732991
0.09/0.16 d ASSIGNMENTS 302
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056329-1215062736/watcher-1056329-1215062736 -o /tmp/evaluation-result-1056329-1215062736/solver-1056329-1215062736 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1056329-1215062736.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): 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: 3.64 4.33 3.48 4/94 4516
/proc/meminfo: memFree=1794784/2055920 swapFree=4179808/4192956
[pid=4516] ppid=4514 vsize=4584 CPUtime=0
/proc/4516/stat : 4516 (xsolve) R 4514 4516 4244 0 -1 4194304 430 0 0 0 0 0 0 0 18 0 1 0 662001196 4694016 396 996147200 134512640 135237403 4294956256 18446744073709551615 4158944160 0 0 4096 0 0 0 0 17 1 0 0
/proc/4516/statm: 1146 398 344 176 0 50 0
[startup+0.0593389 s]
/proc/loadavg: 3.64 4.33 3.48 4/94 4516
/proc/meminfo: memFree=1794784/2055920 swapFree=4179808/4192956
[pid=4516] ppid=4514 vsize=8460 CPUtime=0.05
/proc/4516/stat : 4516 (xsolve) R 4514 4516 4244 0 -1 4194304 1466 0 0 0 5 0 0 0 18 0 1 0 662001196 8663040 1432 996147200 134512640 135237403 4294956256 18446744073709551615 135028885 0 0 4096 0 0 0 0 17 1 0 0
/proc/4516/statm: 2115 1432 407 176 0 1019 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8460
[startup+0.101343 s]
/proc/loadavg: 3.64 4.33 3.48 4/94 4516
/proc/meminfo: memFree=1794784/2055920 swapFree=4179808/4192956
[pid=4516] ppid=4514 vsize=8608 CPUtime=0.09
/proc/4516/stat : 4516 (xsolve) R 4514 4516 4244 0 -1 4194304 1472 0 0 0 9 0 0 0 18 0 1 0 662001196 8814592 1438 996147200 134512640 135237403 4294956256 18446744073709551615 134840479 0 0 4096 0 0 0 0 17 1 0 0
/proc/4516/statm: 2152 1438 407 176 0 1056 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8608
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.173542
CPU time (s): 0.172972
CPU user time (s): 0.165974
CPU system time (s): 0.006998
CPU usage (%): 99.6715
Max. virtual memory (cumulated for all children) (KiB): 8608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.165974
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1502
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= 12
runsolver used 0.002999 second user time and 0.007998 second system time
The end
Begin job on node89 at 2008-07-03 07:25:36
IDJOB=1056329
IDBENCH=57644
IDSOLVER=358
FILE ID=node89/1056329-1215062736
PBS_JOBID= 7875243
Free space on /tmp= 66512 MiB
SOLVER NAME= Mistral-prime 1.313
BENCH NAME= CPAI08/csp/os-gp/normalized-gp10-04-1077.xml
COMMAND LINE= HOME/xsolve BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056329-1215062736/watcher-1056329-1215062736 -o /tmp/evaluation-result-1056329-1215062736/solver-1056329-1215062736 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1056329-1215062736.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 75afcf8e428a7f7d4a33191e7703a36b
RANDOM SEED=2038136906
node89.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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1795200 kB
Buffers: 3676 kB
Cached: 91392 kB
SwapCached: 7136 kB
Active: 154584 kB
Inactive: 43636 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1795200 kB
SwapTotal: 4192956 kB
SwapFree: 4179808 kB
Dirty: 1884 kB
Writeback: 0 kB
Mapped: 119588 kB
Slab: 47184 kB
Committed_AS: 2445676 kB
PageTables: 2180 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= 66512 MiB
End job on node89 at 2008-07-03 07:25:36