runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2066281-1247704675/watcher-2066281-1247704675 -o /tmp/evaluation-result-2066281-1247704675/solver-2066281-1247704675 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1315373556 HOME/instance-2066281-1247704675.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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 s]
/proc/loadavg: 1.93 1.99 1.99 4/82 16219
/proc/meminfo: memFree=975544/2055920 swapFree=4192812/4192956
[pid=16219] ppid=16217 vsize=18576 CPUtime=0
/proc/16219/stat : 16219 (runsolver) R 16217 16219 14057 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 57531043 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 235371293991 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16219/statm: 4644 284 249 26 0 2626 0
[startup+0.0557661 s]
/proc/loadavg: 1.93 1.99 1.99 4/82 16219
/proc/meminfo: memFree=975544/2055920 swapFree=4192812/4192956
[pid=16219] ppid=16217 vsize=5648 CPUtime=0.02
/proc/16219/stat : 16219 (pcs.big) R 16217 16219 14057 0 -1 4194304 1118 826 0 0 2 0 0 0 22 0 1 0 57531043 5783552 687 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 0 0 0
/proc/16219/statm: 1412 687 379 171 0 337 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5648
[startup+0.102767 s]
/proc/loadavg: 1.93 1.99 1.99 4/82 16219
/proc/meminfo: memFree=975544/2055920 swapFree=4192812/4192956
[pid=16219] ppid=16217 vsize=6784 CPUtime=0.08
/proc/16219/stat : 16219 (pcs.big) R 16217 16219 14057 0 -1 4194304 1471 826 0 0 7 1 0 0 22 0 1 0 57531043 6946816 999 996147200 134512640 135215973 4294956304 18446744073709551615 4159075481 0 0 4096 0 0 0 0 17 0 0 0
/proc/16219/statm: 1696 999 385 171 0 621 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6784
[startup+0.302788 s]
/proc/loadavg: 1.93 1.99 1.99 4/82 16219
/proc/meminfo: memFree=975544/2055920 swapFree=4192812/4192956
[pid=16219] ppid=16217 vsize=14368 CPUtime=0.27
/proc/16219/stat : 16219 (pcs.big) R 16217 16219 14057 0 -1 4194304 3967 826 0 0 25 2 0 0 24 0 1 0 57531043 14712832 2701 996147200 134512640 135215973 4294956304 18446744073709551615 134532701 0 0 4096 0 0 0 0 17 0 0 0
/proc/16219/statm: 3592 2701 406 171 0 2517 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 14368
[startup+0.702825 s]
/proc/loadavg: 1.93 1.99 1.99 4/82 16219
/proc/meminfo: memFree=975544/2055920 swapFree=4192812/4192956
[pid=16219] ppid=16217 vsize=22188 CPUtime=0.67
/proc/16219/stat : 16219 (pcs.big) R 16217 16219 14057 0 -1 4194304 6929 826 0 0 64 3 0 0 25 0 1 0 57531043 22720512 4413 996147200 134512640 135215973 4294956304 18446744073709551615 4158960004 0 0 4096 0 0 0 0 17 0 0 0
/proc/16219/statm: 5547 4413 409 171 0 4472 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 22188
[startup+1.5019 s]
/proc/loadavg: 1.93 1.99 1.99 3/83 16225
/proc/meminfo: memFree=959344/2055920 swapFree=4192812/4192956
[pid=16219] ppid=16217 vsize=22648 CPUtime=1.46
/proc/16219/stat : 16219 (pcs.big) R 16217 16219 14057 0 -1 4194304 7034 826 0 0 143 3 0 0 25 0 1 0 57531043 23191552 4518 996147200 134512640 135215973 4294956304 18446744073709551615 134590561 0 0 4096 0 0 0 0 17 0 0 0
/proc/16219/statm: 5662 4518 409 171 0 4587 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 22648
[startup+3.10104 s]
/proc/loadavg: 1.93 1.99 1.99 3/83 16225
/proc/meminfo: memFree=958512/2055920 swapFree=4192812/4192956
[pid=16219] ppid=16217 vsize=24028 CPUtime=3.06
/proc/16219/stat : 16219 (pcs.big) R 16217 16219 14057 0 -1 4194304 7383 826 0 0 302 4 0 0 25 0 1 0 57531043 24604672 4867 996147200 134512640 135215973 4294956304 18446744073709551615 4158853399 0 0 4096 0 0 0 0 17 0 0 0
/proc/16219/statm: 6007 4867 409 171 0 4932 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 24028
[startup+6.30133 s]
/proc/loadavg: 1.94 1.99 1.99 3/83 16225
/proc/meminfo: memFree=954744/2055920 swapFree=4192812/4192956
[pid=16219] ppid=16217 vsize=30296 CPUtime=6.25
/proc/16219/stat : 16219 (pcs.big) R 16217 16219 14057 0 -1 4194304 8949 826 0 0 620 5 0 0 25 0 1 0 57531043 31023104 6433 996147200 134512640 135215973 4294956304 18446744073709551615 134532660 0 0 4096 0 0 0 0 17 0 0 0
/proc/16219/statm: 7574 6433 409 171 0 6499 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 30296
[startup+12.7019 s]
/proc/loadavg: 1.94 1.99 1.99 3/83 16225
/proc/meminfo: memFree=937728/2055920 swapFree=4192812/4192956
[pid=16219] ppid=16217 vsize=45044 CPUtime=12.62
/proc/16219/stat : 16219 (pcs.big) R 16217 16219 14057 0 -1 4194304 12685 826 0 0 1256 6 0 0 25 0 1 0 57531043 46125056 10104 996147200 134512640 135215973 4294956304 18446744073709551615 135095326 0 0 4096 0 0 0 0 17 0 0 0
/proc/16219/statm: 11261 10104 409 171 0 10186 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 45044
[startup+25.5011 s]
/proc/loadavg: 1.95 1.99 1.99 3/83 16225
/proc/meminfo: memFree=896064/2055920 swapFree=4192812/4192956
[pid=16219] ppid=16217 vsize=86876 CPUtime=25.37
/proc/16219/stat : 16219 (pcs.big) R 16217 16219 14057 0 -1 4194304 23289 826 0 0 2527 10 0 0 25 0 1 0 57531043 88961024 20450 996147200 134512640 135215973 4294956304 18446744073709551615 134588323 0 0 4096 0 0 0 0 17 0 0 0
/proc/16219/statm: 21719 20450 409 171 0 20644 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 86876
[startup+51.1014 s]
/proc/loadavg: 1.97 1.99 1.99 3/83 16225
/proc/meminfo: memFree=807040/2055920 swapFree=4192812/4192956
[pid=16219] ppid=16217 vsize=176876 CPUtime=50.87
/proc/16219/stat : 16219 (pcs.big) R 16217 16219 14057 0 -1 4194304 46273 826 0 0 5067 20 0 0 25 0 1 0 57531043 181121024 42664 996147200 134512640 135215973 4294956304 18446744073709551615 135096031 0 0 4096 0 0 0 0 17 0 0 0
/proc/16219/statm: 44219 42664 409 171 0 43144 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 176876
[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/83 16225
/proc/meminfo: memFree=681344/2055920 swapFree=4192812/4192956
[pid=16219] ppid=16217 vsize=301028 CPUtime=101.87
/proc/16219/stat : 16219 (pcs.big) R 16217 16219 14057 0 -1 4194304 77753 826 0 0 10154 33 0 0 25 0 1 0 57531043 308252672 73887 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 0 0 0
/proc/16219/statm: 75257 73887 409 171 0 74182 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 301028
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/83 16225
/proc/meminfo: memFree=469312/2055920 swapFree=4192812/4192956
[pid=16219] ppid=16217 vsize=518004 CPUtime=161.63
/proc/16219/stat : 16219 (pcs.big) R 16217 16219 14057 0 -1 4194304 132623 826 0 0 16107 56 0 0 25 0 1 0 57531043 530436096 127185 996147200 134512640 135215973 4294956304 18446744073709551615 134907439 0 0 4096 0 0 0 0 17 0 0 0
/proc/16219/statm: 129501 127185 409 171 0 128426 0
Current children cumulated CPU time (s) 161.63
Current children cumulated vsize (KiB) 518004
[startup+222.302 s]
/proc/loadavg: 2.05 2.01 2.00 3/83 16225
/proc/meminfo: memFree=280256/2055920 swapFree=4192812/4192956
[pid=16219] ppid=16217 vsize=709460 CPUtime=221.38
/proc/16219/stat : 16219 (pcs.big) R 16217 16219 14057 0 -1 4194304 181495 826 0 0 22060 78 0 0 25 0 1 0 57531043 726487040 174008 996147200 134512640 135215973 4294956304 18446744073709551615 4158960010 0 0 4096 0 0 0 0 17 0 0 0
/proc/16219/statm: 177365 174008 409 171 0 176290 0
Current children cumulated CPU time (s) 221.38
Current children cumulated vsize (KiB) 709460
[startup+282.301 s]
/proc/loadavg: 2.02 2.00 2.00 3/83 16225
/proc/meminfo: memFree=64640/2055920 swapFree=4192812/4192956
[pid=16219] ppid=16217 vsize=921464 CPUtime=281.15
/proc/16219/stat : 16219 (pcs.big) R 16217 16219 14057 0 -1 4194304 235800 826 0 0 28015 100 0 0 25 0 1 0 57531043 943579136 228313 996147200 134512640 135215973 4294956304 18446744073709551615 3059429 0 0 4096 0 0 0 0 17 0 0 0
/proc/16219/statm: 230366 228313 409 171 0 229291 0
Current children cumulated CPU time (s) 281.15
Current children cumulated vsize (KiB) 921464
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+282.402 s]
/proc/loadavg: 2.02 2.00 2.00 3/83 16225
/proc/meminfo: memFree=61696/2055920 swapFree=4192812/4192956
[pid=16219] ppid=16217 vsize=921700 CPUtime=281.25
/proc/16219/stat : 16219 (pcs.big) R 16217 16219 14057 0 -1 4194304 235875 826 0 0 28025 100 0 0 25 0 1 0 57531043 943820800 228388 996147200 134512640 135215973 4294956304 18446744073709551615 134532715 0 0 4096 0 0 0 0 17 0 0 0
/proc/16219/statm: 230425 228388 409 171 0 229350 0
Current children cumulated CPU time (s) 281.25
Current children cumulated vsize (KiB) 921700
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+282.507 s]
/proc/loadavg: 2.02 2.00 2.00 3/83 16225
/proc/meminfo: memFree=61696/2055920 swapFree=4192812/4192956
[pid=16219] ppid=16217 vsize=0 CPUtime=281.35
/proc/16219/stat : 16219 (pcs.big) R 16217 16219 14057 0 -1 4195332 235875 826 0 0 28025 110 0 0 25 0 1 0 57531043 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/16219/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 281.35
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 282.539
CPU time (s): 281.394
CPU user time (s): 280.26
CPU system time (s): 1.13383
CPU usage (%): 99.5947
Max. virtual memory (cumulated for all children) (KiB): 921700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 280.26
system time used= 1.13383
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236701
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= 22
involuntary context switches= 3884
runsolver used 0.339948 second user time and 0.700893 second system time
The end
Begin job on node51 at 2009-07-16 02:37:55
IDJOB=2066281
IDBENCH=54501
IDSOLVER=734
FILE ID=node51/2066281-1247704675
PBS_JOBID= 9521211
Free space on /tmp= 66320 MiB
SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/pseudo/chnl/normalized-chnl-40-50.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2066281-1247704675/watcher-2066281-1247704675 -o /tmp/evaluation-result-2066281-1247704675/solver-2066281-1247704675 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1315373556 HOME/instance-2066281-1247704675.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b1915226816e1e7cb0d07198fea8fed9
RANDOM SEED=1315373556
node51.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.225
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.225
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: 976024 kB
Buffers: 71288 kB
Cached: 886560 kB
SwapCached: 0 kB
Active: 88632 kB
Inactive: 915096 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 976024 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2072 kB
Writeback: 0 kB
Mapped: 66356 kB
Slab: 61224 kB
Committed_AS: 547008 kB
PageTables: 1908 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= 66316 MiB
End job on node51 at 2009-07-16 02:42:40