runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-236624-1168344215 -o ROOT/results/node5/solver-236624-1168344215 -C 1800 -M 900 /tmp/evaluation/236624-1168344215/mistral/bin/solver /tmp/evaluation/236624-1168344215/unknown.xml -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.11 5/88 21497
/proc/meminfo: memFree=1818968/2055920 swapFree=4192812/4192956
[pid=21496] ppid=21494 vsize=540 CPUtime=0
/proc/21496/stat : 21496 (solver) R 21494 21496 21252 0 -1 4194304 41 0 0 0 0 0 0 0 19 0 1 0 163036001 552960 26 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 7893796 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/21496/statm: 135 26 21 92 0 18 0
[startup+0.104468 s]
/proc/loadavg: 1.92 1.98 2.11 5/88 21497
/proc/meminfo: memFree=1818968/2055920 swapFree=4192812/4192956
[pid=21496] ppid=21494 vsize=61740 CPUtime=0.09
/proc/21496/stat : 21496 (solver) R 21494 21496 21252 0 -1 4194304 14440 0 0 0 3 6 0 0 18 0 1 0 163036001 63221760 14408 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134804786 0 0 4096 0 0 0 0 17 1 0 0
/proc/21496/statm: 15435 14408 692 92 0 13779 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 61740
[startup+0.516518 s]
/proc/loadavg: 1.92 1.98 2.11 5/88 21497
/proc/meminfo: memFree=1818968/2055920 swapFree=4192812/4192956
[pid=21496] ppid=21494 vsize=321660 CPUtime=0.5
/proc/21496/stat : 21496 (solver) R 21494 21496 21252 0 -1 4194304 79441 0 0 0 16 34 0 0 22 0 1 0 163036001 329379840 79409 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134804809 0 0 4096 0 0 0 0 17 1 0 0
/proc/21496/statm: 80415 79409 692 92 0 78759 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 321660
[startup+1.34361 s]
/proc/loadavg: 1.92 1.98 2.11 3/88 21497
/proc/meminfo: memFree=1115800/2055920 swapFree=4192812/4192956
[pid=21496] ppid=21494 vsize=837692 CPUtime=1.32
/proc/21496/stat : 21496 (solver) R 21494 21496 21252 0 -1 4194304 208450 0 0 0 42 90 0 0 25 0 1 0 163036001 857796608 208418 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134804809 0 0 4096 0 0 0 0 17 1 0 0
/proc/21496/statm: 209423 208418 692 92 0 207767 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 837692
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1.54764 s]
/proc/loadavg: 1.92 1.98 2.11 3/88 21497
/proc/meminfo: memFree=856920/2055920 swapFree=4192812/4192956
[pid=21496] ppid=21494 vsize=966612 CPUtime=1.52
/proc/21496/stat : 21496 (solver) R 21494 21496 21252 0 -1 4194304 240695 0 0 0 50 102 0 0 25 0 1 0 163036001 989810688 240663 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134804809 0 0 4096 0 0 0 0 17 1 0 0
/proc/21496/statm: 241653 240663 692 92 0 239997 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 966612
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1.70665
CPU time (s): 1.68374
CPU user time (s): 0.509922
CPU system time (s): 1.17382
CPU usage (%): 98.6578
Max. virtual memory (cumulated for all children) (KiB): 966612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.509922
system time used= 1.17382
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240695
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= 41
runsolver used 0.006998 s user time and 0.013997 s system time
The end
Begin job on node5 on Tue Jan 9 12:03:36 UTC 2007
IDJOB= 236624
IDBENCH= 6861
FILE ID= node5/236624-1168344215
PBS_JOBID= 3503213
Free space on /tmp= 66550 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fisher/FISCHER5-8-fair.xml
COMMAND LINE= /tmp/evaluation/236624-1168344215/mistral/bin/solver /tmp/evaluation/236624-1168344215/unknown.xml -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-236624-1168344215 -o ROOT/results/node5/solver-236624-1168344215 -C 1800 -M 900 /tmp/evaluation/236624-1168344215/mistral/bin/solver /tmp/evaluation/236624-1168344215/unknown.xml -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 759b287a619b7d1444302c4a6aaa485e
RANDOM SEED= 691258578
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.240
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.240
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: 1819384 kB
Buffers: 20412 kB
Cached: 83628 kB
SwapCached: 0 kB
Active: 134360 kB
Inactive: 47516 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1819384 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4792 kB
Writeback: 0 kB
Mapped: 98148 kB
Slab: 39568 kB
Committed_AS: 4691096 kB
PageTables: 2200 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= 66550 MiB
End job on node5 on Tue Jan 9 12:03:37 UTC 2007