runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-268497-1168979311 -o ROOT/results/node25/solver-268497-1168979311 -C 1800 -M 900 /tmp/evaluation/268497-1168979311/VALCSP /tmp/evaluation/268497-1168979311/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
[startup+0.109883 s]
/proc/loadavg: 1.94 1.76 1.29 5/86 7702
/proc/meminfo: memFree=986784/2055920 swapFree=4170268/4192956
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
/proc/loadavg: 1.94 1.76 1.29 5/86 7702
/proc/meminfo: memFree=986784/2055920 swapFree=4170268/4192956
[pid=7701] ppid=7699 vsize=6420 CPUtime=0.09
/proc/7701/stat : 7701 (VALCSP) R 7699 7701 7497 0 -1 4194304 1345 0 0 0 9 0 0 0 20 0 1 0 246323540 6574080 1323 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134528688 0 0 4096 0 0 0 0 17 1 0 0
/proc/7701/statm: 1605 1323 64 8 0 1277 0
[startup+0.517937 s]
/proc/loadavg: 1.94 1.76 1.29 5/86 7702
/proc/meminfo: memFree=986784/2055920 swapFree=4170268/4192956
[pid=7701] ppid=7699 vsize=10248 CPUtime=0.5
/proc/7701/stat : 7701 (VALCSP) R 7699 7701 7497 0 -1 4194304 2289 0 0 0 50 0 0 0 24 0 1 0 246323540 10493952 2267 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134528688 0 0 4096 0 0 0 0 17 1 0 0
/proc/7701/statm: 2562 2267 64 8 0 2234 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10248
[startup+1.33908 s]
/proc/loadavg: 1.94 1.76 1.29 3/86 7702
/proc/meminfo: memFree=962400/2055920 swapFree=4170268/4192956
[pid=7701] ppid=7699 vsize=19092 CPUtime=1.32
/proc/7701/stat : 7701 (VALCSP) R 7699 7701 7497 0 -1 4194304 4489 0 0 0 130 2 0 0 25 0 1 0 246323540 19550208 4467 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 1 0 0
/proc/7701/statm: 4773 4467 64 8 0 4445 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 19092
[startup+2.97636 s]
/proc/loadavg: 1.94 1.76 1.29 3/86 7702
/proc/meminfo: memFree=941216/2055920 swapFree=4170268/4192956
[pid=7701] ppid=7699 vsize=35592 CPUtime=2.94
/proc/7701/stat : 7701 (VALCSP) R 7699 7701 7497 0 -1 4194304 8613 0 0 0 291 3 0 0 25 0 1 0 246323540 36446208 8591 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529413 0 0 4096 0 0 0 0 17 1 0 0
/proc/7701/statm: 8898 8591 64 8 0 8570 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 35592
[startup+6.25891 s]
/proc/loadavg: 1.95 1.76 1.29 3/86 7702
/proc/meminfo: memFree=870816/2055920 swapFree=4170268/4192956
[pid=7701] ppid=7699 vsize=70836 CPUtime=6.19
/proc/7701/stat : 7701 (VALCSP) R 7699 7701 7497 0 -1 4194304 17435 0 0 0 613 6 0 0 25 0 1 0 246323540 72536064 17413 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134528658 0 0 4096 0 0 0 0 17 1 0 0
/proc/7701/statm: 17709 17413 64 8 0 17381 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 70836
[startup+12.72 s]
/proc/loadavg: 1.87 1.75 1.29 2/81 7711
/proc/meminfo: memFree=1666312/2055920 swapFree=4170268/4192956
[pid=7701] ppid=7699 vsize=140136 CPUtime=12.6
/proc/7701/stat : 7701 (VALCSP) R 7699 7701 7497 0 -1 4194304 34764 0 0 0 1247 13 0 0 25 0 1 0 246323540 143499264 34742 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529332 0 0 4096 0 0 0 0 17 0 0 0
/proc/7701/statm: 35034 34742 64 8 0 34706 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 140136
[startup+25.5343 s]
/proc/loadavg: 1.82 1.74 1.29 3/86 7741
/proc/meminfo: memFree=1457888/2055920 swapFree=4170268/4192956
[pid=7701] ppid=7699 vsize=277944 CPUtime=25.4
/proc/7701/stat : 7701 (VALCSP) R 7699 7701 7497 0 -1 4194304 69203 0 0 0 2514 26 0 0 25 0 1 0 246323540 284614656 69181 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 0 0 0
/proc/7701/statm: 69486 69181 64 8 0 69158 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 277944
[startup+51.1795 s]
/proc/loadavg: 1.88 1.76 1.31 3/86 7741
/proc/meminfo: memFree=922656/2055920 swapFree=4170268/4192956
[pid=7701] ppid=7699 vsize=559108 CPUtime=51.01
/proc/7701/stat : 7701 (VALCSP) R 7699 7701 7497 0 -1 4194304 139513 0 0 0 5046 55 0 0 25 0 1 0 246323540 572526592 139491 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134528636 0 0 4096 0 0 0 0 17 0 0 0
/proc/7701/statm: 139777 139491 64 8 0 139449 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 559108
Child status: 0
Real time (s): 75.6354
CPU time (s): 75.4545
CPU user time (s): 74.4987
CPU system time (s): 0.955854
CPU usage (%): 99.7609
Max. virtual memory (cumulated for all children) (KiB): 819320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.4987
system time used= 0.955854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204601
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= 6
involuntary context switches= 975
runsolver used 0.088986 s user time and 0.245962 s system time
The end
Begin job on node25 on Tue Jan 16 20:28:31 UTC 2007
IDJOB= 268497
IDBENCH= 4276
IDSOLVER= 90
FILE ID= node25/268497-1168979311
PBS_JOBID= 3566225
Free space on /tmp= 66561 MiB
SOLVER NAME= VALCSP 3.1
BENCH NAME= HOME/pub/bench/CPAI06/fapp/test01-04/test03/test03-0400-0.xml
COMMAND LINE= /tmp/evaluation/268497-1168979311/VALCSP /tmp/evaluation/268497-1168979311/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-268497-1168979311 -o ROOT/results/node25/solver-268497-1168979311 -C 1800 -M 900 /tmp/evaluation/268497-1168979311/VALCSP /tmp/evaluation/268497-1168979311/unknown.xml
META MD5SUM SOLVER= d4fc2c4e0b0392ee9c79e754aa39e238
MD5SUM BENCH= 3f19ad934b9679a9dbb4a0365a30294b
RANDOM SEED= 175717709
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.279
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.279
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: 989504 kB
Buffers: 8744 kB
Cached: 146300 kB
SwapCached: 2920 kB
Active: 853696 kB
Inactive: 140568 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 989504 kB
SwapTotal: 4192956 kB
SwapFree: 4170268 kB
Dirty: 676 kB
Writeback: 0 kB
Mapped: 849284 kB
Slab: 55452 kB
Committed_AS: 5473828 kB
PageTables: 3840 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 node25 on Tue Jan 16 20:29:47 UTC 2007