runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-268247-1168978365 -o ROOT/results/node75/solver-268247-1168978365 -C 1800 -M 900 /tmp/evaluation/268247-1168978365/VALCSP /tmp/evaluation/268247-1168978365/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.96 1.53 0.74 5/73 25094
/proc/meminfo: memFree=1110112/2055920 swapFree=4184548/4192956
[pid=25093] ppid=25091 vsize=2260 CPUtime=0
/proc/25093/stat : 25093 (VALCSP) R 25091 25093 24513 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 246235914 2314240 286 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 7169659 0 0 4096 0 0 0 0 17 1 0 0
/proc/25093/statm: 565 286 64 8 0 237 0
[startup+0.104173 s]
/proc/loadavg: 1.96 1.53 0.74 5/73 25094
/proc/meminfo: memFree=1110112/2055920 swapFree=4184548/4192956
[pid=25093] ppid=25091 vsize=20700 CPUtime=0.09
/proc/25093/stat : 25093 (VALCSP) R 25091 25093 24513 0 -1 4194304 4823 0 0 0 8 1 0 0 20 0 1 0 246235914 21196800 4801 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134528933 0 0 4096 0 0 0 0 17 0 0 0
/proc/25093/statm: 5175 4801 65 8 0 4847 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20700
[startup+0.512221 s]
/proc/loadavg: 1.96 1.53 0.74 5/73 25094
/proc/meminfo: memFree=1110112/2055920 swapFree=4184548/4192956
[pid=25093] ppid=25091 vsize=24924 CPUtime=0.5
/proc/25093/stat : 25093 (VALCSP) R 25091 25093 24513 0 -1 4194304 5891 0 0 0 48 2 0 0 25 0 1 0 246235914 25522176 5869 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 0 0 0
/proc/25093/statm: 6231 5869 65 8 0 5903 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 24924
[startup+1.33332 s]
/proc/loadavg: 1.96 1.53 0.74 3/73 25094
/proc/meminfo: memFree=1079968/2055920 swapFree=4184548/4192956
[pid=25093] ppid=25091 vsize=33372 CPUtime=1.31
/proc/25093/stat : 25093 (VALCSP) R 25091 25093 24513 0 -1 4194304 7996 0 0 0 129 2 0 0 25 0 1 0 246235914 34172928 7974 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529329 0 0 4096 0 0 0 0 17 0 0 0
/proc/25093/statm: 8343 7974 65 8 0 8015 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 33372
[startup+2.97051 s]
/proc/loadavg: 1.96 1.53 0.74 3/73 25094
/proc/meminfo: memFree=1068448/2055920 swapFree=4184548/4192956
[pid=25093] ppid=25091 vsize=49608 CPUtime=2.94
/proc/25093/stat : 25093 (VALCSP) R 25091 25093 24513 0 -1 4194304 12073 0 0 0 290 4 0 0 25 0 1 0 246235914 50798592 12051 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529332 0 0 4096 0 0 0 0 17 0 0 0
/proc/25093/statm: 12402 12051 65 8 0 12074 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 49608
[startup+6.2559 s]
/proc/loadavg: 1.96 1.54 0.75 3/73 25094
/proc/meminfo: memFree=1031840/2055920 swapFree=4184548/4192956
[pid=25093] ppid=25091 vsize=81684 CPUtime=6.2
/proc/25093/stat : 25093 (VALCSP) R 25091 25093 24513 0 -1 4194304 20069 0 0 0 614 6 0 0 25 0 1 0 246235914 83644416 20047 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134528720 0 0 4096 0 0 0 0 17 0 0 0
/proc/25093/statm: 20421 20047 65 8 0 20093 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 81684
[startup+12.7167 s]
/proc/loadavg: 1.96 1.55 0.76 3/73 25094
/proc/meminfo: memFree=961256/2055920 swapFree=4184548/4192956
[pid=25093] ppid=25091 vsize=145176 CPUtime=12.59
/proc/25093/stat : 25093 (VALCSP) R 25091 25093 24513 0 -1 4194304 35949 0 0 0 1247 12 0 0 25 0 1 0 246235914 148660224 35927 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 0 0 0
/proc/25093/statm: 36294 35927 65 8 0 35966 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 145176
[startup+25.5302 s]
/proc/loadavg: 1.97 1.57 0.78 3/73 25094
/proc/meminfo: memFree=830376/2055920 swapFree=4184548/4192956
[pid=25093] ppid=25091 vsize=270180 CPUtime=25.31
/proc/25093/stat : 25093 (VALCSP) R 25091 25093 24513 0 -1 4194304 67225 0 0 0 2507 24 0 0 25 0 1 0 246235914 276664320 67203 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134528607 0 0 4096 0 0 0 0 17 0 0 0
/proc/25093/statm: 67545 67203 65 8 0 67217 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 270180
[startup+51.1662 s]
/proc/loadavg: 2.04 1.62 0.81 3/73 25094
/proc/meminfo: memFree=551208/2055920 swapFree=4184548/4192956
[pid=25093] ppid=25091 vsize=528372 CPUtime=50.74
/proc/25093/stat : 25093 (VALCSP) R 25091 25093 24513 0 -1 4194304 131762 0 0 0 5026 48 0 0 25 0 1 0 246235914 541052928 131740 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 0 0 0
/proc/25093/statm: 132093 131740 65 8 0 131765 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 528372
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+90.9589 s]
/proc/loadavg: 2.02 1.66 0.86 3/73 25094
/proc/meminfo: memFree=123624/2055920 swapFree=4184548/4192956
[pid=25093] ppid=25091 vsize=922132 CPUtime=90.22
/proc/25093/stat : 25093 (VALCSP) R 25091 25093 24513 0 -1 4194304 230198 0 0 0 8938 84 0 0 25 0 1 0 246235914 944263168 230176 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 0 0 0
/proc/25093/statm: 230533 230176 65 8 0 230205 0
Current children cumulated CPU time (s) 90.22
Current children cumulated vsize (KiB) 922132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 91.0954
CPU time (s): 90.3523
CPU user time (s): 89.3804
CPU system time (s): 0.971852
CPU usage (%): 99.1842
Max. virtual memory (cumulated for all children) (KiB): 922132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.3804
system time used= 0.971852
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230198
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= 1963
runsolver used 0.081987 s user time and 0.251961 s system time
The end
Begin job on node75 on Tue Jan 16 20:12:45 UTC 2007
IDJOB= 268247
IDBENCH= 3763
IDSOLVER= 90
FILE ID= node75/268247-1168978365
PBS_JOBID= 3566115
Free space on /tmp= 66471 MiB
SOLVER NAME= VALCSP 3.1
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp11/fapp11-1000-2.xml
COMMAND LINE= /tmp/evaluation/268247-1168978365/VALCSP /tmp/evaluation/268247-1168978365/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-268247-1168978365 -o ROOT/results/node75/solver-268247-1168978365 -C 1800 -M 900 /tmp/evaluation/268247-1168978365/VALCSP /tmp/evaluation/268247-1168978365/unknown.xml
META MD5SUM SOLVER= d4fc2c4e0b0392ee9c79e754aa39e238
MD5SUM BENCH= 69b107b4e08702b8ad8f64aec9f1ccc3
RANDOM SEED= 364833098
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.218
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.218
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: 1110656 kB
Buffers: 43164 kB
Cached: 556524 kB
SwapCached: 2452 kB
Active: 460668 kB
Inactive: 411720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1110656 kB
SwapTotal: 4192956 kB
SwapFree: 4184548 kB
Dirty: 2108 kB
Writeback: 0 kB
Mapped: 279988 kB
Slab: 57844 kB
Committed_AS: 5365132 kB
PageTables: 2252 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= 66471 MiB
End job on node75 on Tue Jan 16 20:14:16 UTC 2007