runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-269514-1168980857 -o ROOT/results/node41/solver-269514-1168980857 -C 1800 -M 900 /tmp/evaluation/269514-1168980857/VALCSP /tmp/evaluation/269514-1168980857/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.95 1.19 0.76 5/73 12774
/proc/meminfo: memFree=1296408/2055920 swapFree=4191892/4192956
[pid=12773] ppid=12771 vsize=4108 CPUtime=0.1
/proc/12773/stat : 12773 (VALCSP) R 12771 12773 12467 0 -1 4194304 766 0 0 0 10 0 0 0 20 0 1 0 246484951 4206592 744 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 1 0 0
/proc/12773/statm: 1027 744 64 8 0 699 0
[startup+0.212041 s]
/proc/loadavg: 1.95 1.19 0.76 5/73 12774
/proc/meminfo: memFree=1296408/2055920 swapFree=4191892/4192956
[pid=12773] ppid=12771 vsize=5296 CPUtime=0.2
/proc/12773/stat : 12773 (VALCSP) R 12771 12773 12467 0 -1 4194304 1060 0 0 0 20 0 0 0 21 0 1 0 246484951 5423104 1038 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529372 0 0 4096 0 0 0 0 17 1 0 0
/proc/12773/statm: 1324 1038 64 8 0 996 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 5296
[startup+0.620073 s]
/proc/loadavg: 1.95 1.19 0.76 5/73 12774
/proc/meminfo: memFree=1296408/2055920 swapFree=4191892/4192956
[pid=12773] ppid=12771 vsize=8596 CPUtime=0.6
/proc/12773/stat : 12773 (VALCSP) R 12771 12773 12467 0 -1 4194304 1905 0 0 0 60 0 0 0 24 0 1 0 246484951 8802304 1883 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529329 0 0 4096 0 0 0 0 17 1 0 0
/proc/12773/statm: 2149 1883 64 8 0 1821 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 8596
[startup+1.44214 s]
/proc/loadavg: 1.95 1.19 0.76 3/73 12774
/proc/meminfo: memFree=1278040/2055920 swapFree=4191892/4192956
[pid=12773] ppid=12771 vsize=14668 CPUtime=1.42
/proc/12773/stat : 12773 (VALCSP) R 12771 12773 12467 0 -1 4194304 3397 0 0 0 141 1 0 0 25 0 1 0 246484951 15020032 3375 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 1 0 0
/proc/12773/statm: 3667 3375 64 8 0 3339 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 14668
[startup+3.08529 s]
/proc/loadavg: 1.95 1.21 0.77 3/73 12774
/proc/meminfo: memFree=1262360/2055920 swapFree=4191892/4192956
[pid=12773] ppid=12771 vsize=29188 CPUtime=3.05
/proc/12773/stat : 12773 (VALCSP) R 12771 12773 12467 0 -1 4194304 7027 0 0 0 303 2 0 0 25 0 1 0 246484951 29888512 7005 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 1 0 0
/proc/12773/statm: 7297 7005 64 8 0 6969 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 29188
[startup+6.36457 s]
/proc/loadavg: 1.95 1.21 0.77 3/73 12774
/proc/meminfo: memFree=1220632/2055920 swapFree=4191892/4192956
[pid=12773] ppid=12771 vsize=57040 CPUtime=6.3
/proc/12773/stat : 12773 (VALCSP) R 12771 12773 12467 0 -1 4194304 13989 0 0 0 626 4 0 0 25 0 1 0 246484951 58408960 13967 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529344 0 0 4096 0 0 0 0 17 1 0 0
/proc/12773/statm: 14260 13967 64 8 0 13932 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 57040
[startup+12.8291 s]
/proc/loadavg: 1.96 1.23 0.78 3/73 12774
/proc/meminfo: memFree=1136032/2055920 swapFree=4191892/4192956
[pid=12773] ppid=12771 vsize=113008 CPUtime=12.72
/proc/12773/stat : 12773 (VALCSP) R 12771 12773 12467 0 -1 4194304 28007 0 0 0 1261 11 0 0 25 0 1 0 246484951 115720192 27985 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529329 0 0 4096 0 0 0 0 17 1 0 0
/proc/12773/statm: 28252 27985 64 8 0 27924 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 113008
[startup+25.6412 s]
/proc/loadavg: 1.96 1.26 0.79 3/73 12774
/proc/meminfo: memFree=974496/2055920 swapFree=4191892/4192956
[pid=12773] ppid=12771 vsize=224416 CPUtime=25.44
/proc/12773/stat : 12773 (VALCSP) R 12771 12773 12467 0 -1 4194304 55851 0 0 0 2522 22 0 0 25 0 1 0 246484951 229801984 55829 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529344 0 0 4096 0 0 0 0 17 1 0 0
/proc/12773/statm: 56104 55829 64 8 0 55776 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 224416
[startup+51.2785 s]
/proc/loadavg: 1.98 1.32 0.82 3/73 12774
/proc/meminfo: memFree=642144/2055920 swapFree=4191892/4192956
[pid=12773] ppid=12771 vsize=435484 CPUtime=50.89
/proc/12773/stat : 12773 (VALCSP) R 12771 12773 12467 0 -1 4194304 108619 0 0 0 5048 41 0 0 25 0 1 0 246484951 445935616 108597 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529329 0 0 4096 0 0 0 0 17 1 0 0
/proc/12773/statm: 108871 108597 64 8 0 108543 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 435484
[startup+102.553 s]
/proc/loadavg: 1.99 1.43 0.89 3/73 12774
/proc/meminfo: memFree=15072/2055920 swapFree=4191892/4192956
[pid=12773] ppid=12771 vsize=867520 CPUtime=101.76
/proc/12773/stat : 12773 (VALCSP) R 12771 12773 12467 0 -1 4194304 216629 0 0 0 10092 84 0 0 25 0 1 0 246484951 888340480 216607 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529346 0 0 4096 0 0 0 0 17 1 0 0
/proc/12773/statm: 216880 216607 64 8 0 216552 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 867520
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+109.024 s]
/proc/loadavg: 1.99 1.44 0.89 4/73 12774
/proc/meminfo: memFree=15648/2055920 swapFree=4191892/4192956
[pid=12773] ppid=12771 vsize=921640 CPUtime=108.06
/proc/12773/stat : 12773 (VALCSP) R 12771 12773 12467 0 -1 4194304 230164 0 0 0 10718 88 0 0 25 0 1 0 246484951 943759360 230142 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529329 0 0 4096 0 0 0 0 17 1 0 0
/proc/12773/statm: 230410 230142 64 8 0 230082 0
Current children cumulated CPU time (s) 108.06
Current children cumulated vsize (KiB) 921640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 109.171
CPU time (s): 108.212
CPU user time (s): 107.182
CPU system time (s): 1.02984
CPU usage (%): 99.1215
Max. virtual memory (cumulated for all children) (KiB): 921640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 107.182
system time used= 1.02984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230164
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= 2271
runsolver used 0.095985 s user time and 0.304953 s system time
The end
Begin job on node41 on Tue Jan 16 20:54:17 UTC 2007
IDJOB= 269514
IDBENCH= 6774
IDSOLVER= 90
FILE ID= node41/269514-1168980857
PBS_JOBID= 3566373
Free space on /tmp= 66564 MiB
SOLVER NAME= VALCSP 3.1
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-10/os-taillard-10-100-3.xml
COMMAND LINE= /tmp/evaluation/269514-1168980857/VALCSP /tmp/evaluation/269514-1168980857/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-269514-1168980857 -o ROOT/results/node41/solver-269514-1168980857 -C 1800 -M 900 /tmp/evaluation/269514-1168980857/VALCSP /tmp/evaluation/269514-1168980857/unknown.xml
META MD5SUM SOLVER= d4fc2c4e0b0392ee9c79e754aa39e238
MD5SUM BENCH= cbaeb35ea8a927d2b6c5893afeb98a65
RANDOM SEED= 10206268
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.234
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.234
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: 1296824 kB
Buffers: 49628 kB
Cached: 288668 kB
SwapCached: 276 kB
Active: 486964 kB
Inactive: 193792 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1296824 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 188 kB
Writeback: 0 kB
Mapped: 352228 kB
Slab: 63160 kB
Committed_AS: 5061524 kB
PageTables: 2448 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= 66564 MiB
End job on node41 on Tue Jan 16 20:56:07 UTC 2007