runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-268591-1168979539 -o ROOT/results/node4/solver-268591-1168979539 -C 1800 -M 900 /tmp/evaluation/268591-1168979539/VALCSP /tmp/evaluation/268591-1168979539/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 1.98 1.96 1.61 5/86 27297
/proc/meminfo: memFree=1511984/2055920 swapFree=4182144/4192956
[pid=27296] ppid=27294 vsize=2524 CPUtime=0
/proc/27296/stat : 27296 (VALCSP) R 27294 27296 27087 0 -1 4194304 371 0 0 0 0 0 0 0 20 0 1 0 246349434 2584576 349 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134533512 0 0 4096 0 0 0 0 17 1 0 0
/proc/27296/statm: 631 349 64 8 0 303 0
[startup+0.106004 s]
/proc/loadavg: 1.98 1.96 1.61 5/86 27297
/proc/meminfo: memFree=1511984/2055920 swapFree=4182144/4192956
[pid=27296] ppid=27294 vsize=4716 CPUtime=0.09
/proc/27296/stat : 27296 (VALCSP) R 27294 27296 27087 0 -1 4194304 908 0 0 0 9 0 0 0 20 0 1 0 246349434 4829184 886 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 1 0 0
/proc/27296/statm: 1179 886 64 8 0 851 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4716
[startup+0.51504 s]
/proc/loadavg: 1.98 1.96 1.61 5/86 27297
/proc/meminfo: memFree=1511984/2055920 swapFree=4182144/4192956
[pid=27296] ppid=27294 vsize=9072 CPUtime=0.5
/proc/27296/stat : 27296 (VALCSP) R 27294 27296 27087 0 -1 4194304 1982 0 0 0 50 0 0 0 24 0 1 0 246349434 9289728 1960 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529332 0 0 4096 0 0 0 0 17 1 0 0
/proc/27296/statm: 2268 1960 64 8 0 1940 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9072
[startup+1.34012 s]
/proc/loadavg: 1.98 1.96 1.61 3/86 27297
/proc/meminfo: memFree=1497904/2055920 swapFree=4182144/4192956
[pid=27296] ppid=27294 vsize=17916 CPUtime=1.32
/proc/27296/stat : 27296 (VALCSP) R 27294 27296 27087 0 -1 4194304 4195 0 0 0 131 1 0 0 25 0 1 0 246349434 18345984 4173 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529344 0 0 4096 0 0 0 0 17 1 0 0
/proc/27296/statm: 4479 4173 64 8 0 4151 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 17916
[startup+2.98228 s]
/proc/loadavg: 1.98 1.96 1.61 3/86 27297
/proc/meminfo: memFree=1485168/2055920 swapFree=4182144/4192956
[pid=27296] ppid=27294 vsize=35868 CPUtime=2.96
/proc/27296/stat : 27296 (VALCSP) R 27294 27296 27087 0 -1 4194304 8693 0 0 0 292 4 0 0 25 0 1 0 246349434 36728832 8671 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529329 0 0 4096 0 0 0 0 17 1 0 0
/proc/27296/statm: 8967 8671 64 8 0 8639 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 35868
[startup+6.26159 s]
/proc/loadavg: 1.98 1.96 1.61 3/86 27297
/proc/meminfo: memFree=1448624/2055920 swapFree=4182144/4192956
[pid=27296] ppid=27294 vsize=70848 CPUtime=6.22
/proc/27296/stat : 27296 (VALCSP) R 27294 27296 27087 0 -1 4194304 17451 0 0 0 615 7 0 0 25 0 1 0 246349434 72548352 17429 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134528704 0 0 4096 0 0 0 0 17 1 0 0
/proc/27296/statm: 17712 17429 64 8 0 17384 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 70848
[startup+12.7272 s]
/proc/loadavg: 1.98 1.96 1.61 3/86 27297
/proc/meminfo: memFree=1374448/2055920 swapFree=4182144/4192956
[pid=27296] ppid=27294 vsize=142128 CPUtime=12.65
/proc/27296/stat : 27296 (VALCSP) R 27294 27296 27087 0 -1 4194304 35265 0 0 0 1253 12 0 0 25 0 1 0 246349434 145539072 35243 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134528688 0 0 4096 0 0 0 0 17 1 0 0
/proc/27296/statm: 35532 35243 64 8 0 35204 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 142128
[startup+25.5414 s]
/proc/loadavg: 2.06 1.98 1.62 3/86 27297
/proc/meminfo: memFree=1237744/2055920 swapFree=4182144/4192956
[pid=27296] ppid=27294 vsize=282444 CPUtime=25.41
/proc/27296/stat : 27296 (VALCSP) R 27294 27296 27087 0 -1 4194304 70346 0 0 0 2515 26 0 0 25 0 1 0 246349434 289222656 70324 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529341 0 0 4096 0 0 0 0 17 1 0 0
/proc/27296/statm: 70611 70324 64 8 0 70283 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 282444
[startup+51.1849 s]
/proc/loadavg: 2.04 1.98 1.63 3/86 27297
/proc/meminfo: memFree=953840/2055920 swapFree=4182144/4192956
[pid=27296] ppid=27294 vsize=562732 CPUtime=50.93
/proc/27296/stat : 27296 (VALCSP) R 27294 27296 27087 0 -1 4194304 140446 0 0 0 5040 53 0 0 25 0 1 0 246349434 576237568 140424 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134528591 0 0 4096 0 0 0 0 17 1 0 0
/proc/27296/statm: 140683 140424 64 8 0 140355 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 562732
Child status: 0
Real time (s): 55.8455
CPU time (s): 55.5776
CPU user time (s): 54.9007
CPU system time (s): 0.676897
CPU usage (%): 99.5202
Max. virtual memory (cumulated for all children) (KiB): 611200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.9007
system time used= 0.676897
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152706
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= 8
involuntary context switches= 1793
runsolver used 0.073988 s user time and 0.179972 s system time
The end
Begin job on node4 on Tue Jan 16 20:32:19 UTC 2007
IDJOB= 268591
IDBENCH= 4508
IDSOLVER= 90
FILE ID= node4/268591-1168979539
PBS_JOBID= 3565981
Free space on /tmp= 66564 MiB
SOLVER NAME= VALCSP 3.1
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp01-05/fapp03/fapp03-0300-3.xml
COMMAND LINE= /tmp/evaluation/268591-1168979539/VALCSP /tmp/evaluation/268591-1168979539/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-268591-1168979539 -o ROOT/results/node4/solver-268591-1168979539 -C 1800 -M 900 /tmp/evaluation/268591-1168979539/VALCSP /tmp/evaluation/268591-1168979539/unknown.xml
META MD5SUM SOLVER= d4fc2c4e0b0392ee9c79e754aa39e238
MD5SUM BENCH= 20e9af05b430c565390b68c5c06059af
RANDOM SEED= 968796907
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.223
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.223
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: 1512400 kB
Buffers: 53308 kB
Cached: 375592 kB
SwapCached: 2220 kB
Active: 223736 kB
Inactive: 252892 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1512400 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 676 kB
Writeback: 0 kB
Mapped: 58336 kB
Slab: 51592 kB
Committed_AS: 7003952 kB
PageTables: 2360 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= 66564 MiB
End job on node4 on Tue Jan 16 20:33:15 UTC 2007