runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-268367-1168978716 -o ROOT/results/node23/solver-268367-1168978716 -C 1800 -M 900 /tmp/evaluation/268367-1168978716/VALCSP /tmp/evaluation/268367-1168978716/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.106875 s]
/proc/loadavg: 1.35 1.35 0.77 5/86 5028
/proc/meminfo: memFree=1551568/2055920 swapFree=4156112/4192956
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
/proc/loadavg: 1.35 1.35 0.77 5/86 5028
/proc/meminfo: memFree=1551568/2055920 swapFree=4156112/4192956
[pid=5027] ppid=5025 vsize=69148 CPUtime=0.09
/proc/5027/stat : 5027 (VALCSP) R 5025 5027 4775 0 -1 4194304 17029 0 0 0 2 7 0 0 20 0 1 0 246266006 70807552 17007 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134532953 0 0 4096 0 0 0 0 17 1 0 0
/proc/5027/statm: 17287 17007 64 8 0 16959 0
[startup+0.516948 s]
/proc/loadavg: 1.35 1.35 0.77 5/86 5028
/proc/meminfo: memFree=1551568/2055920 swapFree=4156112/4192956
[pid=5027] ppid=5025 vsize=158384 CPUtime=0.49
/proc/5027/stat : 5027 (VALCSP) R 5025 5027 4775 0 -1 4194304 39350 0 0 0 33 16 0 0 24 0 1 0 246266006 162185216 39328 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134528691 0 0 4096 0 0 0 0 17 1 0 0
/proc/5027/statm: 39596 39328 64 8 0 39268 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 158384
[startup+1.33811 s]
/proc/loadavg: 1.40 1.36 0.77 3/86 5028
/proc/meminfo: memFree=1265936/2055920 swapFree=4156112/4192956
[pid=5027] ppid=5025 vsize=236692 CPUtime=1.3
/proc/5027/stat : 5027 (VALCSP) R 5025 5027 4775 0 -1 4194304 58911 0 0 0 104 26 0 0 25 0 1 0 246266006 242372608 58889 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134528591 0 0 4096 0 0 0 0 17 1 0 0
/proc/5027/statm: 59173 58889 64 8 0 58845 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 236692
[startup+2.97542 s]
/proc/loadavg: 1.40 1.36 0.77 3/86 5028
/proc/meminfo: memFree=1156176/2055920 swapFree=4156112/4192956
[pid=5027] ppid=5025 vsize=393176 CPUtime=2.93
/proc/5027/stat : 5027 (VALCSP) R 5025 5027 4775 0 -1 4194304 98034 0 0 0 247 46 0 0 25 0 1 0 246266006 402612224 98012 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134528766 0 0 4096 0 0 0 0 17 1 0 0
/proc/5027/statm: 98294 98012 64 8 0 97966 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 393176
[startup+6.26106 s]
/proc/loadavg: 1.40 1.36 0.77 3/86 5028
/proc/meminfo: memFree=826896/2055920 swapFree=4156112/4192956
[pid=5027] ppid=5025 vsize=706276 CPUtime=6.19
/proc/5027/stat : 5027 (VALCSP) R 5025 5027 4775 0 -1 4194304 176306 0 0 0 534 85 0 0 25 0 1 0 246266006 723226624 176284 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 2930299 0 0 4096 0 0 0 0 17 1 0 0
/proc/5027/statm: 176569 176284 64 8 0 176241 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 706276
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+8.41348 s]
/proc/loadavg: 1.45 1.37 0.78 3/86 5028
/proc/meminfo: memFree=560352/2055920 swapFree=4156112/4192956
[pid=5027] ppid=5025 vsize=925244 CPUtime=8.32
/proc/5027/stat : 5027 (VALCSP) R 5025 5027 4775 0 -1 4194304 231052 0 0 0 719 113 0 0 25 0 1 0 246266006 947449856 231030 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134528607 0 0 4096 0 0 0 0 17 1 0 0
/proc/5027/statm: 231311 231030 64 8 0 230983 0
Current children cumulated CPU time (s) 8.32
Current children cumulated vsize (KiB) 925244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 8.57986
CPU time (s): 8.47271
CPU user time (s): 7.19291
CPU system time (s): 1.27981
CPU usage (%): 98.7512
Max. virtual memory (cumulated for all children) (KiB): 925244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.19291
system time used= 1.27981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231052
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= 5
involuntary context switches= 187
runsolver used 0.007998 s user time and 0.038994 s system time
The end
Begin job on node23 on Tue Jan 16 20:18:36 UTC 2007
IDJOB= 268367
IDBENCH= 3991
IDSOLVER= 90
FILE ID= node23/268367-1168978716
PBS_JOBID= 3566209
Free space on /tmp= 66564 MiB
SOLVER NAME= VALCSP 3.1
BENCH NAME= HOME/pub/bench/CPAI06/domino/domino-2000-2000.xml
COMMAND LINE= /tmp/evaluation/268367-1168978716/VALCSP /tmp/evaluation/268367-1168978716/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-268367-1168978716 -o ROOT/results/node23/solver-268367-1168978716 -C 1800 -M 900 /tmp/evaluation/268367-1168978716/VALCSP /tmp/evaluation/268367-1168978716/unknown.xml
META MD5SUM SOLVER= d4fc2c4e0b0392ee9c79e754aa39e238
MD5SUM BENCH= 3fad24b255c7d71c68ec020283e120af
RANDOM SEED= 530652410
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.265
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.265
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: 1555888 kB
Buffers: 36672 kB
Cached: 129232 kB
SwapCached: 8040 kB
Active: 289172 kB
Inactive: 140772 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1555888 kB
SwapTotal: 4192956 kB
SwapFree: 4156112 kB
Dirty: 804 kB
Writeback: 0 kB
Mapped: 279968 kB
Slab: 54456 kB
Committed_AS: 4671612 kB
PageTables: 2684 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 node23 on Tue Jan 16 20:18:45 UTC 2007