runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-204846-1168166904 -o ROOT/results/node14/solver-204846-1168166904 -C 1800 -M 900 /tmp/evaluation/204846-1168166904/VALCSP /tmp/evaluation/204846-1168166904/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.92 1.96 1.97 3/97 25510
/proc/meminfo: memFree=1038472/2055920 swapFree=4182236/4192956
[pid=25509] ppid=25507 vsize=1468 CPUtime=0
/proc/25509/stat : 25509 (VALCSP) R 25507 25509 25154 0 -1 4194304 100 0 0 0 0 0 0 0 20 0 1 0 165085472 1503232 78 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134546322 0 0 4096 0 0 0 0 17 1 0 0
/proc/25509/statm: 367 78 62 8 0 39 0
[startup+0.104122 s]
/proc/loadavg: 1.92 1.96 1.97 3/97 25510
/proc/meminfo: memFree=1038472/2055920 swapFree=4182236/4192956
[pid=25509] ppid=25507 vsize=5440 CPUtime=0.09
/proc/25509/stat : 25509 (VALCSP) R 25507 25509 25154 0 -1 4194304 1079 0 0 0 9 0 0 0 20 0 1 0 165085472 5570560 1057 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134531099 0 0 4096 0 0 0 0 17 1 0 0
/proc/25509/statm: 1360 1057 64 8 0 1032 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5440
[startup+0.514161 s]
/proc/loadavg: 1.92 1.96 1.97 3/97 25510
/proc/meminfo: memFree=1038472/2055920 swapFree=4182236/4192956
[pid=25509] ppid=25507 vsize=10588 CPUtime=0.5
/proc/25509/stat : 25509 (VALCSP) R 25507 25509 25154 0 -1 4194304 2376 0 0 0 49 1 0 0 24 0 1 0 165085472 10842112 2354 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/25509/statm: 2647 2354 64 8 0 2319 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10588
[startup+1.34124 s]
/proc/loadavg: 1.92 1.96 1.97 3/97 25510
/proc/meminfo: memFree=1022024/2055920 swapFree=4182236/4192956
[pid=25509] ppid=25507 vsize=20224 CPUtime=1.31
/proc/25509/stat : 25509 (VALCSP) R 25507 25509 25154 0 -1 4194304 4777 0 0 0 130 1 0 0 25 0 1 0 165085472 20709376 4755 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530300 0 0 4096 0 0 0 0 17 1 0 0
/proc/25509/statm: 5056 4755 64 8 0 4728 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 20224
[startup+2.97839 s]
/proc/loadavg: 1.92 1.96 1.97 3/97 25510
/proc/meminfo: memFree=1008904/2055920 swapFree=4182236/4192956
[pid=25509] ppid=25507 vsize=39100 CPUtime=2.94
/proc/25509/stat : 25509 (VALCSP) R 25507 25509 25154 0 -1 4194304 9496 0 0 0 291 3 0 0 25 0 1 0 165085472 40038400 9474 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/25509/statm: 9775 9474 64 8 0 9447 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 39100
[startup+6.27271 s]
/proc/loadavg: 1.92 1.96 1.97 3/97 25510
/proc/meminfo: memFree=969352/2055920 swapFree=4182236/4192956
[pid=25509] ppid=25507 vsize=77248 CPUtime=6.2
/proc/25509/stat : 25509 (VALCSP) R 25507 25509 25154 0 -1 4194304 19053 0 0 0 614 6 0 0 25 0 1 0 165085472 79101952 19031 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/25509/statm: 19312 19031 64 8 0 18984 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 77248
[startup+12.7403 s]
/proc/loadavg: 1.93 1.96 1.97 3/97 25510
/proc/meminfo: memFree=889224/2055920 swapFree=4182236/4192956
[pid=25509] ppid=25507 vsize=153808 CPUtime=12.62
/proc/25509/stat : 25509 (VALCSP) R 25507 25509 25154 0 -1 4194304 38185 0 0 0 1248 14 0 0 25 0 1 0 165085472 157499392 38163 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530255 0 0 4096 0 0 0 0 17 1 0 0
/proc/25509/statm: 38452 38163 64 8 0 38124 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 153808
[startup+25.5575 s]
/proc/loadavg: 1.94 1.97 1.97 3/97 25510
/proc/meminfo: memFree=739784/2055920 swapFree=4182236/4192956
[pid=25509] ppid=25507 vsize=307852 CPUtime=25.38
/proc/25509/stat : 25509 (VALCSP) R 25507 25509 25154 0 -1 4194304 76715 0 0 0 2506 32 0 0 25 0 1 0 165085472 315240448 76693 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530960 0 0 4096 0 0 0 0 17 1 0 0
/proc/25509/statm: 76963 76693 64 8 0 76635 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 307852
[startup+51.215 s]
/proc/loadavg: 1.96 1.97 1.97 3/97 25510
/proc/meminfo: memFree=425544/2055920 swapFree=4182236/4192956
[pid=25509] ppid=25507 vsize=618320 CPUtime=50.79
/proc/25509/stat : 25509 (VALCSP) R 25507 25509 25154 0 -1 4194304 154319 0 0 0 5014 65 0 0 25 0 1 0 165085472 633159680 154297 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530238 0 0 4096 0 0 0 0 17 1 0 0
/proc/25509/statm: 154580 154297 64 8 0 154252 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 618320
Child status: 0
Real time (s): 64.0794
CPU time (s): 63.5433
CPU user time (s): 62.6345
CPU system time (s): 0.908861
CPU usage (%): 99.1634
Max. virtual memory (cumulated for all children) (KiB): 773312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.6345
system time used= 0.908861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193096
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= 8
involuntary context switches= 3531
runsolver used 0.080987 s user time and 0.207968 s system time
The end
Begin job on node14 on Sun Jan 7 10:48:25 UTC 2007
IDJOB= 204846
IDBENCH= 4058
FILE ID= node14/204846-1168166904
PBS_JOBID= 3478691
Free space on /tmp= 66343 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp16-20/fapp17/fapp17-0300-1.xml
COMMAND LINE= /tmp/evaluation/204846-1168166904/VALCSP /tmp/evaluation/204846-1168166904/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-204846-1168166904 -o ROOT/results/node14/solver-204846-1168166904 -C 1800 -M 900 /tmp/evaluation/204846-1168166904/VALCSP /tmp/evaluation/204846-1168166904/unknown.xml
META MD5SUM SOLVER= 6fc756be3a7e45a17a81a19ce431bc48
MD5SUM BENCH= 70fb82b4c23a5f622d613569a74b55db
RANDOM SEED= 903989591
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.227
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.227
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: 1038952 kB
Buffers: 27128 kB
Cached: 134704 kB
SwapCached: 4156 kB
Active: 838816 kB
Inactive: 108996 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1038952 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 660 kB
Writeback: 0 kB
Mapped: 805404 kB
Slab: 52580 kB
Committed_AS: 5898524 kB
PageTables: 3672 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= 66343 MiB
End job on node14 on Sun Jan 7 10:49:31 UTC 2007