runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076760-1247363040/watcher-2076760-1247363040 -o /tmp/evaluation-result-2076760-1247363040/solver-2076760-1247363040 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2076760-1247363040.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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 s]
/proc/loadavg: 1.98 2.12 2.14 4/75 19753
/proc/meminfo: memFree=1841648/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=18576 CPUtime=0
/proc/19753/stat : 19753 (runsolver) R 19751 19753 19619 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 23369373 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 265674091815 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/19753/statm: 4644 284 249 26 0 2626 0
[startup+0.0832961 s]
/proc/loadavg: 1.98 2.12 2.14 4/75 19753
/proc/meminfo: memFree=1841648/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=5852 CPUtime=0.07
/proc/19753/stat : 19753 (ld-linux.so.2) R 19751 19753 19619 0 -1 4194304 663 0 0 0 7 0 0 0 20 0 1 0 23369373 5992448 642 996147200 1448431616 1448550632 4294956208 18446744073709551615 4157379542 0 0 4096 0 0 0 0 17 0 0 0
/proc/19753/statm: 1463 642 374 29 0 278 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5852
[startup+0.101296 s]
/proc/loadavg: 1.98 2.12 2.14 4/75 19753
/proc/meminfo: memFree=1841648/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=5980 CPUtime=0.09
/proc/19753/stat : 19753 (ld-linux.so.2) R 19751 19753 19619 0 -1 4194304 706 0 0 0 9 0 0 0 20 0 1 0 23369373 6123520 685 996147200 1448431616 1448550632 4294956208 18446744073709551615 134698303 0 0 4096 0 0 0 0 17 0 0 0
/proc/19753/statm: 1495 685 374 29 0 310 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5980
[startup+0.301339 s]
/proc/loadavg: 1.98 2.12 2.14 4/75 19753
/proc/meminfo: memFree=1841648/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=11116 CPUtime=0.29
/proc/19753/stat : 19753 (ld-linux.so.2) R 19751 19753 19619 0 -1 4194304 2011 0 0 0 28 1 0 0 22 0 1 0 23369373 11382784 1990 996147200 1448431616 1448550632 4294956208 18446744073709551615 134534264 0 0 4096 0 0 0 0 17 0 0 0
/proc/19753/statm: 2779 1990 402 29 0 1594 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11116
[startup+0.701411 s]
/proc/loadavg: 1.98 2.12 2.14 4/75 19753
/proc/meminfo: memFree=1841648/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=11116 CPUtime=0.68
/proc/19753/stat : 19753 (ld-linux.so.2) R 19751 19753 19619 0 -1 4194304 2018 0 0 0 67 1 0 0 25 0 1 0 23369373 11382784 1997 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529713 0 0 4096 0 0 0 0 17 0 0 0
/proc/19753/statm: 2779 1997 407 29 0 1594 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11116
[startup+1.50156 s]
/proc/loadavg: 1.98 2.12 2.14 3/76 19754
/proc/meminfo: memFree=1835176/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=11116 CPUtime=1.48
/proc/19753/stat : 19753 (ld-linux.so.2) R 19751 19753 19619 0 -1 4194304 2019 0 0 0 147 1 0 0 25 0 1 0 23369373 11382784 1998 996147200 1448431616 1448550632 4294956208 18446744073709551615 134529760 0 0 4096 0 0 0 0 17 0 0 0
/proc/19753/statm: 2779 1998 407 29 0 1594 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11116
Solver just ended. Dumping a history of the last processes samples
[startup+1.90264 s]
/proc/loadavg: 1.98 2.12 2.14 3/76 19754
/proc/meminfo: memFree=1835176/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=11116 CPUtime=1.88
/proc/19753/stat : 19753 (ld-linux.so.2) R 19751 19753 19619 0 -1 4194304 2021 0 0 0 187 1 0 0 25 0 1 0 23369373 11382784 2000 996147200 1448431616 1448550632 4294956208 18446744073709551615 134528928 0 0 4096 0 0 0 0 17 0 0 0
/proc/19753/statm: 2779 2000 407 29 0 1594 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 11116
[startup+2.30172 s]
/proc/loadavg: 1.98 2.12 2.14 3/76 19754
/proc/meminfo: memFree=1835048/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=11116 CPUtime=2.27
/proc/19753/stat : 19753 (ld-linux.so.2) R 19751 19753 19619 0 -1 4194304 2021 0 0 0 226 1 0 0 25 0 1 0 23369373 11382784 2000 996147200 1448431616 1448550632 4294956208 18446744073709551615 135265396 0 0 4096 0 0 0 0 17 0 0 0
/proc/19753/statm: 2779 2000 407 29 0 1594 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 11116
Child status: 0
Real time (s): 2.36051
CPU time (s): 2.33165
CPU user time (s): 2.31865
CPU system time (s): 0.012998
CPU usage (%): 98.777
Max. virtual memory (cumulated for all children) (KiB): 11116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.31865
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2059
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= 24
involuntary context switches= 64
runsolver used 0.002999 second user time and 0.013997 second system time
The end
Begin job on node76 at 2009-07-12 03:44:00
IDJOB=2076760
IDBENCH=56492
IDSOLVER=769
FILE ID=node76/2076760-1247363040
PBS_JOBID= 9506996
Free space on /tmp= 66368 MiB
SOLVER NAME= Mistral 1.545
BENCH NAME= CPAI08/csp/rlfapGraphsMod/normalized-graph9-f10.xml
COMMAND LINE= /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2076760-1247363040/watcher-2076760-1247363040 -o /tmp/evaluation-result-2076760-1247363040/solver-2076760-1247363040 -C 1800 -W 2000 -M 900 /home/evaluation/evaluation/libc32/lib/ld-linux.so.2 ./xsolve HOME/instance-2076760-1247363040.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6c2f102032bae2df336cce2e32238ab9
RANDOM SEED=607431756
node76.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.277
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.277
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: 1842064 kB
Buffers: 19436 kB
Cached: 102352 kB
SwapCached: 0 kB
Active: 107524 kB
Inactive: 53960 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1842064 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1928 kB
Writeback: 0 kB
Mapped: 50792 kB
Slab: 37460 kB
Committed_AS: 179028 kB
PageTables: 1916 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= 66368 MiB
End job on node76 at 2009-07-12 03:44:03