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-3454853-1307187348/watcher-3454853-1307187348 -o /tmp/evaluation-result-3454853-1307187348/solver-3454853-1307187348 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454853-1307187348.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: 3.68 3.31 2.51 3/407 9027
/proc/meminfo: memFree=23204884/32951124 swapFree=49244120/67111528
[pid=9027] ppid=9025 vsize=31604 CPUtime=0 cores=1,3,5,7
/proc/9027/stat : 9027 (java) S 9025 9027 6095 0 -1 4202496 1248 0 0 0 0 0 0 0 25 0 2 0 830337593 32362496 968 33554432000 1073741824 1073778376 140735100307168 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/9027/statm: 7901 968 739 9 0 386 0
[pid=9027/tid=9028] ppid=9025 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/9027/task/9028/stat : 9028 (java) R 9025 9027 6095 0 -1 4202560 4518 0 1 0 0 0 0 0 25 0 2 0 830337593 10694979584 5334 33554432000 1073741824 1073778376 140735100307168 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0331431 s]
/proc/loadavg: 3.68 3.31 2.51 3/407 9027
/proc/meminfo: memFree=23204884/32951124 swapFree=49244120/67111528
[pid=9027] ppid=9025 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/9027/stat : 9027 (java) S 9025 9027 6095 0 -1 4202496 10992 0 1 0 1 1 0 0 25 0 11 0 830337593 10716594176 10692 33554432000 1073741824 1073778376 140735100307168 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/9027/statm: 2616356 10693 1608 9 0 2607104 0
[pid=9027/tid=9028] ppid=9025 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/9027/task/9028/stat : 9028 (java) R 9025 9027 6095 0 -1 4202560 9869 0 1 0 1 1 0 0 25 0 11 0 830337593 10716594176 10693 33554432000 1073741824 1073778376 140735100307168 18446744073709551615 47967835211507 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.101132 s]
/proc/loadavg: 3.68 3.31 2.51 3/407 9027
/proc/meminfo: memFree=23204884/32951124 swapFree=49244120/67111528
[pid=9027] ppid=9025 vsize=10540268 CPUtime=0.11 cores=1,3,5,7
/proc/9027/stat : 9027 (java) S 9025 9027 6095 0 -1 4202496 13150 0 1 0 9 2 0 0 25 0 18 0 830337593 10793234432 12827 33554432000 1073741824 1073778376 140735100307168 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9027/statm: 2635067 12828 2092 9 0 2625801 0
[pid=9027/tid=9028] ppid=9025 vsize=10540268 CPUtime=0.09 cores=1,3,5,7
/proc/9027/task/9028/stat : 9028 (java) R 9025 9027 6095 0 -1 4202560 11216 0 1 0 7 2 0 0 18 0 18 0 830337593 10793234432 12828 33554432000 1073741824 1073778376 140735100307168 18446744073709551615 47967836037027 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540268
[startup+0.301094 s]
/proc/loadavg: 3.68 3.31 2.51 3/407 9027
/proc/meminfo: memFree=23204884/32951124 swapFree=49244120/67111528
[pid=9027] ppid=9025 vsize=10541208 CPUtime=0.47 cores=1,3,5,7
/proc/9027/stat : 9027 (java) S 9025 9027 6095 0 -1 4202496 15995 0 1 0 45 2 0 0 25 0 18 0 830337593 10794196992 15176 33554432000 1073741824 1073778376 140735100307168 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9027/statm: 2635302 15177 2198 9 0 2626036 0
[pid=9027/tid=9028] ppid=9025 vsize=10541208 CPUtime=0.29 cores=1,3,5,7
/proc/9027/task/9028/stat : 9028 (java) R 9025 9027 6095 0 -1 4202560 13058 0 1 0 27 2 0 0 18 0 18 0 830337593 10794196992 15177 33554432000 1073741824 1073778376 140735100307168 18446744073709551615 46912505609419 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541208
[startup+1.01899 s]
/proc/loadavg: 3.68 3.31 2.51 3/407 9027
/proc/meminfo: memFree=23204884/32951124 swapFree=49244120/67111528
[pid=9027] ppid=9025 vsize=10557252 CPUtime=3.24 cores=1,3,5,7
/proc/9027/stat : 9027 (java) S 9025 9027 6095 0 -1 4202496 58975 0 1 0 316 8 0 0 25 0 19 0 830337593 10810626048 52286 33554432000 1073741824 1073778376 140735100307168 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9027/statm: 2639313 52286 2258 9 0 2630047 0
[pid=9027/tid=9028] ppid=9025 vsize=10557252 CPUtime=0.3 cores=1,3,5,7
/proc/9027/task/9028/stat : 9028 (java) S 9025 9027 6095 0 -1 4202560 13416 0 1 0 28 2 0 0 15 0 19 0 830337593 10810626048 52286 33554432000 1073741824 1073778376 140735100307168 18446744073709551615 218382773760 0 4 0 16800975 18446604470034354240 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.24
Current children cumulated vsize (KiB) 10557252
Solver just ended. Dumping a history of the last processes samples
[startup+1.20098 s]
/proc/loadavg: 3.68 3.31 2.51 3/407 9027
/proc/meminfo: memFree=23204884/32951124 swapFree=49244120/67111528
[pid=9027] ppid=9025 vsize=10557252 CPUtime=3.34 cores=1,3,5,7
/proc/9027/stat : 9027 (java) S 9025 9027 6095 0 -1 4202496 59038 0 1 0 326 8 0 0 25 0 19 0 830337593 10810626048 49791 33554432000 1073741824 1073778376 140735100307168 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9027/statm: 2639313 49791 2258 9 0 2630047 0
[pid=9027/tid=9028] ppid=9025 vsize=10557252 CPUtime=0.3 cores=1,3,5,7
/proc/9027/task/9028/stat : 9028 (java) S 9025 9027 6095 0 -1 4202560 13416 0 1 0 28 2 0 0 15 0 19 0 830337593 10810626048 49791 33554432000 1073741824 1073778376 140735100307168 18446744073709551615 218382773760 0 4 0 16800975 18446604470034354240 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.34
Current children cumulated vsize (KiB) 10557252
[startup+1.30093 s]
/proc/loadavg: 3.68 3.31 2.51 3/407 9027
/proc/meminfo: memFree=23204884/32951124 swapFree=49244120/67111528
[pid=9027] ppid=9025 vsize=10557252 CPUtime=3.34 cores=1,3,5,7
/proc/9027/stat : 9027 (java) S 9025 9027 6095 0 -1 4202496 59038 0 1 0 326 8 0 0 25 0 19 0 830337593 10810626048 49791 33554432000 1073741824 1073778376 140735100307168 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9027/statm: 2639313 49791 2258 9 0 2630047 0
[pid=9027/tid=9028] ppid=9025 vsize=10557252 CPUtime=0.3 cores=1,3,5,7
/proc/9027/task/9028/stat : 9028 (java) S 9025 9027 6095 0 -1 4202560 13416 0 1 0 28 2 0 0 15 0 19 0 830337593 10810626048 49791 33554432000 1073741824 1073778376 140735100307168 18446744073709551615 218382773760 0 4 0 16800975 18446604470034354240 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.34
Current children cumulated vsize (KiB) 10557252
Child status: 10
Real time (s): 1.34051
CPU time (s): 3.37149
CPU user time (s): 3.2745
CPU system time (s): 0.096985
CPU usage (%): 251.508
Max. virtual memory (cumulated for all children) (KiB): 10557252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.2745
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59055
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 294
involuntary context switches= 49
runsolver used 0.002999 second user time and 0.013997 second system time
The end
Begin job on node101 at 2011-06-04 13:35:48
IDJOB=3454853
IDBENCH=1316
IDSOLVER=1950
FILE ID=node101/3454853-1307187348
RUNJOBID= node101-1307186801-8336
PBS_JOBID= 13508816
Free space on /tmp= 74008 MiB
SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552311.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454853-1307187348/watcher-3454853-1307187348 -o /tmp/evaluation-result-3454853-1307187348/solver-3454853-1307187348 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454853-1307187348.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 8d4daf979e4851393f5d9b0e5e4a390f
RANDOM SEED=1950642034
node101.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.841
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.68
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.841
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 : 5226.07
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.841
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.77
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.841
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.83
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.841
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.74
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.841
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.83
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.841
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.75
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.841
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 23205164 kB
Buffers: 287264 kB
Cached: 624380 kB
SwapCached: 27120 kB
Active: 8911644 kB
Inactive: 556236 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 23205164 kB
SwapTotal: 67111528 kB
SwapFree: 49244120 kB
Dirty: 772 kB
Writeback: 0 kB
AnonPages: 8551104 kB
Mapped: 26188 kB
Slab: 136696 kB
PageTables: 75340 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 88976856 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= 74004 MiB
End job on node101 at 2011-06-04 13:35:50