runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1054249-1215058478/watcher-1054249-1215058478 -o /tmp/evaluation-result-1054249-1215058478/solver-1054249-1215058478 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/run -c HOME/instance-1054249-1215058478.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.11 2.13 2.06 4/81 16839
/proc/meminfo: memFree=1379496/2055920 swapFree=4179456/4192956
[pid=16839] ppid=16837 vsize=384 CPUtime=0
/proc/16839/stat : 16839 (ld-linux.so.2) R 16837 16839 13933 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 1984820420 393216 29 996147200 1448431616 1448550632 4294956288 18446744073709551615 1448524651 0 0 4096 0 0 0 0 17 0 0 0
/proc/16839/statm: 96 29 23 29 0 5 0
[startup+0.011073 s]
/proc/loadavg: 2.11 2.13 2.06 4/81 16839
/proc/meminfo: memFree=1379496/2055920 swapFree=4179456/4192956
[pid=16839] ppid=16837 vsize=4112 CPUtime=0
/proc/16839/stat : 16839 (ld-linux.so.2) R 16837 16839 13933 0 -1 4194304 429 0 0 0 0 0 0 0 18 0 1 0 1984820420 4210688 162 996147200 1448431616 1448550632 4294956288 18446744073709551615 1448480496 0 0 4096 0 0 0 0 17 0 0 0
/proc/16839/statm: 1028 162 137 29 0 18 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4112
[startup+0.101085 s]
/proc/loadavg: 2.11 2.13 2.06 4/81 16839
/proc/meminfo: memFree=1379496/2055920 swapFree=4179456/4192956
[pid=16839] ppid=16837 vsize=6996 CPUtime=0.09
/proc/16839/stat : 16839 (ld-linux.so.2) R 16837 16839 13933 0 -1 4194304 823 0 0 0 9 0 0 0 18 0 1 0 1984820420 7163904 554 996147200 1448431616 1448550632 4294956288 18446744073709551615 134609040 0 0 4096 0 0 0 0 17 0 0 0
/proc/16839/statm: 1749 554 328 29 0 739 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6996
[startup+0.301103 s]
/proc/loadavg: 2.11 2.13 2.06 4/81 16839
/proc/meminfo: memFree=1379496/2055920 swapFree=4179456/4192956
[pid=16839] ppid=16837 vsize=6996 CPUtime=0.28
/proc/16839/stat : 16839 (ld-linux.so.2) R 16837 16839 13933 0 -1 4194304 1053 0 0 0 28 0 0 0 19 0 1 0 1984820420 7163904 784 996147200 1448431616 1448550632 4294956288 18446744073709551615 134539011 0 0 4096 0 0 0 0 17 0 0 0
/proc/16839/statm: 1749 784 328 29 0 739 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6996
[startup+0.701137 s]
/proc/loadavg: 2.11 2.13 2.06 4/81 16839
/proc/meminfo: memFree=1379496/2055920 swapFree=4179456/4192956
[pid=16839] ppid=16837 vsize=9744 CPUtime=0.68
/proc/16839/stat : 16839 (ld-linux.so.2) R 16837 16839 13933 0 -1 4194304 1588 0 0 0 68 0 0 0 23 0 1 0 1984820420 9977856 1319 996147200 1448431616 1448550632 4294956288 18446744073709551615 134610130 0 0 4096 0 0 0 0 17 0 0 0
/proc/16839/statm: 2436 1319 328 29 0 1426 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9744
[startup+1.50121 s]
/proc/loadavg: 2.11 2.13 2.06 3/82 16840
/proc/meminfo: memFree=1374240/2055920 swapFree=4179456/4192956
[pid=16839] ppid=16837 vsize=12496 CPUtime=1.48
/proc/16839/stat : 16839 (ld-linux.so.2) R 16837 16839 13933 0 -1 4194304 2581 0 0 0 148 0 0 0 25 0 1 0 1984820420 12795904 2312 996147200 1448431616 1448550632 4294956288 18446744073709551615 134561413 0 0 4096 0 0 0 0 17 0 0 0
/proc/16839/statm: 3124 2312 328 29 0 2114 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12496
[startup+3.10135 s]
/proc/loadavg: 2.11 2.13 2.06 3/82 16840
/proc/meminfo: memFree=1368480/2055920 swapFree=4179456/4192956
[pid=16839] ppid=16837 vsize=20724 CPUtime=3.08
/proc/16839/stat : 16839 (ld-linux.so.2) R 16837 16839 13933 0 -1 4194304 4643 0 0 0 306 2 0 0 25 0 1 0 1984820420 21221376 4374 996147200 1448431616 1448550632 4294956288 18446744073709551615 134561388 0 0 4096 0 0 0 0 17 0 0 0
/proc/16839/statm: 5181 4374 328 29 0 4171 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20724
[startup+6.30164 s]
/proc/loadavg: 2.10 2.13 2.06 3/82 16840
/proc/meminfo: memFree=1351328/2055920 swapFree=4179456/4192956
[pid=16839] ppid=16837 vsize=37208 CPUtime=6.28
/proc/16839/stat : 16839 (ld-linux.so.2) R 16837 16839 13933 0 -1 4194304 8765 0 0 0 623 5 0 0 25 0 1 0 1984820420 38100992 8496 996147200 1448431616 1448550632 4294956288 18446744073709551615 134561264 0 0 4096 0 0 0 0 17 0 0 0
/proc/16839/statm: 9302 8496 328 29 0 8292 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 37208
[startup+12.7012 s]
/proc/loadavg: 2.10 2.13 2.06 3/82 16840
/proc/meminfo: memFree=1286056/2055920 swapFree=4179456/4192956
[pid=16839] ppid=16837 vsize=97576 CPUtime=12.68
/proc/16839/stat : 16839 (ld-linux.so.2) R 16837 16839 13933 0 -1 4194304 24012 0 0 0 1257 11 0 0 25 0 1 0 1984820420 99917824 23743 996147200 1448431616 1448550632 4294956288 18446744073709551615 134535391 0 0 4096 0 0 0 0 17 0 0 0
/proc/16839/statm: 24394 23743 343 29 0 23384 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 97576
[startup+25.5014 s]
/proc/loadavg: 2.07 2.12 2.06 3/82 16840
/proc/meminfo: memFree=1286184/2055920 swapFree=4179456/4192956
[pid=16839] ppid=16837 vsize=97580 CPUtime=25.47
/proc/16839/stat : 16839 (ld-linux.so.2) R 16837 16839 13933 0 -1 4194304 24013 0 0 0 2536 11 0 0 25 0 1 0 1984820420 99921920 23744 996147200 1448431616 1448550632 4294956288 18446744073709551615 134546552 0 0 4096 0 0 0 0 17 0 0 0
/proc/16839/statm: 24395 23744 343 29 0 23385 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 97580
[startup+51.1017 s]
/proc/loadavg: 2.05 2.11 2.06 3/82 16840
/proc/meminfo: memFree=1286056/2055920 swapFree=4179456/4192956
[pid=16839] ppid=16837 vsize=97580 CPUtime=51.07
/proc/16839/stat : 16839 (ld-linux.so.2) R 16837 16839 13933 0 -1 4194304 24013 0 0 0 5095 12 0 0 25 0 1 0 1984820420 99921920 23744 996147200 1448431616 1448550632 4294956288 18446744073709551615 134522626 0 0 4096 0 0 0 0 17 0 0 0
/proc/16839/statm: 24395 23744 343 29 0 23385 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 97580
[startup+102.306 s]
/proc/loadavg: 2.02 2.09 2.05 3/82 16840
/proc/meminfo: memFree=1286184/2055920 swapFree=4179456/4192956
[pid=16839] ppid=16837 vsize=97580 CPUtime=102.25
/proc/16839/stat : 16839 (ld-linux.so.2) R 16837 16839 13933 0 -1 4194304 24013 0 0 0 10213 12 0 0 25 0 1 0 1984820420 99921920 23744 996147200 1448431616 1448550632 4294956288 18446744073709551615 134522626 0 0 4096 0 0 0 0 17 0 0 0
/proc/16839/statm: 24395 23744 343 29 0 23385 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 97580
Solver just ended. Dumping a history of the last processes samples
[startup+105.502 s]
/proc/loadavg: 2.02 2.09 2.05 3/82 16840
/proc/meminfo: memFree=1286184/2055920 swapFree=4179456/4192956
[pid=16839] ppid=16837 vsize=97580 CPUtime=105.45
/proc/16839/stat : 16839 (ld-linux.so.2) R 16837 16839 13933 0 -1 4194304 24013 0 0 0 10533 12 0 0 25 0 1 0 1984820420 99921920 23744 996147200 1448431616 1448550632 4294956288 18446744073709551615 134535381 0 0 4096 0 0 0 0 17 0 0 0
/proc/16839/statm: 24395 23744 343 29 0 23385 0
Current children cumulated CPU time (s) 105.45
Current children cumulated vsize (KiB) 97580
[startup+107.102 s]
/proc/loadavg: 2.02 2.09 2.05 3/82 16840
/proc/meminfo: memFree=1286184/2055920 swapFree=4179456/4192956
[pid=16839] ppid=16837 vsize=97580 CPUtime=107.05
/proc/16839/stat : 16839 (ld-linux.so.2) R 16837 16839 13933 0 -1 4194304 24013 0 0 0 10693 12 0 0 25 0 1 0 1984820420 99921920 23744 996147200 1448431616 1448550632 4294956288 18446744073709551615 134535057 0 0 4096 0 0 0 0 17 0 0 0
/proc/16839/statm: 24395 23744 343 29 0 23385 0
Current children cumulated CPU time (s) 107.05
Current children cumulated vsize (KiB) 97580
[startup+108.702 s]
/proc/loadavg: 2.02 2.09 2.05 3/82 16840
/proc/meminfo: memFree=1286184/2055920 swapFree=4179456/4192956
[pid=16839] ppid=16837 vsize=97580 CPUtime=108.65
/proc/16839/stat : 16839 (ld-linux.so.2) R 16837 16839 13933 0 -1 4194304 24013 0 0 0 10853 12 0 0 25 0 1 0 1984820420 99921920 23744 996147200 1448431616 1448550632 4294956288 18446744073709551615 134522679 0 0 4096 0 0 0 0 17 0 0 0
/proc/16839/statm: 24395 23744 343 29 0 23385 0
Current children cumulated CPU time (s) 108.65
Current children cumulated vsize (KiB) 97580
[startup+109.503 s]
/proc/loadavg: 2.02 2.09 2.05 3/82 16840
/proc/meminfo: memFree=1286184/2055920 swapFree=4179456/4192956
[pid=16839] ppid=16837 vsize=97580 CPUtime=109.45
/proc/16839/stat : 16839 (ld-linux.so.2) R 16837 16839 13933 0 -1 4194304 24013 0 0 0 10933 12 0 0 25 0 1 0 1984820420 99921920 23744 996147200 1448431616 1448550632 4294956288 18446744073709551615 134522626 0 0 4096 0 0 0 0 17 0 0 0
/proc/16839/statm: 24395 23744 343 29 0 23385 0
Current children cumulated CPU time (s) 109.45
Current children cumulated vsize (KiB) 97580
[startup+109.903 s]
/proc/loadavg: 2.02 2.09 2.05 3/82 16840
/proc/meminfo: memFree=1345704/2055920 swapFree=4179456/4192956
[pid=16839] ppid=16837 vsize=0 CPUtime=109.85
/proc/16839/stat : 16839 (ld-linux.so.2) R 16837 16839 13933 0 -1 4194308 24028 0 0 0 10972 13 0 0 25 0 1 0 1984820420 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/16839/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 109.85
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 109.909
CPU time (s): 109.859
CPU user time (s): 109.722
CPU system time (s): 0.136979
CPU usage (%): 99.9552
Max. virtual memory (cumulated for all children) (KiB): 97580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 109.722
system time used= 0.136979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24028
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= 25
involuntary context switches= 362
runsolver used 0.120981 second user time and 0.32595 second system time
The end
Begin job on node43 at 2008-07-03 06:14:39
IDJOB=1054249
IDBENCH=56209
IDSOLVER=328
FILE ID=node43/1054249-1215058478
PBS_JOBID= 7875090
Free space on /tmp= 66504 MiB
SOLVER NAME= spider 2008-06-14
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-10_ext.xml
COMMAND LINE= HOME/run -c BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1054249-1215058478/watcher-1054249-1215058478 -o /tmp/evaluation-result-1054249-1215058478/solver-1054249-1215058478 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/run -c HOME/instance-1054249-1215058478.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 513cf35a6a387b7eda5da4b4c70b12f5
RANDOM SEED=2055965640
node43.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.230
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.230
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: 1379976 kB
Buffers: 75904 kB
Cached: 496844 kB
SwapCached: 7360 kB
Active: 215048 kB
Inactive: 381900 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1379976 kB
SwapTotal: 4192956 kB
SwapFree: 4179456 kB
Dirty: 23104 kB
Writeback: 0 kB
Mapped: 39984 kB
Slab: 63996 kB
Committed_AS: 3666460 kB
PageTables: 1968 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= 66504 MiB
End job on node43 at 2008-07-03 06:16:30