runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node35/watcher-201054-1168144952 -o ROOT/results/node35/solver-201054-1168144952 -C 1800 -M 900 /tmp/evaluation/201054-1168144952/VALCSP /tmp/evaluation/201054-1168144952/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.00 1.00 1.00 4/65 2672
/proc/meminfo: memFree=1755824/2055920 swapFree=4191892/4192956
[pid=2671] ppid=2669 vsize=3480 CPUtime=0
/proc/2671/stat : 2671 (VALCSP) R 2669 2671 1739 0 -1 4194304 550 0 0 0 0 0 0 0 18 0 1 0 162888834 3563520 528 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134534840 0 0 4096 0 0 0 0 17 1 0 0
/proc/2671/statm: 870 535 62 8 0 542 0
[startup+0.102994 s]
/proc/loadavg: 1.00 1.00 1.00 4/65 2672
/proc/meminfo: memFree=1755824/2055920 swapFree=4191892/4192956
[pid=2671] ppid=2669 vsize=79308 CPUtime=0.09
/proc/2671/stat : 2671 (VALCSP) R 2669 2671 1739 0 -1 4194304 18508 0 0 0 2 7 0 0 18 0 1 0 162888834 81211392 18486 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 1898107 0 0 4096 0 0 0 0 17 1 0 0
/proc/2671/statm: 19827 18492 62 8 0 19499 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 79308
[startup+0.514041 s]
/proc/loadavg: 1.00 1.00 1.00 4/65 2672
/proc/meminfo: memFree=1755824/2055920 swapFree=4191892/4192956
[pid=2671] ppid=2669 vsize=123224 CPUtime=0.5
/proc/2671/stat : 2671 (VALCSP) R 2669 2671 1739 0 -1 4194304 28963 0 0 0 39 11 0 0 21 0 1 0 162888834 126181376 28941 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530267 0 0 4096 0 0 0 0 17 1 0 0
/proc/2671/statm: 30806 28941 65 8 0 30478 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 123224
[startup+1.33414 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2672
/proc/meminfo: memFree=1632176/2055920 swapFree=4191892/4192956
[pid=2671] ppid=2669 vsize=133388 CPUtime=1.32
/proc/2671/stat : 2671 (VALCSP) R 2669 2671 1739 0 -1 4194304 31496 0 0 0 120 12 0 0 25 0 1 0 162888834 136589312 31474 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530948 0 0 4096 0 0 0 0 17 1 0 0
/proc/2671/statm: 33347 31474 65 8 0 33019 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 133388
[startup+2.97033 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2672
/proc/meminfo: memFree=1617840/2055920 swapFree=4191892/4192956
[pid=2671] ppid=2669 vsize=154508 CPUtime=2.96
/proc/2671/stat : 2671 (VALCSP) R 2669 2671 1739 0 -1 4194304 36787 0 0 0 282 14 0 0 25 0 1 0 162888834 158216192 36765 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530283 0 0 4096 0 0 0 0 17 1 0 0
/proc/2671/statm: 38627 36765 65 8 0 38299 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 154508
[startup+6.24672 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2672
/proc/meminfo: memFree=1573552/2055920 swapFree=4191892/4192956
[pid=2671] ppid=2669 vsize=197408 CPUtime=6.23
/proc/2671/stat : 2671 (VALCSP) R 2669 2671 1739 0 -1 4194304 47508 0 0 0 604 19 0 0 25 0 1 0 162888834 202145792 47486 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530257 0 0 4096 0 0 0 0 17 1 0 0
/proc/2671/statm: 49352 47486 65 8 0 49024 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 197408
[startup+12.7025 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2672
/proc/meminfo: memFree=1486792/2055920 swapFree=4191892/4192956
[pid=2671] ppid=2669 vsize=280568 CPUtime=12.69
/proc/2671/stat : 2671 (VALCSP) R 2669 2671 1739 0 -1 4194304 68286 0 0 0 1241 28 0 0 25 0 1 0 162888834 287301632 68264 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530962 0 0 4096 0 0 0 0 17 1 0 0
/proc/2671/statm: 70142 68264 65 8 0 69814 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 280568
[startup+25.605 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2672
/proc/meminfo: memFree=1326920/2055920 swapFree=4191892/4192956
[pid=2671] ppid=2669 vsize=446240 CPUtime=25.59
/proc/2671/stat : 2671 (VALCSP) R 2669 2671 1739 0 -1 4194304 109723 0 0 0 2515 44 0 0 25 0 1 0 162888834 456949760 109701 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530223 0 0 4096 0 0 0 0 17 1 0 0
/proc/2671/statm: 111560 109701 65 8 0 111232 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 446240
[startup+51.209 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2672
/proc/meminfo: memFree=991688/2055920 swapFree=4191892/4192956
[pid=2671] ppid=2669 vsize=777376 CPUtime=51.18
/proc/2671/stat : 2671 (VALCSP) R 2669 2671 1739 0 -1 4194304 192541 0 0 0 5041 77 0 0 25 0 1 0 162888834 796033024 192519 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530207 0 0 4096 0 0 0 0 17 1 0 0
/proc/2671/statm: 194344 192519 65 8 0 194016 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 777376
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+62.2753 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2672
/proc/meminfo: memFree=840008/2055920 swapFree=4191892/4192956
[pid=2671] ppid=2669 vsize=921752 CPUtime=62.25
/proc/2671/stat : 2671 (VALCSP) R 2669 2671 1739 0 -1 4194304 228630 0 0 0 6134 91 0 0 25 0 1 0 162888834 943874048 228608 18446744073709551615 134512640 134548440 4294956736 18446744073709551615 134530216 0 0 4096 0 0 0 0 17 1 0 0
/proc/2671/statm: 230438 228608 65 8 0 230110 0
Current children cumulated CPU time (s) 62.25
Current children cumulated vsize (KiB) 921752
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 62.4189
CPU time (s): 62.4005
CPU user time (s): 61.3427
CPU system time (s): 1.05784
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 921752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.3427
system time used= 1.05784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228630
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= 36
runsolver used 0.056991 s user time and 0.123981 s system time
The end
Begin job on node35 on Sun Jan 7 04:42:32 UTC 2007
IDJOB= 201054
IDBENCH= 3741
FILE ID= node35/201054-1168144952
PBS_JOBID= 3478107
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp15/fapp15-3000-6.xml
COMMAND LINE= /tmp/evaluation/201054-1168144952/VALCSP /tmp/evaluation/201054-1168144952/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-201054-1168144952 -o ROOT/results/node35/solver-201054-1168144952 -C 1800 -M 900 /tmp/evaluation/201054-1168144952/VALCSP /tmp/evaluation/201054-1168144952/unknown.xml
META MD5SUM SOLVER= 6fc756be3a7e45a17a81a19ce431bc48
MD5SUM BENCH= 7d741b27b4b5681d00dbaf2b3dd555a0
RANDOM SEED= 695839931
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: 1756304 kB
Buffers: 16460 kB
Cached: 213792 kB
SwapCached: 268 kB
Active: 104468 kB
Inactive: 140612 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1756304 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 4720 kB
Writeback: 0 kB
Mapped: 23752 kB
Slab: 40604 kB
Committed_AS: 3363600 kB
PageTables: 1412 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 04:43:34 UTC 2007