runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node35/watcher-208951-1168191105 -o ROOT/results/node35/solver-208951-1168191105 -C 1800 -M 900 /tmp/evaluation/208951-1168191105/VALCSP /tmp/evaluation/208951-1168191105/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: 2.02 2.04 1.93 3/81 15774
/proc/meminfo: memFree=1091160/2055920 swapFree=4191892/4192956
[pid=15773] ppid=15771 vsize=1384 CPUtime=0
/proc/15773/stat : 15773 (VALCSP) R 15771 15773 14928 0 -1 4194304 52 0 0 0 0 0 0 0 20 0 1 0 167504183 1417216 37 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 1464973 0 0 4096 0 0 0 0 17 1 0 0
/proc/15773/statm: 346 37 30 8 0 6 0
[startup+0.103623 s]
/proc/loadavg: 2.02 2.04 1.93 3/81 15774
/proc/meminfo: memFree=1091160/2055920 swapFree=4191892/4192956
[pid=15773] ppid=15771 vsize=5744 CPUtime=0.08
/proc/15773/stat : 15773 (VALCSP) R 15771 15773 14928 0 -1 4194304 1155 0 0 0 8 0 0 0 20 0 1 0 167504183 5881856 1133 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530962 0 0 4096 0 0 0 0 17 1 0 0
/proc/15773/statm: 1436 1133 64 8 0 1108 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5744
[startup+0.511669 s]
/proc/loadavg: 2.02 2.04 1.93 3/81 15774
/proc/meminfo: memFree=1091160/2055920 swapFree=4191892/4192956
[pid=15773] ppid=15771 vsize=9968 CPUtime=0.5
/proc/15773/stat : 15773 (VALCSP) R 15771 15773 14928 0 -1 4194304 2230 0 0 0 49 1 0 0 24 0 1 0 167504183 10207232 2208 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530962 0 0 4096 0 0 0 0 17 1 0 0
/proc/15773/statm: 2492 2208 64 8 0 2164 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9968
[startup+1.33276 s]
/proc/loadavg: 2.02 2.04 1.93 3/81 15774
/proc/meminfo: memFree=1074456/2055920 swapFree=4191892/4192956
[pid=15773] ppid=15771 vsize=20000 CPUtime=1.32
/proc/15773/stat : 15773 (VALCSP) R 15771 15773 14928 0 -1 4194304 4719 0 0 0 129 3 0 0 25 0 1 0 167504183 20480000 4697 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530286 0 0 4096 0 0 0 0 17 1 0 0
/proc/15773/statm: 5000 4697 64 8 0 4672 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 20000
[startup+2.96996 s]
/proc/loadavg: 2.02 2.04 1.93 3/81 15774
/proc/meminfo: memFree=1061272/2055920 swapFree=4191892/4192956
[pid=15773] ppid=15771 vsize=38348 CPUtime=2.94
/proc/15773/stat : 15773 (VALCSP) R 15771 15773 14928 0 -1 4194304 9314 0 0 0 288 6 0 0 25 0 1 0 167504183 39268352 9292 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530283 0 0 4096 0 0 0 0 17 1 0 0
/proc/15773/statm: 9587 9292 64 8 0 9259 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 38348
[startup+6.26135 s]
/proc/loadavg: 2.02 2.04 1.93 3/81 15774
/proc/meminfo: memFree=1020888/2055920 swapFree=4191892/4192956
[pid=15773] ppid=15771 vsize=76496 CPUtime=6.22
/proc/15773/stat : 15773 (VALCSP) R 15771 15773 14928 0 -1 4194304 18861 0 0 0 610 12 0 0 25 0 1 0 167504183 78331904 18839 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530955 0 0 4096 0 0 0 0 17 1 0 0
/proc/15773/statm: 19124 18839 64 8 0 18796 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 76496
[startup+12.7201 s]
/proc/loadavg: 2.02 2.04 1.93 3/81 15774
/proc/meminfo: memFree=941792/2055920 swapFree=4191892/4192956
[pid=15773] ppid=15771 vsize=149492 CPUtime=12.64
/proc/15773/stat : 15773 (VALCSP) R 15771 15773 14928 0 -1 4194304 37084 0 0 0 1241 23 0 0 25 0 1 0 167504183 153079808 37062 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 1898053 0 0 4096 0 0 0 0 17 1 0 0
/proc/15773/statm: 37373 37062 64 8 0 37045 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 149492
[startup+25.5506 s]
/proc/loadavg: 2.01 2.04 1.93 3/81 15774
/proc/meminfo: memFree=798560/2055920 swapFree=4191892/4192956
[pid=15773] ppid=15771 vsize=293768 CPUtime=25.42
/proc/15773/stat : 15773 (VALCSP) R 15771 15773 14928 0 -1 4194304 73183 0 0 0 2499 43 0 0 25 0 1 0 167504183 300818432 73161 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530264 0 0 4096 0 0 0 0 17 1 0 0
/proc/15773/statm: 73442 73161 64 8 0 73114 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 293768
[startup+51.2067 s]
/proc/loadavg: 2.01 2.03 1.93 3/81 15774
/proc/meminfo: memFree=493600/2055920 swapFree=4191892/4192956
[pid=15773] ppid=15771 vsize=583116 CPUtime=50.95
/proc/15773/stat : 15773 (VALCSP) R 15771 15773 14928 0 -1 4194304 145515 0 0 0 5010 85 0 0 25 0 1 0 167504183 597110784 145493 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530207 0 0 4096 0 0 0 0 17 1 0 0
/proc/15773/statm: 145779 145493 64 8 0 145451 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 583116
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+81.3682 s]
/proc/loadavg: 2.00 2.03 1.93 3/81 15774
/proc/meminfo: memFree=140448/2055920 swapFree=4191892/4192956
[pid=15773] ppid=15771 vsize=922256 CPUtime=80.96
/proc/15773/stat : 15773 (VALCSP) R 15771 15773 14928 0 -1 4194304 230300 0 0 0 7960 136 0 0 25 0 1 0 167504183 944390144 230278 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530957 0 0 4096 0 0 0 0 17 1 0 0
/proc/15773/statm: 230564 230278 64 8 0 230236 0
Current children cumulated CPU time (s) 80.96
Current children cumulated vsize (KiB) 922256
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 81.5164
CPU time (s): 81.1207
CPU user time (s): 79.6099
CPU system time (s): 1.51077
CPU usage (%): 99.5145
Max. virtual memory (cumulated for all children) (KiB): 922256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 79.6099
system time used= 1.51077
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230300
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= 2523
runsolver used 0.088986 s user time and 0.284956 s system time
The end
Begin job on node35 on Sun Jan 7 17:31:45 UTC 2007
IDJOB= 208951
IDBENCH= 4486
FILE ID= node35/208951-1168191105
PBS_JOBID= 3479248
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp01-05/fapp05/fapp05-0350-2.xml
COMMAND LINE= /tmp/evaluation/208951-1168191105/VALCSP /tmp/evaluation/208951-1168191105/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-208951-1168191105 -o ROOT/results/node35/solver-208951-1168191105 -C 1800 -M 900 /tmp/evaluation/208951-1168191105/VALCSP /tmp/evaluation/208951-1168191105/unknown.xml
META MD5SUM SOLVER= 6fc756be3a7e45a17a81a19ce431bc48
MD5SUM BENCH= 9ee00c5fc1c58b65c3fa2864a78d7ad4
RANDOM SEED= 692265592
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: 1091576 kB
Buffers: 35740 kB
Cached: 389128 kB
SwapCached: 268 kB
Active: 666196 kB
Inactive: 240068 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1091576 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 752 kB
Writeback: 0 kB
Mapped: 499348 kB
Slab: 42456 kB
Committed_AS: 4313000 kB
PageTables: 2788 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= 66557 MiB
End job on node35 on Sun Jan 7 17:33:07 UTC 2007