runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3461190-1307068846/watcher-3461190-1307068846 -o /tmp/evaluation-result-3461190-1307068846/solver-3461190-1307068846 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461190-1307068846.opb
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.93 1.01 0.99 3/516 2205
/proc/meminfo: memFree=21406932/32950928 swapFree=34259960/67111528
[pid=2205] ppid=2201 vsize=2244 CPUtime=0 cores=1,3,5,7
/proc/2205/stat : 2205 (wbo1.6) R 2201 2205 1159 0 -1 4202496 389 0 0 0 0 0 0 0 20 0 1 0 818481302 2297856 321 33554432000 4194304 5714214 140733708753568 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2205/statm: 561 322 173 372 0 186 0
[startup+0.112366 s]
/proc/loadavg: 0.93 1.01 0.99 3/516 2205
/proc/meminfo: memFree=21406932/32950928 swapFree=34259960/67111528
[pid=2205] ppid=2201 vsize=3336 CPUtime=0.1 cores=1,3,5,7
/proc/2205/stat : 2205 (wbo1.6) R 2201 2205 1159 0 -1 4202496 666 0 0 0 9 1 0 0 18 0 1 0 818481302 3416064 598 33554432000 4194304 5714214 140733708753568 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2205/statm: 834 598 180 372 0 459 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3336
[startup+0.200347 s]
/proc/loadavg: 0.93 1.01 0.99 3/516 2205
/proc/meminfo: memFree=21406932/32950928 swapFree=34259960/67111528
[pid=2205] ppid=2201 vsize=4172 CPUtime=0.19 cores=1,3,5,7
/proc/2205/stat : 2205 (wbo1.6) R 2201 2205 1159 0 -1 4202496 851 0 0 0 18 1 0 0 18 0 1 0 818481302 4272128 783 33554432000 4194304 5714214 140733708753568 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2205/statm: 1043 783 180 372 0 668 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 4172
[startup+0.300328 s]
/proc/loadavg: 0.93 1.01 0.99 3/516 2205
/proc/meminfo: memFree=21406932/32950928 swapFree=34259960/67111528
[pid=2205] ppid=2201 vsize=4832 CPUtime=0.29 cores=1,3,5,7
/proc/2205/stat : 2205 (wbo1.6) R 2201 2205 1159 0 -1 4202496 1013 0 0 0 28 1 0 0 18 0 1 0 818481302 4947968 945 33554432000 4194304 5714214 140733708753568 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2205/statm: 1208 945 180 372 0 833 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4832
[startup+0.700247 s]
/proc/loadavg: 0.93 1.01 0.99 3/516 2205
/proc/meminfo: memFree=21406932/32950928 swapFree=34259960/67111528
[pid=2205] ppid=2201 vsize=6432 CPUtime=0.69 cores=1,3,5,7
/proc/2205/stat : 2205 (wbo1.6) R 2201 2205 1159 0 -1 4202496 1413 0 0 0 66 3 0 0 18 0 1 0 818481302 6586368 1345 33554432000 4194304 5714214 140733708753568 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2205/statm: 1608 1345 180 372 0 1233 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6432
[startup+1.50108 s]
/proc/loadavg: 0.93 1.01 0.99 3/518 2207
/proc/meminfo: memFree=21393772/32950928 swapFree=34259960/67111528
[pid=2205] ppid=2201 vsize=8592 CPUtime=1.49 cores=1,3,5,7
/proc/2205/stat : 2205 (wbo1.6) R 2201 2205 1159 0 -1 4202496 1952 0 0 0 143 6 0 0 20 0 1 0 818481302 8798208 1884 33554432000 4194304 5714214 140733708753568 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2205/statm: 2148 1884 180 372 0 1773 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8592
[startup+3.10077 s]
/proc/loadavg: 0.93 1.01 0.99 3/518 2234
/proc/meminfo: memFree=21393468/32950928 swapFree=34259960/67111528
[pid=2205] ppid=2201 vsize=12044 CPUtime=3.09 cores=1,3,5,7
/proc/2205/stat : 2205 (wbo1.6) R 2201 2205 1159 0 -1 4202496 2822 0 0 0 298 11 0 0 25 0 1 0 818481302 12333056 2754 33554432000 4194304 5714214 140733708753568 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2205/statm: 3011 2754 180 372 0 2636 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12044
[startup+6.30113 s]
/proc/loadavg: 1.02 1.02 1.00 3/518 2234
/proc/meminfo: memFree=21376568/32950928 swapFree=34259960/67111528
[pid=2205] ppid=2201 vsize=17688 CPUtime=6.29 cores=1,3,5,7
/proc/2205/stat : 2205 (wbo1.6) R 2201 2205 1159 0 -1 4202496 4206 0 0 0 608 21 0 0 25 0 1 0 818481302 18112512 4138 33554432000 4194304 5714214 140733708753568 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2205/statm: 4422 4138 180 372 0 4047 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17688
[startup+12.7009 s]
/proc/loadavg: 1.10 1.04 1.01 3/518 2234
/proc/meminfo: memFree=21354724/32950928 swapFree=34259960/67111528
[pid=2205] ppid=2201 vsize=26448 CPUtime=12.69 cores=1,3,5,7
/proc/2205/stat : 2205 (wbo1.6) R 2201 2205 1159 0 -1 4202496 6377 0 0 0 1232 37 0 0 25 0 1 0 818481302 27082752 6309 33554432000 4194304 5714214 140733708753568 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2205/statm: 6612 6309 180 372 0 6237 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26448
Solver just ended. Dumping a history of the last processes samples
[startup+12.8008 s]
/proc/loadavg: 1.10 1.04 1.01 3/518 2234
/proc/meminfo: memFree=21354724/32950928 swapFree=34259960/67111528
[pid=2205] ppid=2201 vsize=26588 CPUtime=12.79 cores=1,3,5,7
/proc/2205/stat : 2205 (wbo1.6) R 2201 2205 1159 0 -1 4202496 6392 0 0 0 1242 37 0 0 25 0 1 0 818481302 27226112 6324 33554432000 4194304 5714214 140733708753568 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2205/statm: 6647 6324 180 372 0 6272 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 26588
[startup+16.0002 s]
/proc/loadavg: 1.17 1.05 1.01 3/518 2234
/proc/meminfo: memFree=21346796/32950928 swapFree=34259960/67111528
[pid=2205] ppid=2201 vsize=30980 CPUtime=15.99 cores=1,3,5,7
/proc/2205/stat : 2205 (wbo1.6) R 2201 2205 1159 0 -1 4202496 7490 0 0 0 1555 44 0 0 25 0 1 0 818481302 31723520 7422 33554432000 4194304 5714214 140733708753568 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2205/statm: 7745 7422 180 372 0 7370 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 30980
[startup+17.6009 s]
/proc/loadavg: 1.17 1.05 1.01 3/518 2234
/proc/meminfo: memFree=21340612/32950928 swapFree=34259960/67111528
[pid=2205] ppid=2201 vsize=33392 CPUtime=17.6 cores=1,3,5,7
/proc/2205/stat : 2205 (wbo1.6) R 2201 2205 1159 0 -1 4202496 8082 0 0 0 1711 49 0 0 25 0 1 0 818481302 34193408 8014 33554432000 4194304 5714214 140733708753568 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2205/statm: 8348 8014 180 372 0 7973 0
Current children cumulated CPU time (s) 17.6
Current children cumulated vsize (KiB) 33392
[startup+19.2006 s]
/proc/loadavg: 1.31 1.09 1.02 3/518 2234
/proc/meminfo: memFree=21337884/32950928 swapFree=34259960/67111528
[pid=2205] ppid=2201 vsize=34852 CPUtime=19.19 cores=1,3,5,7
/proc/2205/stat : 2205 (wbo1.6) R 2201 2205 1159 0 -1 4202496 8439 0 0 0 1866 53 0 0 25 0 1 0 818481302 35688448 8371 33554432000 4194304 5714214 140733708753568 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2205/statm: 8713 8371 180 372 0 8338 0
Current children cumulated CPU time (s) 19.19
Current children cumulated vsize (KiB) 34852
[startup+19.6005 s]
/proc/loadavg: 1.31 1.09 1.02 3/518 2234
/proc/meminfo: memFree=21337884/32950928 swapFree=34259960/67111528
[pid=2205] ppid=2201 vsize=35776 CPUtime=19.6 cores=1,3,5,7
/proc/2205/stat : 2205 (wbo1.6) R 2201 2205 1159 0 -1 4202496 8672 0 0 0 1906 54 0 0 25 0 1 0 818481302 36634624 8604 33554432000 4194304 5714214 140733708753568 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2205/statm: 8944 8604 180 372 0 8569 0
Current children cumulated CPU time (s) 19.6
Current children cumulated vsize (KiB) 35776
[startup+19.8004 s]
/proc/loadavg: 1.31 1.09 1.02 3/518 2234
/proc/meminfo: memFree=21334908/32950928 swapFree=34259960/67111528
[pid=2205] ppid=2201 vsize=35908 CPUtime=19.8 cores=1,3,5,7
/proc/2205/stat : 2205 (wbo1.6) R 2201 2205 1159 0 -1 4202496 8729 0 0 0 1926 54 0 0 25 0 1 0 818481302 36769792 8661 33554432000 4194304 5714214 140733708753568 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2205/statm: 8977 8661 180 372 0 8602 0
Current children cumulated CPU time (s) 19.8
Current children cumulated vsize (KiB) 35908
[startup+19.9194 s]
/proc/loadavg: 1.31 1.09 1.02 3/518 2234
/proc/meminfo: memFree=21334908/32950928 swapFree=34259960/67111528
[pid=2205] ppid=2201 vsize=35908 CPUtime=19.91 cores=1,3,5,7
/proc/2205/stat : 2205 (wbo1.6) R 2201 2205 1159 0 -1 4202496 8730 0 0 0 1937 54 0 0 25 0 1 0 818481302 36769792 8662 33554432000 4194304 5714214 140733708753568 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2205/statm: 8977 8662 180 372 0 8602 0
Current children cumulated CPU time (s) 19.91
Current children cumulated vsize (KiB) 35908
Child status: 0
Real time (s): 19.941
CPU time (s): 19.941
CPU user time (s): 19.3891
CPU system time (s): 0.551916
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 35908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.3891
system time used= 0.551916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8731
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= 33
runsolver used 0.086986 second user time and 0.267959 second system time
The end
Begin job on node149 at 2011-06-03 04:40:46
IDJOB=3461190
IDBENCH=1348
IDSOLVER=1953
FILE ID=node149/3461190-1307068846
RUNJOBID= node149-1307068846-2187
PBS_JOBID= 13497837
Free space on /tmp= 73528 MiB
SOLVER NAME= wbo 1.6
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551347.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461190-1307068846/watcher-3461190-1307068846 -o /tmp/evaluation-result-3461190-1307068846/solver-3461190-1307068846 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461190-1307068846.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= ad2f2eb73d6b7e5f546be528b10bc762
RANDOM SEED=1889805
node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.73
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 21407244 kB
Buffers: 314712 kB
Cached: 3416720 kB
SwapCached: 123196 kB
Active: 236180 kB
Inactive: 10969756 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 21407244 kB
SwapTotal: 67111528 kB
SwapFree: 34259960 kB
Dirty: 8552 kB
Writeback: 0 kB
AnonPages: 7375512 kB
Mapped: 17380 kB
Slab: 149996 kB
PageTables: 117828 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 173083776 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73520 MiB
End job on node149 at 2011-06-03 04:41:06