runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-268291-1168978503 -o ROOT/results/node19/solver-268291-1168978503 -C 1800 -M 900 /tmp/evaluation/268291-1168978503/VALCSP /tmp/evaluation/268291-1168978503/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
[startup+0.106752 s]
/proc/loadavg: 1.57 1.53 0.82 5/86 2129
/proc/meminfo: memFree=1747248/2055920 swapFree=4171264/4192956
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
/proc/loadavg: 1.57 1.53 0.82 5/86 2129
/proc/meminfo: memFree=1747248/2055920 swapFree=4171264/4192956
[pid=2128] ppid=2126 vsize=61100 CPUtime=0.09
/proc/2128/stat : 2128 (VALCSP) R 2126 2128 1900 0 -1 4194304 14859 0 0 0 3 6 0 0 21 0 1 0 246245252 62566400 14837 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134528607 0 0 4096 0 0 0 0 17 0 0 0
/proc/2128/statm: 15275 14837 65 8 0 14947 0
[startup+0.514828 s]
/proc/loadavg: 1.57 1.53 0.82 5/86 2129
/proc/meminfo: memFree=1747248/2055920 swapFree=4171264/4192956
[pid=2128] ppid=2126 vsize=65588 CPUtime=0.5
/proc/2128/stat : 2128 (VALCSP) R 2126 2128 1900 0 -1 4194304 15988 0 0 0 44 6 0 0 25 0 1 0 246245252 67162112 15966 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529344 0 0 4096 0 0 0 0 17 0 0 0
/proc/2128/statm: 16397 15966 65 8 0 16069 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 65588
[startup+1.33598 s]
/proc/loadavg: 1.61 1.54 0.82 3/86 2129
/proc/meminfo: memFree=1678384/2055920 swapFree=4171264/4192956
[pid=2128] ppid=2126 vsize=74564 CPUtime=1.31
/proc/2128/stat : 2128 (VALCSP) R 2126 2128 1900 0 -1 4194304 18241 0 0 0 124 7 0 0 25 0 1 0 246245252 76353536 18219 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134528582 0 0 4096 0 0 0 0 17 0 0 0
/proc/2128/statm: 18641 18219 65 8 0 18313 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 74564
[startup+2.97429 s]
/proc/loadavg: 1.61 1.54 0.82 3/86 2129
/proc/meminfo: memFree=1665968/2055920 swapFree=4171264/4192956
[pid=2128] ppid=2126 vsize=91988 CPUtime=2.94
/proc/2128/stat : 2128 (VALCSP) R 2126 2128 1900 0 -1 4194304 22591 0 0 0 285 9 0 0 25 0 1 0 246245252 94195712 22569 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134528936 0 0 4096 0 0 0 0 17 0 0 0
/proc/2128/statm: 22997 22569 65 8 0 22669 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 91988
[startup+6.25391 s]
/proc/loadavg: 1.61 1.54 0.82 3/86 2129
/proc/meminfo: memFree=1628976/2055920 swapFree=4171264/4192956
[pid=2128] ppid=2126 vsize=128816 CPUtime=6.2
/proc/2128/stat : 2128 (VALCSP) R 2126 2128 1900 0 -1 4194304 31799 0 0 0 607 13 0 0 25 0 1 0 246245252 131907584 31777 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134528936 0 0 4096 0 0 0 0 17 0 0 0
/proc/2128/statm: 32204 31777 65 8 0 31876 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 128816
[startup+12.7121 s]
/proc/loadavg: 1.67 1.55 0.83 3/86 2129
/proc/meminfo: memFree=1555128/2055920 swapFree=4171264/4192956
[pid=2128] ppid=2126 vsize=198776 CPUtime=12.58
/proc/2128/stat : 2128 (VALCSP) R 2126 2128 1900 0 -1 4194304 49292 0 0 0 1239 19 0 0 25 0 1 0 246245252 203546624 49270 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529272 0 0 4096 0 0 0 0 17 0 0 0
/proc/2128/statm: 49694 49270 65 8 0 49366 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 198776
[startup+25.5245 s]
/proc/loadavg: 1.72 1.57 0.85 3/86 2129
/proc/meminfo: memFree=1415672/2055920 swapFree=4171264/4192956
[pid=2128] ppid=2126 vsize=342260 CPUtime=25.3
/proc/2128/stat : 2128 (VALCSP) R 2126 2128 1900 0 -1 4194304 85159 0 0 0 2498 32 0 0 25 0 1 0 246245252 350474240 85137 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529329 0 0 4096 0 0 0 0 17 0 0 0
/proc/2128/statm: 85565 85137 65 8 0 85237 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 342260
[startup+51.1574 s]
/proc/loadavg: 1.81 1.60 0.87 3/86 2129
/proc/meminfo: memFree=1126072/2055920 swapFree=4171264/4192956
[pid=2128] ppid=2126 vsize=629096 CPUtime=50.72
/proc/2128/stat : 2128 (VALCSP) R 2126 2128 1900 0 -1 4194304 156875 0 0 0 5012 60 0 0 25 0 1 0 246245252 644194304 156853 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529344 0 0 4096 0 0 0 0 17 0 0 0
/proc/2128/statm: 157274 156853 65 8 0 156946 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 629096
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+77.4043 s]
/proc/loadavg: 1.89 1.64 0.91 3/86 2129
/proc/meminfo: memFree=827000/2055920 swapFree=4171264/4192956
[pid=2128] ppid=2126 vsize=922016 CPUtime=76.75
/proc/2128/stat : 2128 (VALCSP) R 2126 2128 1900 0 -1 4194304 230118 0 0 0 7589 86 0 0 25 0 1 0 246245252 944144384 230096 18446744073709551615 134512640 134547260 4294956720 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 0 0 0
/proc/2128/statm: 230504 230096 65 8 0 230176 0
Current children cumulated CPU time (s) 76.75
Current children cumulated vsize (KiB) 922016
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 77.543
CPU time (s): 76.8893
CPU user time (s): 75.8915
CPU system time (s): 0.997848
CPU usage (%): 99.157
Max. virtual memory (cumulated for all children) (KiB): 922016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.8915
system time used= 0.997848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230118
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= 3376
runsolver used 0.076988 s user time and 0.206968 s system time
The end
Begin job on node19 on Tue Jan 16 20:15:05 UTC 2007
IDJOB= 268291
IDBENCH= 3818
IDSOLVER= 90
FILE ID= node19/268291-1168978503
PBS_JOBID= 3565959
Free space on /tmp= 66561 MiB
SOLVER NAME= VALCSP 3.1
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp21-25/fapp24/fapp24-2000-8.xml
COMMAND LINE= /tmp/evaluation/268291-1168978503/VALCSP /tmp/evaluation/268291-1168978503/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-268291-1168978503 -o ROOT/results/node19/solver-268291-1168978503 -C 1800 -M 900 /tmp/evaluation/268291-1168978503/VALCSP /tmp/evaluation/268291-1168978503/unknown.xml
META MD5SUM SOLVER= d4fc2c4e0b0392ee9c79e754aa39e238
MD5SUM BENCH= 63a0d5813af6ab4196259e2912804508
RANDOM SEED= 241627635
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.260
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.260
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: 1749200 kB
Buffers: 42356 kB
Cached: 148600 kB
SwapCached: 9984 kB
Active: 187892 kB
Inactive: 47812 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1749200 kB
SwapTotal: 4192956 kB
SwapFree: 4171264 kB
Dirty: 3912 kB
Writeback: 0 kB
Mapped: 54600 kB
Slab: 55768 kB
Committed_AS: 6563708 kB
PageTables: 2344 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= 66561 MiB
End job on node19 on Tue Jan 16 20:16:24 UTC 2007