0.00/0.02 c mistral version 1.545
13.88/14.09 s SATISFIABLE
13.88/14.09 v 9 18 78 64 78 10 27 33 78 10 77 28 79 48 58 46 27 69 51 17 57 76 71 19 33 51 78 78 5 39 37 49 34 3 33 18 30 70 40 65
13.88/14.09 d CHECKS 19472383
13.88/14.09 d ASSIGNMENTS 77179
13.88/14.09 d NODES 77179 BACKTRACKS 77166 FAILURES 77166 RUNTIME 13.87 TOTALTIME 13.98 NODES/s 5564.46 CHECKS/s 1.40392e+06
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2092171-1247397095/watcher-2092171-1247397095 -o /tmp/evaluation-result-2092171-1247397095/solver-2092171-1247397095 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2092171-1247397095.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: 2.03 2.09 2.05 4/75 28777
/proc/meminfo: memFree=1844520/2055920 swapFree=4192812/4192956
[pid=28777] ppid=28775 vsize=18576 CPUtime=0
/proc/28777/stat : 28777 (runsolver) R 28775 28777 28333 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 26775059 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 214945033511 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/28777/statm: 4644 284 249 26 0 2626 0
[startup+0.0738561 s]
/proc/loadavg: 2.03 2.09 2.05 4/75 28777
/proc/meminfo: memFree=1844520/2055920 swapFree=4192812/4192956
[pid=28777] ppid=28775 vsize=6528 CPUtime=0.06
/proc/28777/stat : 28777 (ld-linux.so.2) R 28775 28777 28333 0 -1 4194304 843 0 0 0 6 0 0 0 21 0 1 0 26775059 6684672 822 996147200 1448431616 1448550632 4294956208 18446744073709551615 134661463 0 0 4096 0 0 0 0 17 0 0 0
/proc/28777/statm: 1632 822 358 29 0 447 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6528
[startup+0.10186 s]
/proc/loadavg: 2.03 2.09 2.05 4/75 28777
/proc/meminfo: memFree=1844520/2055920 swapFree=4192812/4192956
[pid=28777] ppid=28775 vsize=7320 CPUtime=0.09
/proc/28777/stat : 28777 (ld-linux.so.2) R 28775 28777 28333 0 -1 4194304 1034 0 0 0 9 0 0 0 21 0 1 0 26775059 7495680 1013 996147200 1448431616 1448550632 4294956208 18446744073709551615 134671617 0 0 4096 0 0 0 0 17 0 0 0
/proc/28777/statm: 1830 1013 358 29 0 645 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7320
[startup+0.30188 s]
/proc/loadavg: 2.03 2.09 2.05 4/75 28777
/proc/meminfo: memFree=1844520/2055920 swapFree=4192812/4192956
[pid=28777] ppid=28775 vsize=8244 CPUtime=0.29
/proc/28777/stat : 28777 (ld-linux.so.2) R 28775 28777 28333 0 -1 4194304 1302 0 0 0 29 0 0 0 22 0 1 0 26775059 8441856 1281 996147200 1448431616 1448550632 4294956208 18446744073709551615 134865107 0 0 4096 0 0 0 0 17 0 0 0
/proc/28777/statm: 2061 1281 413 29 0 876 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8244
[startup+0.701927 s]
/proc/loadavg: 2.03 2.09 2.05 4/75 28777
/proc/meminfo: memFree=1844520/2055920 swapFree=4192812/4192956
[pid=28777] ppid=28775 vsize=8244 CPUtime=0.68
/proc/28777/stat : 28777 (ld-linux.so.2) R 28775 28777 28333 0 -1 4194304 1302 0 0 0 68 0 0 0 25 0 1 0 26775059 8441856 1281 996147200 1448431616 1448550632 4294956208 18446744073709551615 135264235 0 0 4096 0 0 0 0 17 0 0 0
/proc/28777/statm: 2061 1281 413 29 0 876 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8244
[startup+1.50202 s]
/proc/loadavg: 2.03 2.09 2.05 3/76 28778
/proc/meminfo: memFree=1840992/2055920 swapFree=4192812/4192956
[pid=28777] ppid=28775 vsize=8244 CPUtime=1.48
/proc/28777/stat : 28777 (ld-linux.so.2) R 28775 28777 28333 0 -1 4194304 1302 0 0 0 148 0 0 0 25 0 1 0 26775059 8441856 1281 996147200 1448431616 1448550632 4294956208 18446744073709551615 135264238 0 0 4096 0 0 0 0 17 0 0 0
/proc/28777/statm: 2061 1281 413 29 0 876 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8244
[startup+3.1012 s]
/proc/loadavg: 2.03 2.09 2.05 3/76 28778
/proc/meminfo: memFree=1840800/2055920 swapFree=4192812/4192956
[pid=28777] ppid=28775 vsize=8244 CPUtime=3.07
/proc/28777/stat : 28777 (ld-linux.so.2) R 28775 28777 28333 0 -1 4194304 1302 0 0 0 307 0 0 0 25 0 1 0 26775059 8441856 1281 996147200 1448431616 1448550632 4294956208 18446744073709551615 135264226 0 0 4096 0 0 0 0 17 0 0 0
/proc/28777/statm: 2061 1281 413 29 0 876 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 8244
[startup+6.30156 s]
/proc/loadavg: 2.03 2.09 2.05 3/76 28778
/proc/meminfo: memFree=1840672/2055920 swapFree=4192812/4192956
[pid=28777] ppid=28775 vsize=8244 CPUtime=6.24
/proc/28777/stat : 28777 (ld-linux.so.2) R 28775 28777 28333 0 -1 4194304 1303 0 0 0 624 0 0 0 25 0 1 0 26775059 8441856 1282 996147200 1448431616 1448550632 4294956208 18446744073709551615 135264220 0 0 4096 0 0 0 0 17 0 0 0
/proc/28777/statm: 2061 1282 413 29 0 876 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 8244
[startup+12.7013 s]
/proc/loadavg: 2.03 2.09 2.05 3/76 28778
/proc/meminfo: memFree=1840672/2055920 swapFree=4192812/4192956
[pid=28777] ppid=28775 vsize=8244 CPUtime=12.59
/proc/28777/stat : 28777 (ld-linux.so.2) R 28775 28777 28333 0 -1 4194304 1303 0 0 0 1259 0 0 0 25 0 1 0 26775059 8441856 1282 996147200 1448431616 1448550632 4294956208 18446744073709551615 135277887 0 0 4096 0 0 0 0 17 0 0 0
/proc/28777/statm: 2061 1282 413 29 0 876 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 8244
Solver just ended. Dumping a history of the last processes samples
[startup+13.5014 s]
/proc/loadavg: 2.03 2.09 2.05 3/76 28778
/proc/meminfo: memFree=1840672/2055920 swapFree=4192812/4192956
[pid=28777] ppid=28775 vsize=8244 CPUtime=13.39
/proc/28777/stat : 28777 (ld-linux.so.2) R 28775 28777 28333 0 -1 4194304 1303 0 0 0 1339 0 0 0 25 0 1 0 26775059 8441856 1282 996147200 1448431616 1448550632 4294956208 18446744073709551615 135264192 0 0 4096 0 0 0 0 17 0 0 0
/proc/28777/statm: 2061 1282 413 29 0 876 0
Current children cumulated CPU time (s) 13.39
Current children cumulated vsize (KiB) 8244
[startup+13.9014 s]
/proc/loadavg: 2.03 2.09 2.05 3/76 28778
/proc/meminfo: memFree=1840672/2055920 swapFree=4192812/4192956
[pid=28777] ppid=28775 vsize=8244 CPUtime=13.78
/proc/28777/stat : 28777 (ld-linux.so.2) R 28775 28777 28333 0 -1 4194304 1303 0 0 0 1378 0 0 0 25 0 1 0 26775059 8441856 1282 996147200 1448431616 1448550632 4294956208 18446744073709551615 134814448 0 0 4096 0 0 0 0 17 0 0 0
/proc/28777/statm: 2061 1282 413 29 0 876 0
Current children cumulated CPU time (s) 13.78
Current children cumulated vsize (KiB) 8244
[startup+14.1015 s]
/proc/loadavg: 2.03 2.09 2.05 3/76 28778
/proc/meminfo: memFree=1840672/2055920 swapFree=4192812/4192956
[pid=28777] ppid=28775 vsize=8248 CPUtime=13.98
/proc/28777/stat : 28777 (ld-linux.so.2) R 28775 28777 28333 0 -1 4194304 1342 0 0 0 1398 0 0 0 25 0 1 0 26775059 8445952 1321 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157375308 0 0 4096 0 0 0 0 17 0 0 0
/proc/28777/statm: 2062 1321 451 29 0 877 0
Current children cumulated CPU time (s) 13.98
Current children cumulated vsize (KiB) 8248
Child status: 0
Real time (s): 14.1058
CPU time (s): 13.9959
CPU user time (s): 13.9899
CPU system time (s): 0.005999
CPU usage (%): 99.2207
Max. virtual memory (cumulated for all children) (KiB): 8248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.9899
system time used= 0.005999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1343
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= 352
runsolver used 0.017997 second user time and 0.043993 second system time
The end
Begin job on node85 at 2009-07-12 13:11:37
IDJOB=2092171
IDBENCH=60278
IDSOLVER=769
FILE ID=node85/2092171-1247397095
PBS_JOBID= 9507456
Free space on /tmp= 126552 MiB
SOLVER NAME= Mistral 1.545
BENCH NAME= CPAI08/csp/tightness0.8/normalized-rand-2-40-80-103-800-37_ext.xml
COMMAND LINE= /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2092171-1247397095/watcher-2092171-1247397095 -o /tmp/evaluation-result-2092171-1247397095/solver-2092171-1247397095 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2092171-1247397095.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ce5d1f47702701d3860ba207f551b018
RANDOM SEED=1293623720
node85.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.220
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.220
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: 1845000 kB
Buffers: 28200 kB
Cached: 101816 kB
SwapCached: 0 kB
Active: 115704 kB
Inactive: 44840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1845000 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1932 kB
Writeback: 0 kB
Mapped: 41548 kB
Slab: 35588 kB
Committed_AS: 203508 kB
PageTables: 1820 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= 126552 MiB
End job on node85 at 2009-07-12 13:11:52