runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-235936-1168340489 -o ROOT/results/node16/solver-235936-1168340489 -C 1800 -M 900 /tmp/evaluation/235936-1168340489/tramontane/bin/solver /tmp/evaluation/235936-1168340489/unknown.xml -res geom -f 3 -v 1
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.92 1.98 2.02 5/100 12962
/proc/meminfo: memFree=1436368/2055920 swapFree=4191880/4192956
[pid=12961] ppid=12959 vsize=18540 CPUtime=0
/proc/12961/stat : 12961 (runsolver) R 12959 12961 12100 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 182443786 18984960 279 18446744073709551615 4194304 4267372 548682068992 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12961/statm: 4635 279 244 17 0 2626 0
[startup+0.109028 s]
/proc/loadavg: 1.92 1.98 2.02 5/100 12962
/proc/meminfo: memFree=1436368/2055920 swapFree=4191880/4192956
[pid=12961] ppid=12959 vsize=64884 CPUtime=0.09
/proc/12961/stat : 12961 (solver) R 12959 12961 12100 0 -1 4194304 15259 0 0 0 3 6 0 0 18 0 1 0 182443786 66441216 15227 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134804841 0 0 4096 0 0 0 0 17 1 0 0
/proc/12961/statm: 16221 15227 692 92 0 14565 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 64884
[startup+0.516951 s]
/proc/loadavg: 1.92 1.98 2.02 5/100 12962
/proc/meminfo: memFree=1436368/2055920 swapFree=4191880/4192956
[pid=12961] ppid=12959 vsize=320832 CPUtime=0.49
/proc/12961/stat : 12961 (solver) R 12959 12961 12100 0 -1 4194304 79217 0 0 0 18 31 0 0 22 0 1 0 182443786 328531968 79185 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134804822 0 0 4096 0 0 0 0 17 1 0 0
/proc/12961/statm: 80208 79185 692 92 0 78552 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 320832
[startup+1.3388 s]
/proc/loadavg: 1.92 1.98 2.02 3/100 12962
/proc/meminfo: memFree=733520/2055920 swapFree=4191880/4192956
[pid=12961] ppid=12959 vsize=837020 CPUtime=1.32
/proc/12961/stat : 12961 (solver) R 12959 12961 12100 0 -1 4194304 208292 0 0 0 46 86 0 0 25 0 1 0 182443786 857108480 208260 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134804847 0 0 4096 0 0 0 0 17 1 0 0
/proc/12961/statm: 209255 208260 692 92 0 207599 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 837020
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1.54276 s]
/proc/loadavg: 1.92 1.98 2.02 3/100 12962
/proc/meminfo: memFree=478992/2055920 swapFree=4191880/4192956
[pid=12961] ppid=12959 vsize=962128 CPUtime=1.51
/proc/12961/stat : 12961 (solver) R 12959 12961 12100 0 -1 4194304 239582 0 0 0 50 101 0 0 25 0 1 0 182443786 985219072 239550 18446744073709551615 134512640 134893233 4294956640 18446744073709551615 134789308 0 0 4096 0 0 0 0 17 1 0 0
/proc/12961/statm: 240532 239550 692 92 0 238876 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 962128
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1.70189
CPU time (s): 1.66974
CPU user time (s): 0.501923
CPU system time (s): 1.16782
CPU usage (%): 98.1115
Max. virtual memory (cumulated for all children) (KiB): 962128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.501923
system time used= 1.16782
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239582
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= 13
involuntary context switches= 112
runsolver used 0.006998 s user time and 0.013997 s system time
The end
Begin job on node16 on Tue Jan 9 11:01:29 UTC 2007
IDJOB= 235936
IDBENCH= 6808
FILE ID= node16/235936-1168340489
PBS_JOBID= 3503139
Free space on /tmp= 66513 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fisher/FISCHER10-3-fair.xml
COMMAND LINE= /tmp/evaluation/235936-1168340489/tramontane/bin/solver /tmp/evaluation/235936-1168340489/unknown.xml -res geom -f 3 -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-235936-1168340489 -o ROOT/results/node16/solver-235936-1168340489 -C 1800 -M 900 /tmp/evaluation/235936-1168340489/tramontane/bin/solver /tmp/evaluation/235936-1168340489/unknown.xml -res geom -f 3 -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 588f177ca406d60195a399aedfd8411f
RANDOM SEED= 471313507
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.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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1436848 kB
Buffers: 75956 kB
Cached: 374844 kB
SwapCached: 448 kB
Active: 243652 kB
Inactive: 315160 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1436848 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 4376 kB
Writeback: 0 kB
Mapped: 135640 kB
Slab: 44312 kB
Committed_AS: 5981200 kB
PageTables: 2824 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= 66513 MiB
End job on node16 on Tue Jan 9 11:01:31 UTC 2007