runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-268625-1168979657 -o ROOT/results/node44/solver-268625-1168979657 -C 1800 -M 900 /tmp/evaluation/268625-1168979657/VALCSP /tmp/evaluation/268625-1168979657/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.95 1.67 5/73 26574
/proc/meminfo: memFree=1451672/2055920 swapFree=4191892/4192956
[pid=26573] ppid=26571 vsize=2268 CPUtime=0
/proc/26573/stat : 26573 (VALCSP) R 26571 26573 26144 0 -1 4194304 293 0 0 0 0 0 0 0 20 0 1 0 246364757 2322432 271 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134533499 0 0 4096 0 0 0 0 17 1 0 0
/proc/26573/statm: 567 271 64 8 0 239 0
[startup+0.106114 s]
/proc/loadavg: 1.92 1.95 1.67 5/73 26574
/proc/meminfo: memFree=1451672/2055920 swapFree=4191892/4192956
[pid=26573] ppid=26571 vsize=69240 CPUtime=0.09
/proc/26573/stat : 26573 (VALCSP) R 26571 26573 26144 0 -1 4194304 17045 0 0 0 2 7 0 0 20 0 1 0 246364757 70901760 17023 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 11724166 0 0 4096 0 0 0 0 17 1 0 0
/proc/26573/statm: 17310 17023 64 8 0 16982 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 69240
[startup+0.514146 s]
/proc/loadavg: 1.92 1.95 1.67 5/73 26574
/proc/meminfo: memFree=1451672/2055920 swapFree=4191892/4192956
[pid=26573] ppid=26571 vsize=81296 CPUtime=0.5
/proc/26573/stat : 26573 (VALCSP) R 26571 26573 26144 0 -1 4194304 19920 0 0 0 42 8 0 0 24 0 1 0 246364757 83247104 19898 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 1 0 0
/proc/26573/statm: 20324 19898 65 8 0 19996 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 81296
[startup+1.33523 s]
/proc/loadavg: 1.92 1.95 1.67 3/73 26574
/proc/meminfo: memFree=1365976/2055920 swapFree=4191892/4192956
[pid=26573] ppid=26571 vsize=89216 CPUtime=1.31
/proc/26573/stat : 26573 (VALCSP) R 26571 26573 26144 0 -1 4194304 21917 0 0 0 122 9 0 0 25 0 1 0 246364757 91357184 21895 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134528658 0 0 4096 0 0 0 0 17 1 0 0
/proc/26573/statm: 22304 21895 65 8 0 21976 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 89216
[startup+2.9774 s]
/proc/loadavg: 1.92 1.95 1.67 3/73 26574
/proc/meminfo: memFree=1354264/2055920 swapFree=4191892/4192956
[pid=26573] ppid=26571 vsize=107168 CPUtime=2.94
/proc/26573/stat : 26573 (VALCSP) R 26571 26573 26144 0 -1 4194304 26405 0 0 0 283 11 0 0 25 0 1 0 246364757 109740032 26383 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 1 0 0
/proc/26573/statm: 26792 26383 65 8 0 26464 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 107168
[startup+6.25574 s]
/proc/loadavg: 1.93 1.95 1.67 3/73 26574
/proc/meminfo: memFree=1319768/2055920 swapFree=4191892/4192956
[pid=26573] ppid=26571 vsize=140036 CPUtime=6.2
/proc/26573/stat : 26573 (VALCSP) R 26571 26573 26144 0 -1 4194304 34633 0 0 0 606 14 0 0 25 0 1 0 246364757 143396864 34611 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529339 0 0 4096 0 0 0 0 17 1 0 0
/proc/26573/statm: 35009 34611 65 8 0 34681 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 140036
[startup+12.7164 s]
/proc/loadavg: 1.94 1.96 1.67 3/73 26574
/proc/meminfo: memFree=1250072/2055920 swapFree=4191892/4192956
[pid=26573] ppid=26571 vsize=206828 CPUtime=12.61
/proc/26573/stat : 26573 (VALCSP) R 26571 26573 26144 0 -1 4194304 51309 0 0 0 1240 21 0 0 25 0 1 0 246364757 211791872 51287 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529329 0 0 4096 0 0 0 0 17 1 0 0
/proc/26573/statm: 51707 51287 65 8 0 51379 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 206828
[startup+25.5297 s]
/proc/loadavg: 1.87 1.94 1.67 2/68 26583
/proc/meminfo: memFree=1125000/2055920 swapFree=4191892/4192956
[pid=26573] ppid=26571 vsize=339620 CPUtime=25.36
/proc/26573/stat : 26573 (VALCSP) R 26571 26573 26144 0 -1 4194304 84513 0 0 0 2502 34 0 0 25 0 1 0 246364757 347770880 84491 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134528706 0 0 4096 0 0 0 0 17 0 0 0
/proc/26573/statm: 84905 84491 65 8 0 84577 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 339620
[startup+51.1503 s]
/proc/loadavg: 1.57 1.86 1.65 2/68 26621
/proc/meminfo: memFree=841032/2055920 swapFree=4191892/4192956
[pid=26573] ppid=26571 vsize=620120 CPUtime=50.96
/proc/26573/stat : 26573 (VALCSP) R 26571 26573 26144 0 -1 4194304 154633 0 0 0 5033 63 0 0 25 0 1 0 246364757 635002880 154611 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134529332 0 0 4096 0 0 0 0 17 0 0 0
/proc/26573/statm: 155030 154611 65 8 0 154702 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 620120
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+78.2061 s]
/proc/loadavg: 1.34 1.78 1.63 2/68 26659
/proc/meminfo: memFree=533960/2055920 swapFree=4191892/4192956
[pid=26573] ppid=26571 vsize=922148 CPUtime=78.01
/proc/26573/stat : 26573 (VALCSP) R 26571 26573 26144 0 -1 4194304 230165 0 0 0 7707 94 0 0 25 0 1 0 246364757 944279552 230143 18446744073709551615 134512640 134547260 4294956736 18446744073709551615 134528936 0 0 4096 0 0 0 0 17 0 0 0
/proc/26573/statm: 230537 230143 65 8 0 230209 0
Current children cumulated CPU time (s) 78.01
Current children cumulated vsize (KiB) 922148
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 78.344
CPU time (s): 78.1501
CPU user time (s): 77.0723
CPU system time (s): 1.07784
CPU usage (%): 99.7525
Max. virtual memory (cumulated for all children) (KiB): 922148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.0723
system time used= 1.07784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230165
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= 670
runsolver used 0.087986 s user time and 0.201969 s system time
The end
Begin job on node44 on Tue Jan 16 20:34:17 UTC 2007
IDJOB= 268625
IDBENCH= 4564
IDSOLVER= 90
FILE ID= node44/268625-1168979657
PBS_JOBID= 3566158
Free space on /tmp= 66561 MiB
SOLVER NAME= VALCSP 3.1
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp26-30/fapp26/fapp26-2300-6.xml
COMMAND LINE= /tmp/evaluation/268625-1168979657/VALCSP /tmp/evaluation/268625-1168979657/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-268625-1168979657 -o ROOT/results/node44/solver-268625-1168979657 -C 1800 -M 900 /tmp/evaluation/268625-1168979657/VALCSP /tmp/evaluation/268625-1168979657/unknown.xml
META MD5SUM SOLVER= d4fc2c4e0b0392ee9c79e754aa39e238
MD5SUM BENCH= a2bf961eebc9ad7657c99a99d45c26b9
RANDOM SEED= 920119134
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.213
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.213
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: 1452152 kB
Buffers: 47016 kB
Cached: 453196 kB
SwapCached: 268 kB
Active: 165144 kB
Inactive: 358808 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1452152 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 3448 kB
Writeback: 0 kB
Mapped: 33488 kB
Slab: 65292 kB
Committed_AS: 4638228 kB
PageTables: 1712 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 node44 on Tue Jan 16 20:35:37 UTC 2007